Go 関数はなぜ制約された型パラメータを持つ型を返せないのでしょうか?

なぜ Go 関数は制約された型パラメータを持つ型を返せないのでしょうか?これはよく混乱を引き起こす質問です。 Go 言語では、関数の戻り値の型を、制約された型パラメーターを持つ型にすることはできません。これは主に、Go 言語でのジェネリックスのサポートが制限されているためです。 Go 言語には、Java や C# のようなジェネリック メカニズムはなく、制約された型パラメーターをサポートする構文もありません。したがって、関数の戻り値の型は特定の型のみにすることができ、制約された型パラメーターは使用できません。これは、パラメータの型が制約型である関数では戻り値の型を定義できないことを意味します。このような制限により、特定のシナリオではコードの記述が少し面倒になる場合がありますが、これらも Go 言語の設計の一部です。

質問の内容

Go でコンパイル時に有効な状態遷移を強制しようとしているときに、ここに記載されている問題のように、関数が非具象型パラメータを持つジェネリック型を返せないという制限に遭遇しました。 。 mre を構築できません (プレイグラウンドへのリンク):

リーリー

コンパイラーはエラーを返します mystruct[int]{…} (mystruct[int] 型の値) を return ステートメントの mystruct[t] 値として使用できません.

リンクされた質問には次の理由が示されています:

リーリー

型アサーションを含むいくつかの回避策が概説されていますが、なぜ この制限が存在するのかが気になります。素朴に、私の例では、int は ## 型制約を満たすため、returnconstrainedgeneric() から型 mystruct[int] の値を返すことは有効であると予想します。 #任意のの場合。 returnconstrainedgeneric() の呼び出し元には、戻り値の型が mystruct[int] であることを知らせず、戻り値が mystruct[t]## であることだけを知ってもらいたいと考えています。 #、t は any 制約を満たします。私の推論には何が足りないのでしょうか？これは go がジェネリックス/型制約を実装する方法に関する根本的な問題なのでしょうか、それとも go コンパイラーの現在の実装に関する問題なのでしょうか、あるいは他の何かなのでしょうか? 回避策

構文は

を意味するため、これは無効です リーリー

しかし、

mystruct[int]

を返そうとしています。 あなたの推論の欠陥は、関数をインスタンス化するときに関数の戻り値の型を指定していることです。この関数は、

any

制約を満たす型を返すことはできません。インスタンス化された型を返します。つまり、インスタンス化された関数の t は、mystruct[t] の t と同じである必要があります。 常に

mystruct[int]

を返す場合は、次のように宣言します: リーリー または、関数がまったく使用されていない場合は

t

: リーリー

以上がGo 関数はなぜ制約された型パラメータを持つ型を返せないのでしょうか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。