C++ 11:整数类型的模板函数专业化

Question

假设我有一个模板功能:

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

我想为所有原始整数类型编写一个专门化.做这个的最好方式是什么？

我的意思是:

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

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

Answer 1

使用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即使是声明,您也必须包含完整的返回值.

Answer 2

我会使用重载决议.这使您不必使用SFINAE总​​体黑客.不幸的是,有许多领域你无法避免它,但幸运的是这不是其中之一.

template<typename T>
void f(T t)
{
  f(t, std::is_integral<T>());
}

template<typename T>
void f(T t, std::true_type)
{ 
  // ...
}

template<typename T>
void f(T t, std::false_type)
{ 
  // ...
}

Answer 3

使用c ++ 11,std :: enable_if(http://en.cppreference.com/w/cpp/types/enable_if)可以用来做到这一点:

template<typename T, class = typename std::enable_if<std::is_integral<T>::value>::type>
void f(T t) {...}

Answer 4

这是 C++20 解决方案

template<std::integral T>
void f(T v) {
   ...
}

我认为它实际上是重载函数，但工作原理相同。

Answer 5

您可以使用可以像这样专门化的帮助程序模板:

#include <string>
#include <iostream>
#include <type_traits>

template <typename T, bool = std::is_integral<T>::value>
struct Foo {
        static void bar(const T& t) { std::cout << "generic: " << t << "\n"; }
};
template <typename T>
struct Foo<T, true> {
        static void bar(const T& t) { std::cout << "integral: " << t << "\n"; }
};

template <typename T>
static void bar(const T& t) {
        return Foo<T>::bar(t);
}

int main() {
        std::string s = "string";
        bar(s);
        int i = 42;
        bar(i);
        return 0;
}

输出:

generic: string
integral: 42