Wie wirkt sich Gos neues Tilde-Token (~) auf Typbeschränkungen in Generics aus?

In Go, Verständnis des neuen Tilde-Tokens ~

Go hat einen neuen Token eingeführt, den Tilde ~, der in diesem Kontext eine Bedeutung hat von Generika. Es symbolisiert die Menge aller Typen mit einem zugrunde liegenden Typ T.

Im bereitgestellten Beispiel:

type Ordered interface {
      Integer | Float | ~string
}

Der ~string bezeichnet eine Menge von Typen, deren zugrunde liegender Typ string ist. Dazu könnten benutzerdefinierte Typen wie MyString gehören, die den String-Typ umschließen und zusätzliche Funktionalität bereitstellen.

Zugrunde liegende Typen

Das Tilde-Token hängt vom Konzept der zugrunde liegenden Typen ab. Die Go-Sprachspezifikation definiert explizit den zugrunde liegenden Typ jedes Typs. Dieses Konzept ist von entscheidender Bedeutung für das Verständnis der Nützlichkeit von ~.

Bedenken Sie Folgendes:

type Foo struct {
    n int
}

type MyInt8 int8

Hier definiert Foo eine Struktur mit einem zugrunde liegenden Typ von struct { n int }, während MyInt8 dies ist ein Alias ​​für int8, der ihm einen zugrunde liegenden Typ von int8 verleiht.

Praktisch Anwendungen

Die praktische Bedeutung des ~-Tokens zeigt sich in Schnittstellenbeschränkungen. Eine Schnittstellenbeschränkung mit nur exakten Elementen (ohne Näherungselemente) würde keine benutzerdefinierten Typen wie MyInt8 zulassen.

Zum Beispiel, wenn wir eine Schnittstelle definieren:

type ExactSigned interface {
    int | int8 | int16 | int32 | int64
}

Und eine Funktion :

func echoExact[T ExactSigned](t T) T { return t }

Wir können echoExact nicht mit MyInt8 instanziieren. Mithilfe von Einschränkungselementen können wir die Einschränkung jedoch ändern, um Näherungselemente wie ~int8 zuzulassen.

Zusätzliche Funktionen

Zusätzlich zur Verwendung von Näherungselementen in Vereinigungen Go erlaubt sie auch in anonymen Einschränkungen mit oder ohne syntaktischen Zucker. Beispielsweise ist die folgende Einschränkung gültig:

type Signed interface {
    ~int8 | ~int32 | ~int64
}

Ein häufiger Anwendungsfall für Näherungselemente sind zusammengesetzte Typen wie Slices und Strukturen, die Methoden erfordern. In solchen Fällen ist die Bindung des Bezeichners erforderlich, um Methoden zu deklarieren, und das Näherungselement ermöglicht die Instanziierung mit benutzerdefinierten Typen.

Das obige ist der detaillierte Inhalt vonWie wirkt sich Gos neues Tilde-Token (~) auf Typbeschränkungen in Generics aus?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!