std::invoke()不支持重载函数

文章讨论了在C++中,由于函数重载,导致无法直接通过函数名推断其具体类型,从而在模板函数调用时产生错误。解决方案是通过显式指定函数指针类型来完成调用,如`my_invoke(static_cast<void(*)(int)>(foo))`。这与SFINAE原则不同,后者涉及模板特化的过程。
摘要由CSDN通过智能技术生成

先来看一段代码:

void foo(int a) {

}
void foo(double d) {

}

template <typename T>
void my_invoke(T a) {
  a(2);
}
int main() {
  my_invoke(foo);
}

编译这段代码会提示:no matching function for call to ‘my_invoke(<unresolved overloaded function type>)’

翻译过来的大致意思是不知道调用哪个foo(),这是因为这里的foo虽然是一个函数类型对应的变量值,但由于函数重载的存在,只根据函数名不能推断出完整的函数类型。这是函数类型与普通类型不同的地方。举个更简单的例子,其他变量由于不能重名(在任何一处上下文中,只有一个变量是有效的),所以可以利用decltype得到其类型,但函数名不同,一个上下文中,可以有无数个同名函数。

这里也跟SFINAE要区分开,SFINAE是多个类模板特化的过程,并不是这里可以用两个foo轮流去尝试调用my_invoke的意思。

要想编译通过,只要将函数类型补充完整即可:

my_invoke(static_cast<void(*)(int)>(foo));

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值