所需头文件

#include <type_traits>

函数返回值特化

// the return type (bool) is only valid if T is an integral type
template <typename T> typename std::enable_if<std::is_integral<T>::value, bool>::type is_odd(T i)
{
    return bool(i % 2);
}

函数参数特化

场景1：只有一个函数

template <typename T>
int fun(T i, typename std::enable_if<std::is_integral<T>::value, int>::type =  0) { return 1; }

场景2：函数重载（效果等同于“4. 模板参数特化之模板重载”）

//此模板 T 接收 integer 型参数
template <typename T> int fun(T i, typename std::enable_if<std::is_integral<T>::value, int>::type = 0) { return 1; }
//此模板 T 接收非 integer 型参数
template <typename T> int fun(T i, typename std::enable_if<!std::is_integral<T>::value, int>::type = 0) { return 2; }

模板参数特化

方法1：

// the second template argument is only valid if T is an integral type
template <typename T,
          typename = typename std::enable_if<std::is_integral<T>::value>::
              type> // enable_if 的第二个参数是 void 型，在 typename = typename ...
                    // 场景下可以不特别指出第二个参数，在没有 = 号的场景下，不仅要指出而且还要给一个默认值，如“方法2”
bool is_even(T i)
{
    return bool(i % 2);
}

方法2：

// the second template argument is only valid if T is an integral type
template <typename T, typename std::enable_if<std::is_integral<T>::value, int>::type = 0> bool is_even(T i)
{
    return bool(i % 2);
}

模板参数特化之模板重载（效果等同于“2. 函数参数特化 > 场景2：函数重载”）

//此模板 T 接收 unordered_map<string, string> 型和 json 型
template <typename T,
          typename std::enable_if<std::is_same<T, unordered_map<string, string>>::value || std::is_same<T, json>::value,
                                  int>::type = 0>
void fun(T i)
{
    // TODO ......
}
//此模板 T 接收除 unordered_map<string, string> 型和 json 型以外的其它类型
template <typename T,
          typename std::enable_if<
              !std::is_same<T, unordered_map<string, string>>::value && !std::is_same<T, json>::value, int>::type = 0>
void fun(T i)
{
    // TODO ......
}