c++11std::enable_if结构体模板

一：std::enable_if历史与作用
历史：C++11新标准中引入的类模板（结构模板），使用体现了C++编译器的SFINAE特性。
作用：定位为一个helper模板（助手模板），用于辅助其他模板的设计，表现一种：编译期的分支逻辑（编译期就可以确定走哪条分支）

二：std::enable_if源码分析

// STRUCT TEMPLATE enable_if
template <bool _Test, class _Ty = void>
struct enable_if {}; // no member "type" when !_Test

template <class _Ty>
struct enable_if<true, _Ty> { // type is _Ty for _Test
    using type = _Ty;
};

源码其实挺简单的，一个泛化版本，一个偏特化版本，偏特化版本当中只要第一个参数为true，那么就有一个类型别名。

三：std::enable_if简单使用

#include <iostream>
#include <type_traits>
using namespace std;
int main(int argc, char** argv)
{
    std::enable_if< (3 > 2)>::type* mypoint1 = nullptr;
    return 0;
}

std::enable_if< (3 > 2)>::type相当于void类型。

四：std::enable_if使用场景
std::enable_if在函数模板当中的使用。

#include <iostream>
#include <type_traits>
using namespace std;
template <typename T>
typename std::enable_if<(sizeof(T) > 2)>::type fun()
{
    //...
}
int main(int argc, char** argv)
{
    fun<int>();
    //fun<char>();编译错误
    return 0;
}

当然，由于c++14当中增加了，

template <bool _Test, class _Ty = void>
using enable_if_t = typename enable_if<_Test, _Ty>::type; //别名模板

所以以上可以写成

template <typename T>
std::enable_if_t<(sizeof(T) > 2)> fun() 
{
	//...
}

当然，std::enable_if的应用场景还是挺多的，这里就不列举那么多了，随着自己阅读别人的代码，相信对std::enable_if的认识也会瑜伽熟悉。