c++ - std::is_invocable 为假，但 std::invoke 有效

Question

以下程序的输出似乎自相矛盾:

#include <type_traits>
#include <iostream>
#include <functional>

void foo(int&){ std::cout << "called\n"; }

int main() {
    int a;
    foo(a);
    std::cout << std::is_invocable_v<decltype(foo), decltype(a)> << std::endl;
    std::invoke(foo, a);
}

输出是:

called
0
called

在我看来，这是在调用一个不可调用的函数？这是怎么回事？

Answer 1

decltype(a) is int .这对应于使用 int prvalue 调用 f——类似于 f(7)。那个确实不能编译，因为非const左值引用不能绑定(bind)到prvalue。

您在 main 中所做的是使用 lvalue、a 调用 f，引用可以很好地绑定(bind)。

要从 std::is_invocable 中得到正确的结果，请使用 decltype 的表达式形式并添加括号:

std::is_invocable_v<decltype(foo), decltype((a))>
//                                          ^ ^