基本类型的模板专业化

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