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_ifstd::is_classstd::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,这个例子和上文中提到的例子基本是一样的。

©️2020 CSDN 皮肤主题: 编程工作室 设计师: CSDN官方博客 返回首页
实付0元
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值