一、介绍
enable_if?的主要作用就是当某个?condition?成立时，enable_if可以提供某种类型。
源码
// STRUCT TEMPLATE enable_if
template <bool _Test, class _Ty = void> //泛化版本
struct enable_if {}; // no member "type" when !_Test
template <class _Ty> //偏特化版本:怎么理解：只有这个偏特化版本存在，才存在一个名字叫做type的类型别名（类型）
struct enable_if<true, _Ty> { // type is _Ty for _Test
using type = _Ty;
};二、实例
2.1类型偏特化
在使用模板编程时，经常会用到根据模板参数的某些特性进行不同类型的选择，或者在编译时校验模板参数的某些特性。例如
template <typename T, typename Enable=void>
struct check;
template <typename T>
struct check<T, typename std::enable_if<T::value>::type> {
static constexpr bool value = T::value;
}; 上述的?check?只希望选择?value==true?的?T，否则就报编译时错误。如果想给用户更友好的提示，可以提供结构体的原型定义，并在其中进行?static_assert?的静态检查，给出更明确的字符串说明
2.2校验函数模板参数类型
有时定义的模板函数，只希望特定的类型可以调用，参考 cppreference 官网示例，很好的说明了如何限制只有整型可以调用的函数定义：
// enable_if example: two ways of using enable_if
#include <iostream>
#include <type_traits>
// 1. the return type (bool) is only valid if T is an integral type:
template <class T>
typename std::enable_if<std::is_integral<T>::value,bool>::type
is_odd (T i) {return bool(i%2);}
// 2. the second template argument is only valid if T is an integral type:
template < class T,
class = typename std::enable_if<std::is_integral<T>::value>::type>
bool is_even (T i) {return !bool(i%2);}
int main() {
short int i = 1; // code does not compile if type of i is not integral
std::cout << std::boolalpha;
std::cout << "i is odd: " << is_odd(i) << std::endl;
std::cout << "i is even: " << is_even(i) << std::endl;
return 0;
}
?打印
?
参考：
std::enable_if - cppreference.com
