std::enable_if
std::enable_if在c++中是个好工具，利用SFINAE对不同类型进行不同处理。
个人总结一下，std::enable_if有四种使用方式，分为返回值，参数，类型模板参数，非类型模板参数，对于后两种需要c++11以上的版本才支持。
举个例子，比如我需要输出一个数字，模板类型T需要为一个数字类型，我们来看看四种用法。
返回值
template<class T>
typename std::enable_if<std::is_integral<T>::value>::type
printIntegral(T t) {
std::cout << t;
}
enable_if在没有指定第二个模板参数时候enable_if::type默认为void，所以不需要有返回值。
参数
template<class T>
void printIntegral(T t,
typename std::enable_if<std::is_integral<T>::value>::type* = 0) {
std::cout << t;
}
利用0为T类型的指针的默认参数，从而进行推断。
不过以上两种都是比较老的办法了，因为c++11之前不允许模板参数有默认值，但是现在最好是利用下面两种办法。
非类型模板参数
template<class T, typename std::enable_if<std::is_integral<T>::value,int>::type = 0>
void printIntegral(T t) {
std::cout << t;
}
类型模板参数
template<class T, typename = std::enable_if<std::is_integral<T>::value>>
void printIntegral(T&& t) {
std::cout << t;
}
个人认为最好的方式，相比上三种方式，更简洁，并且也能同时处理左值和右值的情况。
void_t
void_t是编译期检测SFINAE表达式是否有效，比如用来检测某个类是否拥有某个成员函数。
比如我们要检测类是否拥有fun函数，我们可以
class Foo {
public:
Foo() {
};
void fun() {
std::cout << "fun";
}
};
template<class T, class = void>
struct has_fun : std::false_type{
};
template<class T>
struct has_fun<T, void_t<decltype(std::declval<T>().fun())>> : std::true_type {
};
template<class T>
constexpr auto has_fun_t = has_fun<T>::value;
template<class T, std::enable_if<has_fun_t<T>,int>::type = 0>
void call(T t) {
t.fun();
}
template<class T, std::enable_if<!has_fun_t<T>, int>::type = 0>
void call(T t) {
std::cout << "no fun";
}
has_fun主模板继承flase_type，如果模板参数T拥有这个函数，则特化为继承true_type的has_fun。call函数在通过enable_if进行判断。
如果编译期支持17的标准就更简单了，用if constexpr能少写点代码。