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

https://www.jianshu.com/p/a961c35910d2

名词解释SFINAE

    SFINAE是英文Substitution failure is not an error的缩写,意思是匹配失败不是错误。这句话什么意思呢?

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

当调用模板函数时编译器会根据传入参数推导最合适的模板函数,在这个推导过程中如果某一个或者某几个模板函数推导出来是编译无法通过的,只要有一个可以正确推导出来,那么那几个推导得到的可能产生编译错误的模板函数并不会引发编译错误。这段话很绕,我们接下来用代码说明一下,一看便知。

struct Test {
    typedef int foo;
};

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

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

int main() {
    f(10); // Call #1.
    f(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
struct enable_if {};
 
template
struct enable_if { typedef T type; };

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

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

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

template 
typename std::enable_if::value>::type SFINAE_test(T value)
{
    std::cout<<"T is trival"<
typename std::enable_if::value>::type SFINAE_test(T value)
{
    std::cout<<"T is none trival"<

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

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

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

#include 
#include 
#include 
 
namespace detail { struct inplace_t{}; }
void* operator new(std::size_t, void* p, detail::inplace_t) {
    return p;
}
 
// enabled via the return type
template
typename std::enable_if::value>::type 
    construct(T* t,Args&&... args) 
{
    std::cout << "constructing trivially constructible T\n";
}
 
// enabled via a parameter
template
void destroy(T* t, 
             typename std::enable_if::value>::type* = 0) 
{
    std::cout << "destroying trivially destructible T\n";
}
 
// enabled via a template parameter
template{} &&
             (std::is_class{} || std::is_union{}),
            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(&u));
    destroy(reinterpret_cast(&u));
 
    construct(reinterpret_cast(&u),"Hello");
    destroy(reinterpret_cast(&u));
}

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



作者:于天佐
链接:https://www.jianshu.com/p/a961c35910d2
來源:简书
简书著作权归作者所有,任何形式的转载都请联系作者获得授权并注明出处。

 

C++:举例说明如何使用enable_if和模板的函数指针参数

下面的这个例子主要实现如下功能:

1 当参数为数据类型时,调用std::to_string()方法将数值转化为字符串并输出。
2 当参数为std::string类型时,直接使用std::string的值输出。
3 当参数为对象时,如果对象中含有std::string str()方法,则调用对象的std::string str()方法;
4 如果对象不含std::string str()方法,则返回空字符串。

class Box {
public:
    string str() {
        return "yes";
    }
};
 
class Bin {
public:
    string str1() {
        return "no";
    }
};
 
template
std::string str(T& t) {
    cout << "1.---------------------" << endl;
    return "null";
};
 
template<>
std::string str(string& t) {
    cout << "2.---------------------" << endl;
    return t;
};
 
template
string str(typename std::enable_if::value && !std::is_same::value, T>::type& t) {
    cout << "3.---------------------" << endl;
    return t.str();
};
 
template
string str(typename std::enable_if::value, T>::type&  t) {
    cout << "4.---------------------" << endl;
    return std::to_string(t);
};
 
 
int main() {
    string s = "sddds";
    cout << str(s) << endl;
 
    bool j = true;
    cout << str(j) << endl;
 
    int i = 1000; 
    cout << str(i) << endl; 
 
    float f = 10.6f;
    cout << str(f) << endl;
 
    Box b1;
    cout << str(b1) << endl;
 
    Bin b2;
    cout << str(b2) << endl;
 
    return 1;
}


2.---------------------
sddds
4.---------------------
1
4.---------------------
1000
4.---------------------
10.600000
3.---------------------
yes
1.---------------------
null
 先看一下上述代码中使用的std::enable_if

typename std::enable_if::value, T>::type
表示如果T是数值类型,则使用T的类型

typename std::enable_if::value && !std::is_same::value, T>::type
表示如果T是类,并且T不是string类型,则使用T的类型


再看下模板的函数指针参数

template
表示如果要使用此模板函数,则T必须含有std::string str()函数
 

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