C++模板之SFINAE技术_sfniate c++-优快云博客

今天在阅读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