Question

我遇到了一些需要编写两个函数的情况，其中一个函数应该用原始类型和std::string调用。另一个应该用其他类型调用。

到目前为止，我以工作解决方案结束了：

template <typename...>
struct Void_t_helper {
    using type = void;
};

template <typename... Ts>
using Void_t = typename Void_t_helper<Ts...>::type;


template <typename T, typename = void>
struct Is_string : std::false_type {};

template <typename T> 
struct Is_string<T, Void_t<decltype (std::declval<T> ().c_str ())>> : std::is_same<decltype (std::declval<T> ().c_str ()), const char*>::type {};


template <typename T>
std::enable_if_t<Is_string<T>::value || std::is_arithmetic<T>::value, void> foo (T) {
    std::cout << "string or primitive\n";
}

template <typename T>
std::enable_if_t<!Is_string<T>::value && !std::is_arithmetic<T>::value, void> foo (T) {
    std::cout << "other type\n";
}

用法：

foo (1);
foo (1.2);
foo (std::string {"fsdf"});
foo (std::vector<int> {1, 2, 3});
foo (std::vector<std::string> {"a", "v", "c"});

按预期生产：

string or primitive
string or primitive
string or primitive
other type
other type

我的问题是：您是否知道更好地解决此类问题？

我不确定检查c_str()是否存在是我能得到的更好的选择。我知道我可能会编写一些包含原始类型的包装类，std::string会有一些category_t定义为值X，而其他类型的值为Y并区分使用此类别在这些组之间，但我认为c_str()检查更方便。

Answer 1

我不确定是否检查c_str（）是否是我能得到的更好的选择。

理想情况下，你会检查你真正想要的东西。

可以是一组已知类型或模板，也可以是概念。

目前，您正在检查“具有c_str（）成员函数的概念，该函数返回指向常量字符的指针”。

问题是，您的SFINAE功能需要什么概念？

如果它将使用c_str()成员，那是合理的。但是，如果要使用其他成员或字符串类型，您可能希望构建一个复合概念来描述您将要运用的界面部分。

当然，您可能只想确认它实际上是std::string的专业化。除非你陈述用例，否则很难（不可能）告诉你。

使用SFINAE和void_t区分类型

1 个答案: