ネストされた型はジェネリック型ではいけませんか？

Question

多くの型パラメータを使用してインスタンス化される危険性のあるジェネリック型を実装する場合、JITパフォーマンス/コードサイズなどの理由で多くのネストされた非ジェネリック型を避ける必要がありますか？

例：

public class MyGenericType<TKey, TValue> 
{ 
    private struct IndexThing 
    { 
     int row; int col; 
    } 

    private struct SomeOtherHelper 
    { 
     .. 
    } 

    private struct Enumerator : IEnumerator<KeyValuePair<TKey, TValue>> { } 

} 

同様に動作外の非ジェネリック型を持つことですが、その後、彼らは名前空間を汚染代替。 ベストプラクティスはありますか？

public class MyGenericType<TKey, TValue> 
{ 
    private struct Enumerator : IEnumerator<KeyValuePair<TKey, TValue>> { } 
} 

internal struct IndexThingForMyGenericType 
{ 
    int row; int col; 
} 

internal struct SomeOtherHelper 
{ 
    ... 
} 

Answer 1

C＃では、ネストされたタイプのジェネリックタイプはすべて本質的に汎用です。コンパイラはネストされた型をgenericとしても作成します（私たちの知識はありません）。詳細はthis articleを参照してください。

ジェネリックスはthis interviewで説明されているように参照型のJITコードを共有しますが、ジェネリックスは非ジェネリッククラスと比較してオーバーヘッドがあります。各値の型は独自のJITコードを取得します。

• タイプが汎用クラスでのみ使用されている場合 - プライベートネストされたタイプであることが理にかなっています。

• タイプが他の場所で使用されている場合、理想的にはネストされていないタイプ（内部として）である必要があります。

  あなたのネストされたタイプが、この場合、型パラメータTを使用していない場合は、言っ

、それは一般的なタイプのネストされたタイプである必要がありませんので、それは同様に、一般的なタイプになってきて。

ほとんどの場合、実行時に作成される多くの型が懸念される場合は、汎用型をリファクタリングして、ネストされた型のコンテナ型として機能する汎用ではない基本クラスを持つことができます。ネストされた型をprotectedとして公開します。

public class NonGenericBase 
{ 
    protected struct IndexThing 
    { 
     int row; int col; 
    } 

    protected struct SomeOtherHelper 
    { 
     .. 
    } 
} 

public class MyGenericType<TKey, TValue> : NonGenericBase 
{ 
    private struct Enumerator : IEnumerator<KeyValuePair<TKey, TValue>> { } 

} 

このように、同じネストされたタイプを共有しています。ランタイムオーバーヘッドはありません。各型パラメータに個別の型はありません。今度はtypeof(MyGenericType<int, string>.SomeOtherHelper)はtypeof(MyGenericType<long, bool>.SomeOtherHelper)に等しくなります。

Answer 2

これは完全に内部的にそれはすべてのポインタについてですので、参照型用のコードが、共有されていることに注意して、質問に答えていませんが。だから、コードベースを膨らませることについて心配する必要はありません。 this答え（アンダーズ・ヘールスバーグは引用符です）。今

、私たちはその後、やっていることは 種類-などList<int>、List<long>、List<double>、List<float>としての価値であるすべてのタイプのインスタンス化のためである - 我々は実行可能なネイティブコードの一意のコピーを作成します。したがって、List<int>は 独自のコードを取得します。 List<long>は独自のコードを取得します。 List<float>は独自の コードを取得します。 すべての参照型について、 という表現が同じであるため、コードを共有します。それは単なるポインタです。