Wozu dient der Tilde-Token (~) in Go Generics?

Verstehen des Tilde-Tokens (~) in Go Generics

Gos Einführung des Tilde-Tokens (~) hat Generic eine neue Dimension verliehen Programmierung. Mit diesem Token können Entwickler Typen definieren, die einen gemeinsamen zugrunde liegenden Typ haben.

Was ist der Tilde-Token?

In Go bezeichnet der Tilde-Token (~) den Satz aller Typen mit einem zugrunde liegenden Typ T. ~T gibt beispielsweise alle Typen an, deren zugrunde liegender Typ T ist.

Warum ist das so? Nützlich?

Das Tilde-Token bietet eine flexible Möglichkeit, generische Schnittstellen zu definieren, die Typen mit einem bestimmten zugrunde liegenden Typ akzeptieren können. Eine geordnete Schnittstelle könnte beispielsweise wie folgt definiert werden:

type Ordered interface {
  Integer | Float | ~string
}

Diese Schnittstelle gibt an, dass ein Typ entweder eine Ganzzahl, ein Gleitkomma oder ein Typ sein muss, dessen zugrunde liegender Typ ein String ist. Dadurch können benutzerdefinierte Typen mit einem zugrunde liegenden Zeichenfolgentyp, z. B. MyString, diese Schnittstelle erfüllen.

Zugrunde liegende Typen

Das Konzept der zugrunde liegenden Typen ist entscheidend für das Verständnis der Tilde Token. Der zugrunde liegende Typ eines Typs T ist normalerweise T selbst, außer:

• Bei vordeklarierten numerischen, booleschen oder Zeichenfolgentypen ist der zugrunde liegende Typ der Typ selbst.
• Bei zusammengesetzten Typen (Strukturen, Slices usw.) ist der zugrunde liegende Typ der Typ, auf den der zusammengesetzte Typ in seinem Typ verweist Deklaration.

Praktische Beispiele

Mit dem Tilde-Token können Einschränkungen erstellt werden, um die Typen einzuschränken, die eine bestimmte Schnittstelle erfüllen können. Beispielsweise könnte eine Einschränkung namens ExactSigned so definiert werden, dass nur Typen zugelassen werden, die genau int, int8, int16, int32 oder int64 sind. Eine solche Einschränkung würde keine benutzerdefinierten Typen wie MyInt8 zulassen.

Andererseits verwendet eine Einschränkung namens „constraints.Signed“ das ~-Näherungselement, um Typen zuzulassen, deren zugrunde liegender Typ int8 ist. Dadurch können benutzerdefinierte Typen wie MyInt8 die Einschränkung erfüllen.

Syntaktischer Zucker

Das Tilde-Token kann in Gewerkschaften, anonymen Einschränkungen und sogar mit syntaktischem Zucker verwendet werden. Insbesondere können Sie Näherungselemente mit einem einzigen Typ verwenden, um das Schreiben von Einschränkungen zu vereinfachen.

Zum Beispiel sind die folgenden anonymen Einschränkungen äquivalent:

func echoFixedSize[T interface { ~int8 | ~int32 | ~int64 }](t T) { /* ... */ }

func echoFixedSizeSugar[T ~int8 | ~int32 | ~int64](t T) { /* ... */ }

func echoFixedSizeSugarOne[T ~int8](t T) { /* ... */ }

Häufige Anwendungsfälle

Approximationselemente sind besonders nützlich für die Arbeit mit zusammengesetzten Typen, die Methoden benötigen. Damit beispielsweise eine Methode für einen ByteSeq-Typ deklariert werden kann, muss der zugrunde liegende Typ an den Bezeichner gebunden sein:

type ByteSeq []byte

func (b ByteSeq) DoSomething() {}

Durch die Angabe von ~[]byte in einer Einschränkung wird es möglich, ByteSeq zu instanziieren als gültiger Typ.

Einschränkungen

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 vonWozu dient der Tilde-Token (~) in Go Generics?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!