数组[]操作符返回引用，那么如何更改它的值？

Question

正如我在这里所读到的：http://www.cplusplus.com/reference/stl/array/operator[]/

说a[2]似乎会返回a的第二个元素的内存地址(引用)。

所以你怎么样？

a[2]=5

有效的赋值，因为这意味着我将a[2]的内存地址更改为位置5(这可能是可能的，但通常您希望更改值，而不是地址)。除非=操作符知道如何处理这种情况。

我知道它不会改变内存地址，那么这里到底发生了什么呢？

Answer 1

引用和指针之间的区别是引用是自动取消引用的。因此，您不需要像*(a[2]) = 5这样的东西。

下面的代码显示了这一点：

int baseVar = 42;            // This
int &sameVar = baseVar;      //   and this are the same memory
                             //   with two different names.
int *pBaseVar = &baseVar;    // This is separate memory that happens
                             //   to point to the baseVar memory.

改变sameVar或*pBaseVar都会改变baseVar本身。更改pBasevar本身不会影响basevar，它只会导致前者指向不同的位置。

在幕后(当然，这是与实现相关的)，basevar可能(被编译器/代码)认为是特定地址上的int (例如0x12345678)，sameVar也被认为是。

pBaseVar被认为是(例如) 0x11112222的指针，它恰好包含值0x12345678

                      +------------+
pBaseVar (0x11112222) | 0x12345678 |--+
                      +------------+  |
   +----------------------------------+
   |
   V                  +----+
baseVar (0x12345678)  | 42 |
sameVar (same)        |    |
                      +----+

Answer 2

引用不是内存地址。将其视为同一对象的不同名称：

int i = 42;
int& j = i; // j is another name for i

j = 55;

std::cout << i << "\n"; // i now has value 55

因此，a[2]可以被看作是存储在数组中某个位置的任何对象的不同名称。因此，转让人的工作方式与上面的示例一样。