為什麼在 Go 中取消引用指標不會修改原始值？

Go 中的指標解引用：發生了什麼事？

深入研究 Go 中的程式設計世界時，您可能會遇到與指標解引用相關的有趣行為，尤其是在以下情況下使用結構。考慮以下範例：

package main

import "fmt"

type Vertex struct {
    X, Y int
}

var (
    p = Vertex{1, 2}  // has type Vertex
    q = &Vertex{1, 2} // has type *Vertex
    r = Vertex{X: 1}  // Y:0 is implicit
    s = Vertex{}      // X:0 and Y:0
)

func main() {
    t := *q
    q.X = 4
    u := *q
    fmt.Println(p, q, r, s, t, u, t == u)
}

執行此程式碼會產生令人驚訝的結果：

{1 2} &{4 2} {1 0} {0 0} {1 2} {4 2} false

您可能會期望t 在更改q.X 後更改為{4, 2}，但這並不發生。這種行為的原因是什麼？

指標解引用解釋

理解這一點的關鍵是指標解引用。在 Go 中，當您取消引用指標（例如 *q）時，您會建立它指向的值的副本。因此， t := *q 製作 q 引用的 Vertex 結構的單獨副本。

範例 28 的修改說明：

在修改後的範例中，當您設定q.X = 4，您只修改 q 指向的結構。由於 t 是一個副本，因此它保留了其原始值。

比較 Go 和 C/C

您提到了從 C/C 角度來看似乎很奇怪的行為。然而，C/C 的行為類似。考慮這個例子：

#include <iostream>

struct Vertex
{
    int x;
    int y;
};

int main()
{
    Vertex v = Vertex{1, 2};
    Vertex* q = &v;
    Vertex t = *q;
    q->x = 4;
    std::cout << "*q: " << *q << "\n";
    std::cout << " t: " << t << "\n";
}

這個C 代碼產生相同的行為：

*q: { 4, 2 }
t: { 1, 2 }

結論

總之，當你在Go 中取消引用指針時，你'重新創造基礎價值的副本。要觀察透過指標所做的更改，您必須使用指標本身，如修改後的範例所示：

func main() {
    t := q
    q.X = 4
    u := *q
    fmt.Println(p, q, r, s, t, u, *t == u)
}

這將產生{1 2} &{4 2} {1 0} 的預期輸出{0 0} {4 2} {4 2} 正確。

以上是為什麼在 Go 中取消引用指標不會修改原始值？的詳細內容。更多資訊請關注PHP中文網其他相關文章！