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