将整数传递给请求引用的函数

Passing an integer to a function asking for reference

本文关键字:引用 函数 请求 整数      更新时间:2023-10-16

为什么这个代码格式良好?我没有传递对函数的引用:

void function(const int& ref) {
}
int main()
{
    function(1);
}
常量左值引用可以绑定到右值。Rvalues,就像你的字面1一样,没有持久的别名,所以如果你要修改它,你将无法观察到效果,但如果你承诺不修改它(即通过常量引用访问它),你仍然可以拥有完全合理的代码,这就是为什么允许这种绑定的原因。

(您也可以将右值绑定到(可变)右值引用:void function(int &&)。在这种情况下,右值引用将成为值的(唯一)别名。)

还要注意,如果没有这个规则,就不可能从返回prvalue的函数中初始化变量,也不可能使用复制初始化:

struct T { T(int); };
T f();
T x = 1;     // ===  "T x = T(1);", copy constructor wants to bind to prvalue
T x = f();   // ditto
T x((f()));  // ditto

编译器可以从常量创建临时,并且允许临时绑定到常量引用。如果引用不是const,这是不允许的。