c++中enable_if和void_t的妙用

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能少写点代码。