SFINAE,即“替换失败不是错误”(Substitution Failure Is Not An Error),是 C++ 模板元编程中的一种原则,允许在模板实例化过程中某些替换失败而不引起编译错误。与其说是错误,不如说是在编译过程中优雅地继续进行,将失败的替换排除在可行候选集之外。
SFINAE 的核心思想是,在某些模板上下文中,替换失败并不一定意味着代码中存在基本错误。相反,它可以作为模板特化的一种机制,根据类型的属性启用或禁用某些模板实例化。
这个思想被大量应用在标准库中,比如type_trait中__is_referenceable的定义:
668 template<typename _Tp, typename = void>
669 struct __is_referenceable
670 : public false_type
671 { };
672
673 template<typename _Tp>
674 struct __is_referenceable<_Tp, __void_t<_Tp&>>
675 : public true_type
676 { };
如果_Tp=void, 则 __is_referenceable<_Tp, __void_t<void&
订阅专栏 解锁全文

被折叠的 条评论
为什么被折叠?



