对非常量对象的 const 引用

Question

下面，在将 const 引用用于非 const 对象之前，是否会创建一个临时对象？

const int y = 2000;
const int &s = y // ok, const reference to const object.

int x = 1000;
const int &r = x; // any temporary copy here?

如果没有，那么这是如何运作的？

   const int z = 3000;
   int &t = z // ok, why can't you do this?

Answer 1

不。

引用只是现有对象的别名。 const 由编译器强制执行；它只是检查您是否尝试通过引用 r 修改对象。^* 这不需要创建副本。

鉴于 const 只是编译器强制执行“只读”的指令，那么最终示例无法编译的原因应该立即显而易见。如果您可以通过对 const 对象使用非 const 引用来轻松规避它，那么 const 将毫无意义。

_{* 当然，您仍然可以通过x自由修改对象。任何更改也可以通过 r 看到，因为它们引用同一个对象。}

Answer 2

右侧

int x = 1000;
const int &r = x;

是一个左值，x 的类型与引用的类型相同（忽略 cv 限定）。在这些情况下，引用直接附加到x，不会创建临时文件。

至于“这是如何工作的”......我不明白是什么引起了你的问题。它以最直接的方式工作：引用直接附加到x。仅此而已。

你不能这样做，

const int z = 3000;
int &t = z;

因为它立即违反了常量正确性的规则。

Answer 3

对引用（&）的理解回答了这个问题。

引用只是分配给它的变量的别名。const 是

编译器对声明为 const 的变量施加的约束

int x = 1000;
const int &r = x;

在这种情况下，它是对非常量变量的常量引用。因此，您不能使用引用变量 r 更改 x 的数据（仅充当只读）。但是您仍然可以通过修改 x 来更改数据 x

const int z = 3000;
int &t = z

在这种情况下，对 const 成员的非 const 引用是没有意义的。您是说引用可以允许您编辑 const 成员（这是不可能的）..

因此，如果您想为 const 成员创建引用，它必须像您提到的第一种情况一样

const int z = 3000;
const int &t = z;