SFINAE与is_base_of

2018-06-27 09:58:15来源:未知 阅读 ()

新老客户大回馈,云服务器低至5折

SFINAE:即Substitution Failure Is Not an Error!可以理解为匹配失败不是错误,更严格的说应该是参数匹配失败不是一个编译时错误。

C++函数匹配的顺序遵循的原则是按照以下顺序

1.寻找参数的完美匹配函数,找到则使用

2.寻找模板函数,若实例化后的函数能够匹配则使用

3.通过默认类型转换后的参数去匹配,找到则使用

4.匹配失败,提示函数匹配错误

下面通过实现is_base_of来说明SFINAE的一般用法,来自于

http://stackoverflow.com/questions/2910979/how-does-is-base-of-work

1.定义

 1 namespace blog {
 2     template <class D, class B>
 3     struct ConversionHelper
 4     {
 5         struct Host
 6         {
 7             operator B() const;
 8             operator D();
 9         };
10         typedef char(&yes)[1];
11         typedef char(&no)[2];
12         template <typename T>
13         static yes Test(D, T);
14         static no Test(B, int);
15     };
16 
17     template <class D, class B>
18     struct Conversion
19     {
20         typedef ConversionHelper<D, B> H;
21 
22 typedef typename H::Host Host; 23 enum { exists = sizeof(typename H::yes) == sizeof(H::Test(Host(), int())) }; 24 enum { exists2Way = exists && Conversion<B, DD>::exists }; 25 enum { sameType = false }; 26 }; 27 28 template <class D> 29 struct Conversion<D, D> 30 { 31 enum { exists = 1, exists2Way = 1, sameType = 1 }; 32 }; 33 34 template <class D> 35 struct Conversion<void, D> 36 { 37 enum { exists = 1, exists2Way = 0, sameType = 0 }; 38 }; 39 40 template <class D> 41 struct Conversion<D, void> 42 { 43 enum { exists = 1, exists2Way = 0, sameType = 0 }; 44 }; 45 46 template <> 47 struct Conversion<void, void> 48 { 49 public: 50 enum { exists = 1, exists2Way = 1, sameType = 1 }; 51 }; 52 53 template<typename B, typename D> 54 struct is_base_of { 55 enum { 56 value = (me::Conversion<const D*, const B*>::exists && !me::Conversion<const B*, const void>::sameType) 57 }; 58 }; 59 }

 

1 template<typename B,typename D>
2 struct is_base_of {
3     enum {
4         value = (Conversion<const D*, const B*>::exists && !Conversion<const B*, const void>::sameType)
5     };
6 };

2.使用

1 struct A{};
2 struct B{};
3 struct C : public B
4 {
5     static_assert(blog::is_base_of<C, B>::value, "B is not the base of C");
6     //static_assert(std::is_base_of<C, B>::value, "B is not the base of C");
7 };

  在上面代码中,由于std::is_base_of<C,B>在struct C结构体中,C还没有定义完整,因此会出错。

  而blog::is_base_of<C,B>使用的是指针转换,当转换存在时,ConversionHelper::Test(D,T)

标签:

版权申明:本站文章部分自网络,如有侵权,请联系:west999com@outlook.com
特别注意:本站所有转载文章言论不代表本站观点,本站所提供的摄影照片,插画,设计作品,如需使用,请与原作者联系,版权归原作者所有

上一篇:编译期常量字符串拼接处理

下一篇:C++转换构造函数与类型转换构造函数