C++模板之SFINAE技术


今天在阅读muduo库的源码时,里面有这样几行代码:

template
struct has_no_destroy
{
  template  static char test(typeof(&C::no_destroy)); // or decltype in C++11
  template  static int32_t test(...);
  const static bool value = sizeof(test(0)) == 1;
};

有一个模板类的成员函数调用了它:

static void init()
  {
    value_ = new T();   //直接调用构造函数
    if (!detail::has_no_destroy::value)   //保证支持销毁方法才会注册atexit
    {
      ::atexit(destroy);   //登记atexit时调用的销毁函数,防止内存泄漏
    }
  }

看起来很不明白为什么。然后搜集资料,学习到了C++模板除了萃取的又一个新技术,SFINAE技术,即匹配失败不是错误。

SFINAE的意思是这样的,假如有一个特化会导致编译时错误(即出现编译失败),只要还有别的选择可以被选择,那么就无视这个特化错误而去选择另外的可选选择。

举例:在上面这个示例中,如果我们给传的参数T类型为POD类型,当调用detail::has_no_destroy::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::value)此时if语句不成立,所以不用注册atexit时的destroy函数。我们是以POD类型举例的,POD类型不正好不需要destroy吗?完美。


下面是一个例子,同样验证了SFINAE技术:

#include 
using namespace std;

template 
struct has_typedef_foobar {
    typedef char yes[1];
    typedef char no[2];

    template 
    static yes& test(typename C::foobar*);

    template 
    static no& test(...);

    static const bool value = sizeof(test(nullptr)) == sizeof(yes);
};

struct foo {
    typedef float foobar;
};

int main()
{
    cout<::value<::value<

所以可以说,SFINAE技术也可以用来检测某个参数是否有某个方法。



参考:https://en.m.wikipedia.org/wiki/Substitution_failure_is_not_an_error

  http://www.360doc.com/content/13/0509/17/9200790_284185572.shtml




你可能感兴趣的:(C/C++)