如何使SFINAE与模板专业化一起使用?

内容来源于 Stack Overflow,并遵循CC BY-SA 3.0许可协议进行翻译与使用

  • 回答 (2)
  • 关注 (0)
  • 查看 (7)

我有一个模板方法foo。我想有几个不同的实现:对Tvector<T>vector<vector<T>>在那里T是一个内置的类型或一些复杂的类。我想使用SFINAE来分隔内置类型和类的实现,并限制一组允许的类型。

以下代码正常工作,但我收到警告消息:

8:37: warning: inline function 'constexpr bool isType() [with T =
 std::vector<int>]' used but never defined

8:37: warning: inline function 'constexpr bool isType() [with T =
 std::vector<std::vector<int> >]' used but never defined
#include <type_traits>
#include <vector>

using namespace std;

class ComplexClass{};

template<typename T> constexpr bool isType();
template<> constexpr bool isType<int>()  {return true;}
template<> constexpr bool isType<ComplexClass>() {return false;}

template <typename T>
inline typename enable_if<isType<T>(), void>::type
foo(T& value) {}

template <typename T>
inline typename enable_if<!isType<T>(), void>::type
foo(T& value) {}

template <typename T>
inline typename enable_if<isType<T>(), void>::type
foo(vector<T>& value) {}

template <typename T>
inline typename enable_if<isType<T>(), void>::type
foo(vector<vector<T>>& value) {}

int main()
{
    int a;
    vector<int> b;
    vector<vector<int>> c;
    ComplexClass d;
    char e;
    foo(a);
    foo(b);
    foo(c);
    foo(d);
//    foo(e); // has to lead to an error
    return 0;
}

看起来编译器尝试传递vector<...>给第一个enable_if方法并失败。但是跳过这样的方法会很棒,因为我们有更好的候选人vector<T>vector<vector<T>>。有可能吗?

提问于
用户回答回答于

template <typename T> constexpr bool isType();
template <> constexpr bool isType<int>()  {return true;}
template <> constexpr bool isType<ComplexClass>() {return false;}

isType<char> 即使缺少定义也存在。

你能做的就是delete这个功能:

template <typename T> constexpr bool isType() = delete;
template <> constexpr bool isType<int>()  {return true;}
template <> constexpr bool isType<ComplexClass>() {return false;}

gcc / clang没有警告:演示

所以foo(e);仍然不匹配任何过载。

我会使用标签调度:

template <typename T> struct Tag{};
std::true_type isType(tag<int>);
std::false_type isType(tag<ComplexClass>);

演示

用户回答回答于

看起来您希望将向量重载的函数模板限制为仅接受内置类型的向量。否则这些重载不需要SFINAE。

您还可以使用std::is_fundamental检测内置类型:

工作范例:

using namespace std;

class ComplexClass {};

template <typename T>
typename enable_if<is_fundamental<T>::value>::type
foo(T& value) { cout << __PRETTY_FUNCTION__ << '\n'; }

template <typename T>
typename enable_if<!is_fundamental<T>::value>::type
foo(T& value) { cout << __PRETTY_FUNCTION__ << '\n'; }

template <typename T>
typename enable_if<is_fundamental<T>::value>::type
foo(vector<T>& value) { cout << __PRETTY_FUNCTION__ << '\n'; }

template <typename T>
typename enable_if<is_fundamental<T>::value>::type
foo(vector<vector<T>>& value) { cout << __PRETTY_FUNCTION__ << '\n'; }

int main() {
    int a;
    vector<int> b;
    vector<vector<int>> c;
    ComplexClass d;
    char e;
    foo(a);
    foo(b);
    foo(c);
    foo(d);
    foo(e);
}

输出:

typename std::enable_if<std::is_fundamental<_Tp>::value>::type foo(T&) [with T = int; typename std::enable_if<std::is_fundamental<_Tp>::value>::type = void]
typename std::enable_if<std::is_fundamental<_Tp>::value>::type foo(std::vector<_Tp>&) [with T = int; typename std::enable_if<std::is_fundamental<_Tp>::value>::type = void]
typename std::enable_if<std::is_fundamental<_Tp>::value>::type foo(std::vector<std::vector<_Tp> >&) [with T = int; typename std::enable_if<std::is_fundamental<_Tp>::value>::type = void]
typename std::enable_if<(! std::is_fundamental<_Tp>::value)>::type foo(T&) [with T = ComplexClass; typename std::enable_if<(! std::is_fundamental<_Tp>::value)>::type = void]
typename std::enable_if<std::is_fundamental<_Tp>::value>::type foo(T&) [with T = char; typename std::enable_if<std::is_fundamental<_Tp>::value>::type = void]

扫码关注云+社区

领取腾讯云代金券