Wie kann die Typzusicherung in Go mit unbekannten Schnittstellen durchgeführt werden?

Typzusicherung in Go für unbekannte Schnittstellen

Der Prozess des Abrufens des Werts eines Objekts durch Reflektion und Durchführen einer Typzusicherung, um das tatsächlich verwendete Objekt zu erhalten Methoden wie:

obj := new(User)
out := reflect.ValueOf(obj).Elem().Interface().(User)
fmt.Println(out == *obj) // true

ist bekannt. Allerdings ergeben sich Herausforderungen, wenn der Typ des Objekts nicht im Voraus bekannt ist. Stellen Sie sich eine Funktion vor, die eine unbekannte Schnittstelle akzeptiert:

func Foo(obj interface{}) bool {
    // out := reflect.ValueOf(obj).Elem().Interface().( ... )
    return out == *obj
}

func main() {
    obj := new(User)
    fmt.Println(Foo(obj))
}

In der Foo-Funktion ist es nicht möglich, den Typ des übergebenen Objekts zu bestimmen. Dies wirft die Frage auf: Wie kann die Typzusicherung in solchen Szenarien durchgeführt werden?

Die Antwort liegt in der Natur der Typzusicherungen. Typzusicherungen ermöglichen die Nutzung der statischen Typprüfung in Go, selbst wenn mit Schnittstellen gearbeitet wird, deren Typ nicht statisch überprüft werden kann. Diese Funktionalität funktioniert nach dem folgenden Prinzip:

Bei einer statisch typisierten Variablen s vom Typ t stellt der Compiler sicher, dass s immer vom Typ t bleibt. Es verweigert die Kompilierung, wenn s als anderer Typ verwendet wird, da dies die etablierte Garantie verletzen würde.

Stellen Sie sich nun eine Schnittstellenvariable i vor. Da sein Typ zur Kompilierzeit nicht bekannt ist, kann der Compiler nicht garantieren, dass die Zuweisung von i zu s die Garantie, dass s vom Typ t ist, nicht bricht. Typzusicherungen lösen dieses Problem, indem sie sagen: „Wir überprüfen zur Laufzeit, ob die Typen übereinstimmen, und führen die Zuweisung nur dann aus, wenn dies der Fall ist.“ Der Compiler befürwortet diesen Ansatz, da er darauf vertraut, dass die Zuweisung nur dann erfolgt, wenn die Typen kompatibel sind, wodurch die Garantie gewahrt bleibt, dass s vom Typ t ist.

Im Wesentlichen bedeutet dies, dass zur Laufzeit Folgendes geschieht:

if (i has type t) {
    s = i
} else {
    s = t{} // Zero value of t
}

Die Unmöglichkeit der angeforderten Funktionalität ergibt sich aus der Notwendigkeit, dass der Compiler den Typ kennt, anhand dessen die Prüfung durchgeführt werden soll. Ohne dieses Wissen kann der statische Typ von s nicht bestimmt werden, was den Verifizierungsprozess undurchführbar macht.

Das obige ist der detaillierte Inhalt vonWie kann die Typzusicherung in Go mit unbekannten Schnittstellen durchgeführt werden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!