模板函数的重载遵循SFINAE原则(substitution-failure-is-not-an-error):当一个模板函数的返回值或参数类型无效的时候,该实例不会参与重载解析,也不会导致编译错误。
利用这个原则,可以设计出具有选择性的模板函数。
先看一个例子:
int negate(int i) { return -i; } //1
template <class F>
typename F::result_type negate(const F& f) { return -f(); } //2
当编译器遇到negate(1)的调用的时候,非模板函数1完全匹配,但是模板函数2也会尝试去实例化。显然无法用int去实例化模板函数2,这里如果没有SFINAE原则就会导致编译错误。实际上用int实例化的模板函数2不会出现在重载决议列表中,可能这个实例直接被删掉了。
boost::enable_if就是用来将某些不合要求的模板函数从重载决议列表中踢掉。
template <bool B, class T = void>
struct enable_if_c {
typedef T type;
};
template <class T>
struct enable_if_c<false, T> {};
template <class Cond, class T = void>
struct enable_if : public enable_if_c<Cond::value, T> {};
可以看到enable_if实际上继承自enable_if_c,而模板enable_if_c需要两个模板参数
第一个是bool类型,来自enable_if的第一个参数的bool成员value,第二个参数是用户提供的类型T。
enable_if_c的作用就是如果第一个模板参数为true,那么它就将第二个模板参数typedef为type,否则什么也不干。那么enable_if_c<true, T>::type就是T,而enable_if_c<false, T>::type就是错误
template <class T>
typename enable_if_c<boost::is_arithmetic<T>::value, T>::type
foo(T t) { return t; }
上面这个函数foo只接受算术类型参数
使用enable_if可以写得更简单一些:
template <class T>
typename enable_if<boost::is_arithmetic<T>, T>::type
foo(T t) { return t; }
注意:
enable_if第一个模板参数必须是定义了bool成员value的一个类类型Cond
第二个参数为任意类型T
enable_if<true, T>::type为T
enable_if<false, T>::type无效
注意SFINAE只适用于模板函数,所以不能用于模板类的普通成员函数,
可以用于模板函数和模板类的模板成员函数。
从上面可以看出:不管enable_if_c的第一个参数是true还是false,第二个参数类型必须正确。但是有一种需求是这样的:第一个参数为true的时候,用户保证第二个参数有效,而第一个参数为false的时候用户不保证有效。这个时候就无法使用enable_if了,因为这时解析enable_if模板就已经失败了,这已经不是SFINAE的范畴的
例如:
template <class T, class U> class mult_traits;
template <class T, class U>
typename enable_if<is_multipliable<T, U>,
typename mult_traits<T, U>::type>::type
operator*(const T& t, const U& u) { ... }
对于某些类型T和U的mult_traits特化版本,用户定义了类型成员type,其它情况没有
那么对于“其它情况”,mul_traits<T, U>::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<false, T>::type的时候出现错误
正确代码如下:
template <class T, class U> class mult_traits;
template <class T, class U>
typename lazy_enable_if<is_multipliable<T, U>,
typename mult_traits<T, U> >::type
operator*(const T& t, const U& u) { ... }
注意:
lazy_enable_if接受第一个模板参数是一个定义bool成员value的一个类类型Cond,
当Cond::value为true时第二个参数必须是定义类型成员type的类类型
当Cond::value为false时第二个参数为任意类型。
lazy_enable_if<true, T>::type为T::type
lazy_enable_if<false, T>::type无效