C++中std::enable_if和SFINAE介绍

作为一个标准的C++模板类，我们先看下enable_if的定义：

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

SFINAE

再说清楚这部分代码之前，我们先来说明一下SFINAE( Substitution failure is not an error的原理，先给一个实例：

#include<iostream>
#include<type_traits>template<bool, typename T = void> // #1
struct test_SFINAE {
};template<typename T>   // #2, partial specialization
struct test_SFINAE<true, T> { //typedef int type;
};template<typename T, typename test_SFINAE<std::is_integral<T>::value, bool>::type = 0>
// #3
void test_SFINAE_func()   // Only T is int can imp