Wie geht der ~-Token in Go Generics mit zugrunde liegenden Typen um?

Verstehen des Tilde (~)-Tokens in Go Generics

Go hat das neue Token ~ eingeführt, das die Menge der Typen mit dem zugrunde liegenden Typ darstellt T.

Definition

Der ~T-Token bezeichnet ein Einschränkungselement, das den Satz von Typen angibt, deren zugrunde liegender Typ T ist.

Beispiel

Betrachten Sie das folgende Beispiel:

type Ordered interface {
    Integer | Float | ~string
}

In In diesem Beispiel bedeutet das ~string-Einschränkungselement, dass ein Typ einen zugrunde liegenden String-Typ haben muss, um die Ordered zu erfüllen Schnittstelle.

Zugrunde liegende Typen

Die Definition der zugrunde liegenden Typen ist entscheidend für das Verständnis des Verhaltens von ~T-Einschränkungselementen. Die Sprachspezifikation definiert zugrunde liegende Typen wie folgt:

• Für vordeklarierte numerische, boolesche oder Zeichenfolgentypen oder Typliterale ist ihr zugrunde liegender Typ sie selbst.
• Für andere Typen ihr zugrunde liegender Typ Typ ist der zugrunde liegende Typ des Typs, auf den sie in ihrer Typdeklaration verweisen.

Praktisch Implikationen

Die praktische Implikation des ~T-Tokens besteht darin, dass es die Verwendung Ihrer benutzerdefinierten Typen in Schnittstellen und Einschränkungen ermöglicht, selbst wenn diese Schnittstellen und Einschränkungen genaue Typen angeben. Betrachten Sie beispielsweise den folgenden Code:

type MyInt8 int8

// Cannot instantiate with MyInt8
func echoExact[T constraints.ExactSigned](t T) T { return t }

// Can instantiate with MyInt8
func echo[T constraints.Signed](t T) T { return t }

In diesem Beispiel lässt der Typ „constraints.ExactSigned“ keine benutzerdefinierten Typen zu, während der Typ „constraints.Signed“ dies aufgrund der Verwendung des Einschränkungselements ~T zulässt.

Fazit

Das ~T-Token bietet eine flexible Möglichkeit, Typeinschränkungen in Go-Generika anzugeben. Es ermöglicht die Verwendung benutzerdefinierter Typen, deren zugrunde liegende Typen der angegebenen Einschränkung entsprechen, wodurch die Ausdruckskraft und Benutzerfreundlichkeit von generischem Code verbessert wird.

Das obige ist der detaillierte Inhalt vonWie geht der ~-Token in Go Generics mit zugrunde liegenden Typen um?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!