Modern C++ idiom2:SFINAE

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&

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

深山老宅

鸡蛋不错的话,要不要激励下母鸡

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值