Go ジェネリックの型パラメーターへのポインターでメソッドを使用できないのはなぜですか?

Patricia Arquette
リリース: 2024-11-04 21:54:01
オリジナル
778 人が閲覧しました

Why Can't I Use Methods on a Pointer to a Type Parameter in Go Generics?

Go のジェネリックス: 型パラメーターと制約の探索

型パラメーターと制約について

Go のジェネリック プログラミング モデルでは、型パラメーターはプレースホルダー型を表します。具体的な型を使用してインスタンス化できます。ただし、型パラメーターは、ポインター型 (*T) の特定のプロパティやメソッド セットを意味しません。一方、制約は、型パラメータを実装するために具象型が満たさなければならない要件を定義します。

型パラメータへのポインタの問題

エラー「type T は次のポインタです」 「型パラメーターではなく型パラメーター」という問題は、具体型のポインター (T) で定義されたメソッドを型パラメーターのメソッド セットの一部として使用しようとすると発生します。これは、型パラメータとそのポインタ型が別個のエンティティであるためです。

制約に関する問題の解決

この問題を解決するには、両方にメソッドを実装するために具象型を必要とする制約を明示的に宣言できます。型とそのポインタ:

func Foo[T any, PT interface { SetId(string); *T}](v T) {}
ログイン後にコピー

制約の実装

制約を実装するときは、メソッドが適切に宣言されていることを確認してください。 T で宣言された SetId メソッドを持つ GS インターフェイスの場合、A で MyStore をインスタンス化し、具体的な型に一致するように MyStore 内のフィールドの型を変更する必要があります:

var storeA = &MyStore[*A]{}
type MyStore[T GS] struct {
    values map[string]T 
}
func (s *MyStore[T]) add(item T) {}
ログイン後にコピー

制約を調整し、それに応じてメソッドを実装することで、Go コードでジェネリックを効果的に利用できます。

以上がGo ジェネリックの型パラメーターへのポインターでメソッドを使用できないのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

ソース:php.cn
このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。
著者別の最新記事
人気のチュートリアル
詳細>
最新のダウンロード
詳細>
ウェブエフェクト
公式サイト
サイト素材
フロントエンドテンプレート