基本类型的模板专业化

Question

有没有办法只针对基本类型进行模板专业化？ 我试图做以下事情：

template<typename T, typename = typename std::enable_if<!std::is_fundamental<T>::value>::type>
class foo
{
}

template<typename T, typename = typename std::enable_if<std::is_fundamental<T>::value>::type>
class foo
{
}

但我收到的错误是模板已经定义。

Answer 1

在这里，您要创建两个具有相同名称的模板化类，而不是专业化。

您需要创建一个通用的，然后专门化它：

// not specialized template (for non-fundamental types), Enabler will 
// be used to specialize for fundamental types
template <class T, class Enabler = void>
class foo { };

// specialization for fundamental types
template <class T>
class foo<T, std::enable_if_t<std::is_fundamental<T>::value>> { };