C++20 SFINAE 替换失败并非错误(Substitution Failure Is Not An Error)

class Foo {
public:
    int Add(int a);
private:
    Foo() = delete;
};
template<typename T>
T MyDeclVal_(long) {
    // static_assert(false);
}
template<typename T, typename U=T&&>  //U = void &&,因为void &&编译失败,按SFINAE,不选这个
U MyDeclVal_(int);

template<typename T>
auto MyDeclVal() -> decltype(MyDeclVal_<T>(0));

decltype(MyDeclVal<void>()) fun(){} //参数是void

int main(int argc, char *argv[]) {
    decltype(MyDeclVal<Foo>().Add(3)) x;
    x = 4;
    LOG(INFO) << "x = " << x;

}

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值