boost::enable_if与SFINAE原则

模板函数的重载遵循SFINAE原则（substitution-failure-is-not-an-error）：当一个模板函数的返回值或参数类型无效的时候，该实例不会参与重载解析，也不会导致编译错误。

利用这个原则，可以设计出具有选择性的模板函数。


先看一个例子：

int negate(int i) { return -i; }                                //1

template 
typename F::result_type negate(const F& f) { return -f(); }     //2

当编译器遇到negate(1)的调用的时候，非模板函数1完全匹配，但是模板函数2也会尝试去实例化。显然无法用int去实例化模板函数2，这里如果没有SFINAE原则就会导致编译错误。实际上用int实例化的模板函数2不会出现在重载决议列表中，可能这个实例直接被删掉了。

boost::enable_if就是用来将某些不合要求的模板函数从重载决议列表中踢掉。

template 
struct enable_if_c {
  typedef T type;
};

template 
struct enable_if_c {};

template 
struct enable_if : public enable_if_c {};


可以看到enable_if实际上继承自enable_if_c，而模板enable_if_c需要两个模板参数
第一个是bool类型，来自enable_if的第一个参数的bool成员value，第二个参数是用户提供的类型T。

enable_if_c的作用就是如果第一个模板参数为true，那么它就将第二个模板参数typedef为type，否则什么也不干。那么enable_if_c::type就是T，而enable_if_c::type就是错误


template 
typename enable_if_c::value, T>::type 
foo(T t) { return t; }

上面这个函数foo只接受算术类型参数

使用enable_if可以写得更简单一些：

template 
typename enable_if, T>::type 
foo(T t) { return t; }

注意：
enable_if第一个模板参数必须是定义了bool成员value的一个类类型Cond
第二个参数为任意类型T
enable_if::type为T
enable_if::type无效

注意SFINAE只适用于模板函数，所以不能用于模板类的普通成员函数，
可以用于模板函数和模板类的模板成员函数。



从上面可以看出：不管enable_if_c的第一个参数是true还是false，第二个参数类型必须正确。但是有一种需求是这样的：第一个参数为true的时候，用户保证第二个参数有效，而第一个参数为false的时候用户不保证有效。这个时候就无法使用enable_if了，因为这时解析enable_if模板就已经失败了，这已经不是SFINAE的范畴的

例如：

template  class mult_traits;

template 
typename enable_if, 
                   typename mult_traits::type>::type
operator*(const T& t, const U& u) { ... }

对于某些类型T和U的mult_traits特化版本，用户定义了类型成员type，其它情况没有
那么对于“其它情况”，mul_traits::type就无效，导致解析enable_if模板失败，所以enable_if就实现不了这个功能了

lazy_enable_if可以用来解决这个问题

lazy_enable_if也接受两个模板参数：
第一个与enable_if一样，是一个定义bool成员value的一个类类型Cond。
第二个参数是一个有效类型T，并且当Cond::value是true的时候，
由用户保证typedef过T::type，此时lazy_enable_if这个模板类定义类型成员
    typedef T::type type，

当Cond::value是false时不要求用户定义T::type，同时lazy_enable_if也啥都不定义，
这样一来就避免了在解析lazy_enable_if这个模板的时候遇到错误，
而是在求lazy_enable_if::type的时候出现错误

正确代码如下：
template  class mult_traits;

template 
typename lazy_enable_if, 
                        typename mult_traits >::type
operator*(const T& t, const U& u) { ... }


注意：
lazy_enable_if接受第一个模板参数是一个定义bool成员value的一个类类型Cond，
当Cond::value为true时第二个参数必须是定义类型成员type的类类型
当Cond::value为false时第二个参数为任意类型。

lazy_enable_if::type为T::type
lazy_enable_if::type无效