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

先来看一段代码:

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));

猜你喜欢

转载自blog.csdn.net/cyfcsd/article/details/130010607
今日推荐