基本类型的模板专业化

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>> { };