引用和常量引用作为函数参数的区别？答案

【问题标题】：Difference between reference and const reference as function parameter?引用和常量引用作为函数参数的区别？
【发布时间】：2009-11-12 04:08:25
【问题描述】：

这是一个简单的C++代码sn-p：

A foo(){
  A a; // create a local A object
  return a;
}

void bar(const A & a_r){

}

bar(foo());

为什么函数 bar 的参数必须是 const 引用，而不仅仅是引用？

Edit1：我知道引用是为了避免复制开销。和 const 是只读的。但是这里我必须让它成为一个const引用，否则如果我删除“const”，g++会向我抛出一个错误。

Edit2：我的猜测是 foo() 的返回对象是一个临时对象，不允许更改临时对象的值？

【问题讨论】：

【解决方案1】：

如果没有错误消息，我不确定编译器可能会抱怨什么，但我可以从逻辑上解释原因：

行内：

bar(foo());

foo()的返回值是一个临时的A；它是通过调用 foo() 创建的，然后在 bar() 返回时立即销毁。执行非常量操作（即更改临时 A 的操作）没有意义，因为对象 A 之后立即被破坏。

再看一点，这是这个问题的虚拟副本：

答案很好。

【讨论】：

【解决方案2】：

引用必须引用const 对象，因为无论如何您都无法使用对它的更改。对比以下代码sn-ps：

void bar(A&);   
A x = foo();
bar(x);
if (x.member) {...} else {...}

和

void bar(A const&);   
bar(foo());
if (//x? we don't have any x! We can't branch here!

虽然在第一个示例中，修改对象的能力可能会显着改变后续代码的执行，但在第二个示例中，我们只是没有方法（我们可以参考变量名）来做到这一点。因此，我们只能使用对 const 的引用，它希望对象不被修改。

【讨论】：

【解决方案3】：

为什么函数bar的参数必须是一个常量引用，而不仅仅是参考？

bar() 的参数不必是 const 引用。但是在将对象传递给函数参数时，当对象不会被函数修改时，这是最有效的方式。

【讨论】：

【解决方案4】：

编译器正在寻找bar(const foo&)，因为您将const reference to foo 传递到bar(foo()) 中的bar - 这是因为您正在传递对一个临时变量的引用，该变量在bar 返回后将不存在。

没有任何用例可以通过引用在bar 中修改foo，因为一旦从bar() 返回，它就不会存在。

因此编译器强制执行此操作以防止开发人员将引用传递给临时对象并更新将在方法返回后消失的临时对象的隐藏错误。

【讨论】：

【解决方案5】：

代码 bar(foo()) 将左值传递给 bar()。只有右值可以有一个指针或引用它。左值可以有一个 const 引用，因为 const 限制阻止了对不存在的左值的赋值操作。

【讨论】：