Wie funktioniert das Tilde-Token (~) in Go Generics, um zugrunde liegende Typen zu definieren?

Den Tilde-Token (~) in Go-Generika verstehen

In Go-Generika spielt der Tilde-Token (~) eine entscheidende Rolle bei der Definition der zugrunde liegende Typ eines bestimmten Typs. Es arbeitet in der Form ~T und gibt die Sammlung von Typen an, die T als zugrunde liegenden Typ gemeinsam haben.

Dieses Konzept ist besonders nützlich in Fällen, in denen Sie eine Einschränkung angeben möchten, die Typen zulässt, die von a abgeleitet sind spezifischer zugrunde liegender Typ. Betrachten Sie beispielsweise die folgende Schnittstelleneinschränkung:

type Ordered interface {
    Integer | Float | ~string
}

In diesem Beispiel definiert die Einschränkung eine Schnittstelle, die jeden Typ akzeptieren kann, der entweder eine Ganzzahl, ein Float oder ein Typ ist, dessen zugrunde liegender Typ ein String ist . Das bedeutet, dass Typen wie MyString, der einen benutzerdefinierten String-Typ definiert, diese Einschränkung ebenfalls erfüllen können, solange ihr zugrunde liegender Typ ein String bleibt.

Zugrunde liegende Typen in Go

Der Begriff „zugrundeliegender Typ“ bezieht sich auf den grundlegenden Typ, der einem bestimmten Typ zugrunde liegt. In Go wird dies anhand der Typdeklaration ermittelt. Bei Basistypen wie int, string und bool ist der zugrunde liegende Typ der Typ selbst. Bei zusammengesetzten Typen wie Strukturen, Slices und Schnittstellen ist der zugrunde liegende Typ jedoch der Typ, auf den in der Typdeklaration verwiesen wird.

Beispielverwendung des Tilde-Tokens

Der folgende Code demonstriert die Verwendung des Tilde-Tokens:

type Foo struct {
    n int
}

type ByteSlice []byte

type MyInt8 int8

type MyString string

func echoExact[T ExactSigned](t T) T {
    // Only allows exact types, excluding MyInt8
}

func echo[T constraints.Signed](t T) T {
    // Allows types with underlying type int8, including MyInt8
}

In diesem Beispiel verwendet ExactSigned nur Exact Typen, die MyInt8 ausschließen. Andererseits erlaubt Constraints.Signed MyInt8, da es Näherungselemente wie ~int8 enthält.

Hinweis: Einschränkungen des Tilde-Tokens

Es ist wichtig zu beachten, dass die Tilde-Token kann nicht mit Typparametern verwendet werden. Beispielsweise ist der folgende Code ungültig:

type AnyApprox[T any] interface {
    ~T
}

Das obige ist der detaillierte Inhalt vonWie funktioniert das Tilde-Token (~) in Go Generics, um zugrunde liegende Typen zu definieren?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!