将指针设置为 nil 时，结构指针字段不会改变

Question

我有这段代码：type X struct {    y *X}func main() {    x1 := &X{y: nil}    x2 := &X{y: x1}    fmt.Println(x1 == x2.y)    // true    x1 = nil    fmt.Println(x1 == nil)    fmt.Println(x2.y == nil)    // true    // false}如您所见，x.y是一个*X.为什么设置x1为nil. 的价值x2.y不会变成nil？对不起，如果我的问题很愚蠢。这是Go playground 中代码的链接。

Answer 1

x1是一个指向{y:nil}类型的指针X。 x2.y也是指向同一个}的指针{y:nil。所以当你设置x1=nil,x1变成一个 nil 的指针，并且x2.y仍然指向同一个{y:nil}对象。

Answer 2

不，x2.y仍将指向您分配给的对象x1。这就是您的代码基本上在做什么：

Objects in memory

| memory address | value             | 

| 0xDEADBEEF     | X{y: nil }        |

| 0x1BADB002     | X{y: 0xDEADBEEF } |

|----------------|-------------------|

In your code:

| variable     | value      |

| x1           | 0xDEADBEEF |

| x2           | 0x1BADB002 |

所以现在通过做x1 = nil，你所做的就是改变变量的值：

| variable     | value      |

| x1           | nil        |

| x2           | 0x1BADB002 |

x2仍然指向内存中的一个值，该值又指向内存中的另一个对象。go 运行时识别到这一点，看到存储的对象0xDEADBEEF仍在使用中，因此不会释放内存。

更直观的表示是这样的：

+-----------+(0xDEADBEEF)

| X{y: nil} |

+-----------+

  /\       /\

  ||-------||--> Both point to the same object

 +----+    ||

 | x1 |    ||

 +----+    ||

+----------||------+(0x1BADB002)

| X{y: 0xDEADBEEF} |

+------------------+

  /\

  || points to this object

 +----+

 | x2 |

 +----+

通过设置，您所做的只是切断变量和内存中实际对象x1 = nil之间的链接。和那个对象x1之间的联系仍然存在。x2.y