Go ジェネリックの ~ トークンは基礎となる型をどのように処理しますか?

Go ジェネリックのチルダ (~) トークンを理解する

Go では、基礎となる型を持つ型のセットを表す新しいトークン ~ が導入されました。 T.

Definition

~T トークンは、基礎となる型が T である型のセットを指定する制約要素を示します。

例

次のことを考えてみましょう例:

type Ordered interface {
    Integer | Float | ~string
}

この例では、~string 制約要素は、型が Ordered インターフェイスを満たすために基になる文字列型を持つ必要があることを意味します。

基になる型

基になる型の定義は、~T 制約要素の動作を理解するために重要です。言語仕様では、基になる型を次のように定義します。

• 事前に宣言された数値型、ブール型、文字列型、あるいは型リテラルの場合、その基になる型はそれ自体です。
• その他の型の場合、その基になる型はそれ自体です。 type は、その型で参照される型の基礎となる型です。

実際的な意味

~T トークンの実際的な意味は、カスタム型をインターフェイスや制約で使用できるようにすることです。これらのインターフェイスと制約は正確な型を指定します。たとえば、次のコードを考えてみましょう。

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 }

この例では、constraints.ExactSigned 型ではカスタム タイプが許可されませんが、constraints.Signed 型では ~T 制約要素の使用によりカスタム タイプが許可されます。

結論

~T トークンは型を指定する柔軟な方法を提供しますGo ジェネリックの制約。これにより、指定された制約に一致する基礎となる型を持つカスタム型を使用できるようになり、汎用コードの表現力と使いやすさが向上します。

以上がGo ジェネリックの ~ トークンは基礎となる型をどのように処理しますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。