常量左值引用可以绑定到右值。Rvalues,就像你的字面
为什么这个代码格式良好?我没有传递对函数的引用:
void function(const int& ref) {
}
int main()
{
function(1);
}
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,这是不允许的。