为什么可以为引用分配新值，以及如何使引用引用其他内容？

Question

我有几个与 C++ 中引用的使用相关的问题。

1. 在下面所示的代码中，它是如何工作的并且在 q = "world"; 行没有给出错误？

   #include ;
   
   使用命名空间 std；
   
   int main()
   {
     char *p = "你好";
     char* &q = p;
     cout <
   

   1. 如何将引用 q 重新初始化为其他内容？

   2. 字符串文字 p = "Hello" 不是常量还是在只读空间中？所以如果我们这样做，

      q = "世界";
      

      p处应该是常量的字符串不会被改变吗？

2. 我读过有关 C++ 引用类型变量的内容，因为它们无法重新初始化或重新分配，因为它们在“内部”存储为常量指针。所以编译器会给出错误。

   但是实际上如何重新分配引用变量呢？

   int i;
   
   int & j = i;
   
   整数 k；
   
   j=k； //这应该没问题，但是我们如何重新分配给其他东西以使编译器标记错误？
   

   我正在尝试获取此引用，并且可能错过了一些相关的关键内容，因此这些问题。

因此，任何能够解决这个问题的指示都会很有用。

Answer 1

1. • a) 不能，您引用的行不会更改引用 q，而是更改 p。
   • b) 不，文字是常量，但 p 是指向文字的指针。
     指针可以改变，但所指向的内容不能改变。
     q = "world"; 使指针 p 指向其他内容。

2. 你似乎认为这段代码

   int i;
   int & j = i;
   整数 k；
   j=k；
   

   正在重新分配引用，但事实并非如此。
   它将k的值分配给i，j仍然引用i。
   我猜这是您的主要误解。

Answer 2

我认为您缺少的关于引用的一个重要细节是，一旦引用绑定到对象，您就永远无法重新分配它。从那时起，任何时候使用引用，都与使用它所引用的对象没有区别。例如，在您的第一段代码中，当您编写

q = "World";

由于 q 是绑定到 p 的引用时，这相当于编写

p = "World";

Which justchanges where p 指向的是，而不是它所指向的字符串的内容。 （这也解释了为什么它不会崩溃！）

至于你的第二个问题，一旦绑定到对象，引用就不能重新分配。如果您需要一个可以更改其所指对象的引用，则应该使用指针。

希望这有帮助！

Answer 3

需要注意的是，从 C++20 开始，可以使用 placement new 来更改类内引用变量所持有的引用 code>，如下例取自这篇文章：

struct C {
  int& i; // <= a reference field
  void foo(const C& other) {
    if ( this != &other ) {
      this->~C();
      new (this) C(other); // valid since C++20 even on a class 
                           // with a reference field
    }
  }
};

int main() {
    int a = 3, b = 5;
    C c1 {.i = a};
    C c2 {.i = b};
    c1.foo(c2); // the inner reference field i inside c1
                // was referring to a and now refers to b!
}

代码：http://coliru.stacked-crooked.com/a/4674071ea82ba31b

Answer 4

a) 引用 q 如何重新初始化为其他内容？

不可能！

引用变量仍然是创建时初始化的别名。

---

b) 字符串文字 p = "Hello" 不是一个常量/只读空间吗？所以如果我们这样做，
不，不是。

char* &q = p;

这里 q 是对 char p 类型指针的引用。这里的字符串是常量，而指针不是，它可以指向另一个字符串，并且引用是该指针的别名而不是字符串文字，因此它是有效的。

---

c) 我的第二个问题是我读过有关 C++ 引用类型变量的内容，因为它们不能重新初始化/重新分配，因为它们在“内部”存储为常量指针。因此编译器会给出错误。

int i;

int &j = i;

int k;

j = k; //This should be fine, but how we reassign to something else to make compiler flag an error

不重新分配引用。它改变了它作为别名的变量的值。

在本例中，它将 i 的值更改为 k

Answer 5

将引用视为别名，我希望引用的世界会更容易理解。

int p; // Declares p as an integer; Defines p & allocates space
int &q = p ; // Declares a Reference. Though they are symbolically 2 variables,
             // they essentially refer to same name and same memory location.

因此，p = 5 和 q = 5 将完全相同。

在你的例子中，

char *p = "Hello"; // Declares your pointer to "Hello". p has its own existence.
char* &q = p;  // This now creates a reference (alias) to p with name q.

总而言之，p & q 是实体/对象（内存）的名称。

所以，如果你给 q 分配一些东西，它也会反映在 p 中。因为它与 p 的分配相同。
所以 q =“World”，意味着 p 现在也指向“World”。即 p & 的内存位置q 都指 - 保存“World”第一个字符的地址。

我希望如果您理解引用作为别名的概念，就不需要回答第二个问题。