Go: メソッドの引数の型が受信者の型と同じである型制約を指定する方法

Go 言語では、型制約を使用して関数またはメソッドのパラメーターの型を指定できます。メソッドのパラメーターの型をレシーバーの型と同じにしたい場合、どのように指定すればよいでしょうか?まず第一に、Go 言語はパラメーターの型がレシーバーの型と同じであるという機能を直接サポートしていないことを明確にする必要があります。ただし、メソッド定義でポインター型を使用すると、同様の効果を実現できます。次に、Go 言語でパラメーターの型をレシーバーの型と同じに指定する方法を詳しく説明します。

質問内容

以下のような型制約を指定したいのですが:

ただし、以下に示すように、実装型がインターフェイス Comparer ではなくメソッド Compare に独自の具象型を渡すようにしたいと考えています (以下は を実装していないことはわかっています)比較子):

次のような汎用インターフェイスを使用してみます:

しかし、これはメソッド Compare のレシーバーも型 T であることを強制しません。

メソッド Compare のレシーバーの型とパラメーターの型を強制的に同じにする方法はありますか?

回避策

制約について話すときは、基本的に、型パラメータのセットに対する制限として、インターフェイス型の特定の使用法を指します。

したがって、インターフェースを(正しく)次のように定義すると:

あなたは半分しか話していません。実際、上記は制限ではありません。それは単なるインターフェースです。

本当に型制約となるためには、インターフェイス を として使用する必要があります。

型パラメーター リスト内でのみ、型パラメーターを使用して制約をインスタンス化することで、Compare(T) のレシーバーを T 自体にすることができます。

制約として使用しない場合、インターフェースは単にメソッドのセットの定義であり、 設計により 実装できる型に制限はありません。

型用語を使用して、どの型が特定のインターフェイスを実装する必要があるかを指定できるようになりました。ただし、型パラメーターを型用語として直接使用することはできません。 T:

これにより、*MyInt などのポインタ レシーバでメソッドを宣言する必要が生じることに注意してください。これは理想的な場合とそうでない場合があります。

関係なく、T が何であるかに関係なく、制約によって追加レベルのポインター間接参照が課されるため、これを独自の型パラメーターを使用して T Comparer[T] としてインスタンス化することはできません。関数のパラメータは決してそれを満たしません。

この機能を実装するコツは、さまざまな型パラメーターを使用して Comparer をインスタンス化することです。

そしてメソッドを次のように宣言します:

ただし、予想どおりインターフェイス制約を使用すれば、この複雑な回避策は完全に不要になります。

遊び場//m.sbmmt.com/link/3ea816621e0d8ecd5e534ec28051d4d5

以上がGo: メソッドの引数の型が受信者の型と同じである型制約を指定する方法の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。