C++ enable_if 模板特化实例（函数返回值特化、函数参数特化、模板参数特化、模板重载）

1. enable_if 原理

关于 enable_if 原理这里就不细说了，网上有很多，可以参考如下教程，这里只讲解用法实例，涵盖常规使用全部方法。

文章1
文章2
文章3

1. 所需头文件

#include <type_traits>

2. 返回参数特化

//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);
}

3. 函数参数特化

场景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; }

4. 模板参数特化

方法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);
}

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

未完 ......

点击访问原文（进入后根据右侧标签，快速定位到本文）