C++11新特性之std::enable_if和SFINAE

C++11新特性之std::enable_if和SFINAE

注:本文转载自于天佐的简书 https://www.jianshu.com/p/a961c35910d2

名词解释SFINAE

SFINAE是英文Substitution failure is not an error的缩写,意思是匹配失败不是错误。这句话什么意思呢?当调用模板函数时编译器会根据传入参数推导最合适的模板函数,在这个推导过程中如果某一个或者某几个模板函数推导出来是编译无法通过的,只要有一个可以正确推导出来,那么那几个推导得到的可能产生编译错误的模板函数并不会引发编译错误。这段话很绕,我们接下来用代码说明一下,一看便知。

struct Test {
    typedef int foo;
};

template <typename T> 
void f(typename T::foo) {} // Definition #1

template <typename T> 
void f(T) {}               // Definition #2

int main() {
    f<Test>(10); // Call #1.
    f<int>(10);  // Call #2. Without error (even though there is no int::foo) thanks to SFINAE.
}

这是wiki上SFINAE的一个经典示例,注释已经解释的相当明白,由于推导模板函数过程中可以找到一个正确的版本,所以即时int::foo是一个语法错误,但是编译器也不会报错。这就是SFINAE要义。在C++11中,标准确立了这种编译的行为,而不像C++98未明确定义它的行为。通过std::enable_if和SFINAE的共同使用,会产生很多很奇妙的实现,STL库中大量的应用了这种组合,下面我们来看看他们组合一起是如何工作的。
    
std::enable_if

这个模板类的实现相当的简单,看一下一个版本的实现。

template<bool B, class T = void>
struct enable_if {};
 
template<class T>
struct enable_if<true, T> { typedef T type; };

一个普通版本的模板类定义,一个偏特化版本的模板类定义。它在第一个模板参数为false的时候并不会定义type,只有在第一模板参数为true的时候才会定义type。看一下下面的模板实例化代码

typename std::enable_if<true, int>::type t; //正确
typename std::enable_if<true>::type; //可以通过编译,没有实际用处,推导的模板是偏特化版本,第一模板参数是true,第二模板参数是通常版本中定义的默认类型即void
typename std::enable_if<false>::type; //无法通过编译,type类型没有定义
typename std::enable_if<false, int>::type t2; //同上

我们可以看到,通过typename std::enable_if::type这样传入一个bool值,就能推导出这个type是不是未定义的。那么这种用法有什么用途呢?结合上面的SFINAE来看代码

template <typename T>
typename std::enable_if<std::is_trivial<T>::value>::type SFINAE_test(T value)
{
    std::cout<<"T is trival"<<std::endl;
}

template <typename T>
typename std::enable_if<!std::is_trivial<T>::value>::type SFINAE_test(T value)
{
    std::cout<<"T is none trival"<<std::endl;
}

这两个函数如果是普通函数的话,根据重载的规则是不会通过编译的。即便是模板函数,如果这两个函数都能推导出正确的结果,也会产生重载二义性问题,但是正因为std::enable_if的运用使这两个函数的返回值在同一个函数调用的推导过程中只有一个合法,遵循SFINAE原则,则可以顺利通过编译。

SFINAE_test(std::string("123"));
SFINAE_test(123);

当第一个函数调用进行模板函数推导的时候,第一个版本的模板函数std::is_trivial::value为false,继而std::enable_if<std::is_trivial::value>::type这个类型未定义,不能正确推导,编译器区寻找下一个可能的实现,所以接下来找到第二个模板函数,!std::is_trivial::value的值是true,继而std::enable_if<std::is_trivial::value>::type是void类型,推导成功。这时候SFINAE_test(std::string(“123”));调用有了唯一确定的推导,即第二个模板函数,所以程序打印T is none trival。与此相似的过程,第二个函数调用打印出T is trival。
    
    这样写的好处是什么?这个例子中可以认为我们利用SFINAE特性实现了通过不同返回值,相同函数参数进行了函数重载,这样代码看起来更统一一些。还有一些其他应用std::enable_if的方式,比如在模板参数列表里,在函数参数列表里,都是利用SFINAE特性来实现某一些函数的选择推导。来看一下cpprefrence上的例子代码

#include <type_traits>
#include <iostream>
#include <string>
 
namespace detail { struct inplace_t{}; }
void* operator new(std::size_t, void* p, detail::inplace_t) {
    return p;
}
 
// enabled via the return type
template<class T,class... Args>
typename std::enable_if<std::is_trivially_constructible<T,Args&&...>::value>::type 
    construct(T* t,Args&&... args) 
{
    std::cout << "constructing trivially constructible T\n";
}
 
// enabled via a parameter
template<class T>
void destroy(T* t, 
             typename std::enable_if<std::is_trivially_destructible<T>::value>::type* = 0) 
{
    std::cout << "destroying trivially destructible T\n";
}
 
// enabled via a template parameter
template<class T,
         typename std::enable_if<
             !std::is_trivially_destructible<T>{} &&
             (std::is_class<T>{} || std::is_union<T>{}),
            int>::type = 0>
void destroy(T* t)
{
    std::cout << "destroying non-trivially destructible T\n";
    t->~T();
}
int main()
{
    std::aligned_union_t<0,int,std::string> u;
 
    construct(reinterpret_cast<int*>(&u));
    destroy(reinterpret_cast<int*>(&u));
 
    construct(reinterpret_cast<std::string*>(&u),"Hello");
    destroy(reinterpret_cast<std::string*>(&u));
}

可以从代码中看到,上面例子覆盖了基本所有std::enable_if可以应用的场景,核心就是应用SFINAE原则,来实现调用函数去推导正确的模板函数版本。

相关推荐
©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页