C++模板进阶:SFINAE

C++模板进阶:SFINAE

SFINAE是 Substitution failure is not an error(替换失败不是错误)的缩写

我们不再介绍它,知乎的大佬对此介绍的很好,我们只为了重复记忆

C++模板进阶指南:SFINAE

代码:

#include<iostream>
template<typename T, typename = std::enable_if_t<(sizeof(T) > 4)>>
void foo() {
	std::cout << "first" << std::endl;
}

int main() {
	foo<double>();
}

只需要这样一段小小的代码就能解释std::enable_if的用处吗,我们看经过编译器处理后:

template<>
void foo<double, void>()
{
  std::operator<<(std::cout, "first").operator<<(std::endl);
}

模板经过编译器实例化后就是这样,我们可以看到这个函数第二个类型就是void了,这是因为std::enable_if_t<true>,会产生一个void,反之,如果不符合里面的条件,这里是sizeof(T) > 4,就是enable_if <false>

enable_if这个特化形式中,压根就没有这个::type,也就失败了,不会匹配上,当然这也不会error

我们可以拿一个进行比较例子:

#include<iostream>
template<typename T, typename = std::enable_if_t<(sizeof(T) > 4)>>
void foo() {
	std::cout << "first" << std::endl;
}
template<class T>
void foo()requires std::is_integral_v<T>{
	std::cout << "6" << std::endl;
}
int main() {
	foo<double>();
	foo<int>();
}

将分别打印 first6

requires约束是c++20的特性,与它相比,std::enable_if简直就是垃圾,但是很多库和公司标准并没那么高,也就只能使用std::enable_if了

  • 2
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值