今天在阅读muduo库的源码时,里面有这样几行代码:
template<typename T>
struct has_no_destroy
{
template <typename C> static char test(typeof(&C::no_destroy)); // or decltype in C++11
template <typename C> static int32_t test(...);
const static bool value = sizeof(test<T>(0)) == 1;
};
有一个模板类的成员函数调用了它:
static void init()
{
value_ = new T(); //直接调用构造函数
if (!detail::has_no_destroy<T>::value) //保证支持销毁方法才会注册atexit
{
::atexit(destroy); //登记atexit时调用的销毁函数,防止内存泄漏
}
}
看起来很不明白为什么。然后搜集资料,学习到了C++模板除了萃取的又一个新技术,SFINAE技术,即匹配失败不是错误。
SFINAE的意思是这样的,假如有一个特化会导致编译时错误(即出现编译失败),只要还有别的选择可以被选择,那么就无视这个特化错误而去选择另外的可选选择。
举例:在上面这个示例中,如果我们给传的参数T类型为POD类型,当调用detail::has_no_destroy<T>::value时,T参数会在has_no_destroy类中实例化模板,由于是POD类型,不具备no_destroy方法,不可以使用&C::no_destroy方式调用,意味这如果匹配这个会导致编译错误,那么它会寻找下一个去实例化。不过因为test(...)的存在,任何不匹配上一个的到这里都会被接收,所以我们声明出来的成员变量test会是int32_t类型,而不是char类型。则下一行的value,由于测量test零初始化的字节数,相当于sizeof(int32_t) != 1,所以value的值被确定为false。
我们退出这个函数,回到调用处。if(!detail::has_no_destroy<T>::value)此时if语句不成立,所以不用注册atexit时的destroy函数。我们是以POD类型举例的,POD类型不正好不需要destroy吗?完美。
下面是一个例子,同样验证了SFINAE技术:
#include <iostream>
using namespace std;
template <typename T>
struct has_typedef_foobar {
typedef char yes[1];
typedef char no[2];
template <typename C>
static yes& test(typename C::foobar*);
template <typename C>
static no& test(...);
static const bool value = sizeof(test<T>(nullptr)) == sizeof(yes);
};
struct foo {
typedef float foobar;
};
int main()
{
cout<<std::boolalpha;
cout<<has_typedef_foobar<int>::value<<endl; //false
cout<<has_typedef_foobar<foo>::value<<endl; //true
return 0;
}
所以可以说,SFINAE技术也可以用来检测某个参数是否有某个方法。
参考:https://en.m.wikipedia.org/wiki/Substitution_failure_is_not_an_error
http://www.360doc.com/content/13/0509/17/9200790_284185572.shtml