假设我有一个模板函数:
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)
{
// ...
}
关于c++ - 整数类型的模板函数特化,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37896632/