Warum ändert die Dereferenzierung eines Zeigers in Go nicht den ursprünglichen Wert?

Zeiger-Dereferenzierung in Go: Was passiert?

Wenn Sie in die Welt der Programmierung in Go eintauchen, stoßen Sie möglicherweise auf ein interessantes Verhalten im Zusammenhang mit der Zeiger-Dereferenzierung, insbesondere wenn Arbeiten mit Strukturen. Betrachten Sie das folgende Beispiel:

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)
}

Das Ausführen dieses Codes führt zu überraschenden Ergebnissen:

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

Sie könnten erwarten, dass sich t nach der Änderung von q.X in {4, 2} ändert, dies ist jedoch nicht der Fall passieren. Was ist der Grund für dieses Verhalten?

Zeiger-Dereferenzierung erklärt

Der Schlüssel zum Verständnis ist die Zeiger-Dereferenzierung. Wenn Sie in Go einen Zeiger (z. B. *q) dereferenzieren, erstellen Sie eine Kopie des Werts, auf den er zeigt. Also erstellt t := *q eine separate Kopie der durch q referenzierten Vertex-Struktur.

Änderung von Beispiel 28 klargestellt:

In Ihrem modifizierten Beispiel, wenn Sie festlegen q.X = 4, Sie ändern nur die Struktur, auf die q zeigt. Da es sich bei t um eine Kopie handelt, behält es seine ursprünglichen Werte bei.

Vergleich von Go und C/C

Sie haben erwähnt, dass das Verhalten aus C/C-Perspektive seltsam erscheint. C/C verhalten sich jedoch ähnlich. Betrachten Sie dieses Beispiel:

#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";
}

Dieser C-Code erzeugt das gleiche Verhalten:

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

Schlussfolgerung

Zusammenfassend lässt sich sagen, dass Sie, wenn Sie einen Zeiger in Go dereferenzieren, Erstellen Sie erneut eine Kopie des zugrunde liegenden Werts. Um durch einen Zeiger vorgenommene Änderungen zu beobachten, müssen Sie einen Zeiger selbst verwenden, wie im modifizierten Beispiel:

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

Dies erzeugt die erwartete Ausgabe von {1 2} &{4 2} {1 0} {0 0} {4 2} {4 2} wahr.

Das obige ist der detaillierte Inhalt vonWarum ändert die Dereferenzierung eines Zeigers in Go nicht den ursprünglichen Wert?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!