整数类型的模板函数专门化

假设我有一个模板函数：

template<typename T>
void f(T t)
{
    ...
}

并且我想为所有原始整数类型编写专门化。执行此操作的最佳方式是什么？

我的意思是：

template<typename I where is_integral<I>::value is true>
void f(I i)
{
    ...
}

编译器为整数类型选择第二个版本，为其他所有类型选择第一个版本？

---

解决方案

使用SFINAE

// For all types except integral types:
template<typename T>
typename std::enable_if<!std::is_integral<T>::value>::type f(T t)
{
    // ...
}

// For integral types only:
template<typename T>
typename std::enable_if<std::is_integral<T>::value>::type f(T t)
{
    // ...
}

请注意，即使对于声明，您也必须包括完整的std::enable_if返回值。

C++17更新：

// For all types except integral types:
template<typename T>
std::enable_if_t<!std::is_integral_v<T>> f(T t)
{
    // ...
}

// For integral types only:
template<typename T>
std::enable_if_t<std::is_integral_v<T>> f(T t)
{
    // ...
}