Warum müssen Sie die Adresse des Zeigers anstelle des Zeigers selbst übergeben, wenn Sie die Viper Library in Go verwenden?

Detaillierte Erläuterung der Unmarshalkey -Funktion der GO -Sprachviper -Bibliothek und der Übertragung von Zeigeradressen

In diesem Artikel wird erläutert, warum die Funktion der UnmarshalKey die Adresse des Zeigers anstelle des Zeigers selbst übergeben muss, wenn die Viper -Bibliothek in Go verwendet wird. Wir werden dieses Problem in Kombination mit Codebeispielen und dem Quellcode für Viper Library analysieren.

Die Grundursache des Problems liegt im Reflexionsmechanismus innerhalb der UnmarshalKey -Funktion. Diese Funktion erfordert einen adressierbaren Zeiger, um die Daten aus der Konfigurationsdatei in die Zielstruktur zu gruppieren. Obwohl der Zeiger ein Zeigertyp ist, handelt es sich nicht um eine adressierbare Speicheradresse und kann nicht geändert werden.

Codebeispiele und Problemanalyse:

Die im Artikel angegebenen Codebeispiele zeigen dieses Problem eindeutig. Obwohl global.serversetting vom Typ *setting.serversettings (Zeiger) ist, zeigt es auf eine zugewiesene Speicheradresse. Was für die Funktion UnmarshalKey erfordert die Adresse dieses Zeigers, um den Wert im Speicherbereich zu ändern, auf den er verweist. global.serversetting Direkt ist gleichbedeutend mit der Übergabe des Werts des Zeigers (d. H. Die Speicheradresse) und nicht der Adresse selbst. Dadurch kann UnmarshalKey den Inhalt der Struktur nicht ändern, auf die durch serversetting hingewiesen wird.

Viper Library Quellcode Analyse:

Das newdecoder -Funktionsfragment der Viper -Bibliothek:

 func NewDecoder (config *decoderConfig) ( *Decoder, Fehler) {
    val: = reflect.Valueof (config.Result)
    Wenn Val.kind ()! = reflektiert.ptr {
        NIL zurückgeben, Fehler.NEW ("Ergebnis muss ein Zeiger sein")
    }

    val = val.elem ()
    If! Val.Canaddr () {
        Rückgabe nil, fehler.New ("Ergebnis muss adressierbar sein (ein Zeiger)"))
    }
    // ...
}

Dieser Code erklärt, warum adressierbare Zeiger benötigt werden:

1. val.Kind() != reflect.Ptr : Überprüfen Sie, ob der übergebene Parameter ein Zeigertyp ist.
2. val = val.Elem() : Erhält den Wert, auf den der Zeiger hingewiesen wird.
3. !val.CanAddr() : Dies ist der Schlüsselpunkt. CanAddr() prüft, ob der Wert adressierbar ist. Wenn Sie den Zeiger direkt übergeben, erhält val.Elem() die Struktur selbst und die Struktur selbst ist nicht adressierbar, da es sich nicht um einen Zeiger handelt. Nur die Adresse des Zeigers ist adressierbar, da die Adresse selbst einen Speicherort darstellt und geändert werden kann.

Überprüfungscode und Ergebnisse:

Der im Artikel angegebene Überprüfungscode:

 Paket Main

importieren (
    "fmt"
    "reflektieren"
)

var a *db

Geben Sie DB struct {ein
}

func main () {
    val: = reflektiert.Valueof (a)
    val = val.elem ()
    fmt.println (val.canaddr ()) // false

    val = reflektiert.Valueof (& a)
    val = val.elem ()
    fmt.println (val.canaddr ()) // true
}

Dieser Code überprüft reflect.ValueOf(&a) dass die Ergebnisse CanAddr() -Methode von reflect.ValueOf(a) . Nur die Adresse des Zeigers kann angesprochen werden.

abschließend:

Um die Funktion der UnmarshalKey der Viper -Bibliothek korrekt zu verwenden, muss die Adresse des Zeigers auf die Zielstruktur ( &global.serversetting ) und nicht der Zeiger selbst übergeben werden ( global.serversetting ). Dadurch wird sichergestellt, dass die Viper -Bibliothek die Konfigurationsdateidaten in die Zielstruktur korrekt aufnehmen kann. Dies ist kein Problem für die Viper -Bibliothek, sondern ein Spiegelbild des GO -Sprachreflexionsmechanismus und der Zeigersemantik. Das Verständnis des Sprachzeigers und des Reflexionsmechanismus ist entscheidend für die Lösung solcher Probleme.

Das obige ist der detaillierte Inhalt vonWarum müssen Sie die Adresse des Zeigers anstelle des Zeigers selbst übergeben, wenn Sie die Viper Library in Go verwenden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!