std :: is_invocable為false，但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)是int 。 這對應於使用具有int prvalue的 f調用-類似於f(7) 。 那個確實不能編譯，因為非const左值引用不能綁定到prvalue。

相反，您正在main是使用一個lvalue ， a調用f ，引用可以很好地綁定到該值 。

要從std::is_invocable獲得正確的結果，請通過添加括號使用decltype的表達式形式：

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