将引用传递给函数作为通用引用

Passing a reference-to-function as a universal reference

本文关键字：引用 函数      更新时间：2023-10-16

我很难理解将函数的引用作为通用引用传递给函数时到底会发生什么（推导出的是什么类型）。假设我们有一个函数foo，它将一个param作为通用引用：

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（&aamp；&int）"，在引用折叠规则下，该类型将变为void（amp；）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。所有其他"正常"类型（如类、基元类型等）都会发生这种情况。为什么在处理函数引用时会有所不同？

std::move是对右值引用类型的美化static_cast。该标准规定，转换为对函数类型的右值引用仍然会产生一个左值。Per[expr.static.cast]/p1:

表达式static_cast<T>(v)的结果是将表达式v转换为类型T的结果如果T是左值引用类型或函数类型的右值引用，则结果为左值

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

如果结果类型为左值引用类型或对函数类型的右值引用，则函数调用为左值，如果结果类型是对对象类型的右价引用，则为xvalue，否则为prvalue。

函数的Rvalue引用总是被认为是左值引用，无论是否命名；因此，通用引用将函数的右值引用推导为函数的左值引用。

右值与左值的区别对函数来说毫无意义，因为函数没有生命周期。

相关文章：