什么是SFINAE?
Substitution failure is not an error,匹配失败并不是错误,意思是用函数模板匹配规则来判断类型的某个属性是否存在,也就是说SFINAE可以作为一种编译期的不完整内省方法
具体参见http://en.wikipedia.org/wiki/Substitution_failure_is_not_an_error
案例:
使用SFINAE判断模板参数是否是class(在很多场合这个trick非常有用):
template<typename T>
class isClassA
{
typedef char _One;
typedef struct{char a[2];}_Two;
template<typename T>
static _One isClass(int T::* p);
template<typename T>
static _Two isClass(...);
public:
static const int value=sizeof(isClass<T>(NULL))==sizeof(_One);
};
使用SFINAE判断类是否有某个函数:
template<typename T>
class HasFuncFoo
{
typedef char _One;
typedef struct{char a[2];}_Two;
template<typename T,void (T::*)()>
struct FuncMatcher;
template<typename T>
static _One hasFunc(FuncMatcher<T,&T::fooFunc>*);
template<typename T>
static _Two hasFunc(...);
public:
static const int value=sizeof(hasFunc<T>(NULL))==sizeof(_One);
};
如何根据自己的需要写SFINAE?
基本思路是想办法把要判断的东西放到函数参数中,比如上面的FuncMathcer就是很好的例子:把fooFunc作为一个模板类的模板参数,然后以这个类作为SFINAE函数的参数
SFINAE应用
1 tr1的enable_if用了很多SFIANE,遇到类似的场景可以考虑使用SFIANE
2 其他应用有待研究
ps.
看到一个很有意思的c++wikibook:http://en.wikibooks.org/wiki/More_C%2B%2B_Idioms,各种奇技淫巧
原文链接: https://www.cnblogs.com/mightofcode/archive/2013/04/07/3005849.html
欢迎关注
微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍
原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/83546
非原创文章文中已经注明原地址,如有侵权,联系删除
关注公众号【高性能架构探索】,第一时间获取最新文章
转载文章受原作者版权保护。转载请注明原作者出处!