C++惯用法之SFINAE

SFINAE惯用法是什么?

​    在谈SFINAE之前我们先来看一段代码，一切从这段代码开始。

template <typename T>
void show(typename T::iterator x, typename T::iterator y) {
    for (; x != y; ++x) cout << *x << endl;
}
int main() {
    show<int>(16, 18);
}

​    在编译上面这段代码的时候，你会发现无法编译通过，会有如下的错误。

sfinae.cc:13:21: error: no matching function for call to ‘show(int, int)’
     show<int>(16, 18);
                     ^
sfinae.cc:6:6: note: candidate: template<class T> void show(typename T::iterator, typename T::iterator)
 void show(typename T::iterator x, typename T::iterator y)
      ^
sfinae.cc:6:6: note:   template argument deduction/substitution failed:
sfinae.cc: In substitution of ‘template<class T> void show(typename T::iterator, typename T::iterator) [with T = int]’:
.................

​    说白了这个错误就是说，你的模板参数类型找不到，模板参数要求是一个类类型，并且有iterator类内部类型。然后int无法满足这个要求。找不到匹配的声明所以就报了如下的错误。解决这个错误也是相当的easy，给这个模板添加一个重载即可，代码如下:

template <typename T>
void show(T a, T b) {
    cout << a << "; " << b << endl;
}

​    到此为此上面的代码可以正常的运行了。这就是所谓的SFINAE大法，全称是”Substitution Failure Is Not An Error”，这其实就是编译器的一个特性，例如当编译器试图根据show(16,18)，查找到T::iterator这个类型的模板，发现无法进行匹配替换，这导致编译器会抛出了错误然后突然终止，但是编译器选择了忽略这个错误，继续进行查找，如果到所有的都查找结束了仍然查找不到才抛出错误。这就是所谓的SFINAE大法。那么问题来了，SFINAE大法都有哪些用处呢?，且听下文继续分析。

一个SFINAE的例子

​    利用SFINAE可以在编译期间判断一个类型是否有iterator，代码如下:

template <typename T>
struct has_iterator {
    template <typename U>
    static char test(typename U::iterator* x);
    template <typename U>
    static long test(U* x);
    static const bool value = sizeof(test<T>(0)) == 1;
};

​    上面的代码中，有两个test函数模板，当匹配到第一个的时候，返回的时候char类型，那么大小就是1，value就是true，当匹配到第二个的时候，返回的是long类型，那么大小肯定不是1，那么value就是false。就是这样巧妙的在编译期就可以判断一个类型是否支持iterator。下面是测试代码:

int main() {
   has_iterator<vector<int> > test;
   if( test.value )
       cout << "vector have iterator" << endl;
   else
       cout << "vector not have iterator";
   has_iterator<int> test2;
   if( test2.value )
       cout << "int have iterator" << endl;
   else
       cout << "int not have iterator" << endl;

}

boost/标准库中的SFINAE

​    在boost和标准库中大量使用了SFINAE特性，典型的比如std::enable_if，std::is_class，std::void_t等等，在C++11中的大量type traits也大量使用了SFINAE特性.下面是is_class的具体实现:

template<typename T>
class is_class {
    typedef char yes[1];
    typedef char no [2];
    template<typename C> static yes& test(int C::*); // selected if C is a class type
    template<typename C> static no&  test(...);      // selected otherwise
  public:
    static bool const value = sizeof(test<T>(0)) == sizeof(yes);
};

​    如果是类的化，就会匹配返回yes的函数，那么value就是true，这个例子和上文中提到的例子基本是一样的。