基本類型的模板專業化

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