c++ - 将函数引用作为通用引用传递

Question

我很难理解将函数引用作为通用引用传递给函数时到底发生了什么(正在推导什么类型)。假设我们有一个函数 foo，它接受一个参数作为通用引用:

template<typename T>
void foo(T&& param)
{
    std::cout << __PRETTY_FUNCTION__ << std::endl;
}

然后让我们执行以下操作:

void(&f)(int) = someFunction;
foo(f);

结果将是:

void foo(T&&) [with T = void (&)int]

这是完全可以理解的:我们将左值传递给我们的函数 foo，因此推导的类型是 void(&)int，并且参数的类型将是“void(&& &)int”，在引用折叠规则下它变成无效(&)整数。 Param 将只是函数的左值引用。

但是当我执行以下操作时:

void(&f)(int) = someFunction;
foo(std::move(f));

foo 将打印:

void foo(T&&) [with T = void (&)int]

和之前一模一样!这里发生了什么？为什么结果与传递左值时的结果相同？我希望因为我们将右值传递给 foo，推导的类型应该是 T = void(int)，并且 param 应该变成 void(&&)int。这总是发生在所有其他“正常”类型(如类、原始类型等)上。为什么在处理函数引用时会有所不同？

Answer 1

A std::move是一个荣耀static_cast右值引用类型。该标准表示转换为函数类型的右值引用仍然会产生左值。根据 [expr.static.cast]/p1:

The result of the expression static_cast<T>(v) is the result of converting the expression v to type T. If T is an lvalue reference type or an rvalue reference to function type, the result is an lvalue;

关于 std::move() 的值类别函数调用，它返回指定转换结果的右值引用，我们还可以从 [expr.call]/p10 中看出，如果函数调用的返回类型是对函数类型的右值引用，则该函数调用是左值:

A function call is an lvalue if the result type is an lvalue reference type or an rvalue reference to function type, an xvalue if the result type is an rvalue reference to object type, and a prvalue otherwise.