Kann Go Generics Indizierungsbeschränkungen über „[]Byte' und „String' hinaus effektiv durchsetzen?

Einschränken von Typen auf indizierbare Typen in Go-Generika

In Go 1.18 hat die Einführung von Generika neue Möglichkeiten für die Typensicherheit eröffnet. Ein häufig anzutreffendes Szenario ist die Notwendigkeit, die zulässigen Typen auf diejenigen zu beschränken, die die Indizierung unterstützen, wie Arrays, Slices, Maps und Strings.

Ist die Indexierbarkeit eine Einschränkung?

Während die Indizierung für viele Typen eine wünschenswerte Funktion ist, ist sie selbst keine Einschränkung, die direkt angegeben werden kann. Einschränkungen in Go-Generika werden mithilfe von Typsätzen angegeben, die die zulässigen Typen definieren.

Sinnvolle Indexierungseinschränkung

Die einzige sinnvolle Indexierungseinschränkung, die einen Union-Typsatz verwendet, ist Indexierbar. wodurch die zulässigen Typen entweder auf []byte oder string beschränkt werden. Diese Einschränkung ermöglicht die Definition generischer Funktionen, die beide Typen akzeptieren und Indizierungsvorgänge ausführen.

Einschränkungen von Indizierungseinschränkungen

Andere potenziell indizierbare Typen, wie Arrays und Karten, können nicht sinnvoll in einem Union-Typ-Set kombiniert werden. Die für gewerkschaftliche Typen zulässigen Operationen sind nur diejenigen, die von allen Mitgliedstypen unterstützt werden, und die Einschränkungen erfordern gleiche Schlüssel- und Elementtypen für die Indizierung.

Praktische Implementierung

Als Ergebnis , ist die einzige praktische Indizierungsbeschränkung Indexable für []byte und string. Dies ermöglicht generische Funktionen, die mit beiden Typen arbeiten, wie beispielsweise die in der Antwort bereitgestellte GetAt-Funktion, die das Byte an einem angegebenen Index zurückgibt.

Zusätzliche Hinweise

Es ist wichtig zu beachten, dass die Indexable-Einschränkung keine Bereichsoperationen unterstützt, da ihr ein Kerntyp fehlt. Die Typen []byte und string verfügen jedoch beide über Bereichsfähigkeit und können dort verwendet werden, wo Bereichsoperationen erforderlich sind.

Das obige ist der detaillierte Inhalt vonKann Go Generics Indizierungsbeschränkungen über „[]Byte' und „String' hinaus effektiv durchsetzen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!