.NET/C# 汎用T共変出力とインバータインターフェース

クズども · 掲載地 2023/08/03 20:35:23

要件:最近、.NETのソースコードを見てみたら、インターフェースジェネリックにoutキーワードがあるのを見つけました。例えば:パブリックインターフェース IStringLocalizer<out T>そして、それを研究した。

インターフェース内の一般的な型パラメータは共変量またはインバータとして宣言できます。共分散により、インターフェースメソッドはジェネリック型パラメータで定義される返りタイプよりも導出されたリターン型を持つことを可能にします。インバータにより、インターフェースメソッドは汎用パラメータで指定された引数タイプからの導出度を小さく抑えられます。共変型またはインバータ型ジェネリックパラメータを持つ汎用インターフェースは「バリアント」と呼ばれます。

共分散: outキーワードを使って、ジェネリック型パラメータを共変として宣言します。
あべこべ: in キーワードを使って、汎用型パラメータをインバータとして宣言します。

このVS2022のスクリーンショットは非常に詳細で、ジェネリックにどのような制限があるかを示しています(以下に示しています):

就任時Func<in T, out TResult>つまり、パラメータ型はT、リターン型はTResultであることを意味します。

参考：
ハイパーリンクのログインが見えます。
ハイパーリンクのログインが見えます。

[通信] .NET/C# 汎用T共変出力とインバータインターフェース

関連記事

閲覧したセクション