在结构偏特化中使用 SFINAE 捕获函子

Question

出于某种复杂的原因，我想将任何支持的类型 T（来自模板）转换为我选择的类型列表。为此，我尝试使用名为“Convert”的模板结构。例如：

Convert<short>::type should be int
Convert<int>::type should be int
Convert<char>::type should be int
Convert<float>::type should be double
Convert<double>::type should be double
Convert<const char*>::type should be std::string
Convert<std::string>::type should be std::string
etc.

使用模板专业化很容易实现上述那些。但是有一种情况会导致问题：

Convert<T>::type where T is a functor should be T

要处理这个问题，我想我必须使用SFINAE，但我无法让它编译。

下面的代码给了我“partial specialization cannot match argument list for primary template”（即禁止写“Convert”）：

template<typename T, typename = decltype(&T::operator())>
struct Convert<T>       { typedef T type; };

而这个给了我“template parameter not used or deducible in partial specialization”（即它认为没有使用 T）：

template<typename T>
struct Convert<typename std::enable_if<std::is_function<typename T::operator()>::value,T>::type>
 { typedef T type; };

我不知道该怎么做，我的所有尝试都导致上述两个错误之一。

编辑：我想用相同的模型捕捉其他通用的东西，所以我不能只在非专业结构中写“typedef T type”。

谢谢

Answer 1

我建议您使用第一种方法，但要使其发挥作用，您必须这样做

用一个未使用的模板参数声明主模板：

template <class T, class = void> Convert;

将void 参数添加到您现在使用的模板的所有特化中。

像这样定义你的“函子特化”：

template<typename T, typename std::enable_if<std::is_function<typename T::operator()>::value,void>::type>

这意味着如果第二个参数void 是函子（因此它与默认模板参数匹配），则您创建第二个参数，否则不存在。

顺便说一句，你为什么在typename T::operator() 中使用typename？ AFAIK，operator() 不是类型。