c++ - 为什么 is_invocable 与引用参数的工作方式不同？

Question

它似乎只对这一种情况有所不同。这是怎么回事？

#include <type_traits>

void foo_value(int i){}
void foo_ref(int& i){}
void foo_cref(const int& i){}

int main()
{
    static_assert(std::is_invocable<decltype(foo_value), int>::value);
    static_assert(!std::is_invocable<decltype(foo_ref), int>::value); // what's wrong with this?
    static_assert(std::is_invocable<decltype(foo_cref), int>::value);
    static_assert(std::is_invocable<decltype(foo_value), int&>::value);
    static_assert(std::is_invocable<decltype(foo_ref), int&>::value);
    static_assert(std::is_invocable<decltype(foo_cref), int&>::value);
}

Answer 1

它说它不能那样调用...因为它确实是不可调用的。

尝试用一个 int prvalue 调用 foo_ref:

foo_ref(int{}); // does not compile

您会看到此代码无法编译，因为纯右值无法绑定(bind)到非 const 左值引用。