ジェネリック型パラメータのオーバーロードが許可されていませんか？

Question

私はちょうどこれを使用しようとしていたので、それは部分的な好奇心と一部です。次の定義がある場合は、メンバーが既に定義されているため、コンパイラーはこれを許可しません。ジェネリック型パラメータの排他的なオーバーロードを許さない理由は何ですか？

void Get<T>() where T: struct {} 
void Get<T>() where T: class {} 

これには固有の問題はないようです。定義が重複する場合にコンパイラが選択する必要があるとは必ずしも明確ではないと主張するかもしれない（しかし、一般的な解決法が最初に最も一致すると思われる）。

誰かがこれを否認している理由についてリソースを理解しているか指摘するのに役立つことがありますか？

Answer 1

エリックリペットはすでに一般的な制約やメソッドのシグネチャのブログ記事では、このいずれかを答え：一般的なタイプのhttp://blogs.msdn.com/b/ericlippert/archive/2009/12/10/constraints-are-not-part-of-the-signature.aspx

制約ゆえあなたがその2つのメソッドを持つことができない、CLRでメソッドのシグネチャの一部ではありませんジェネリック型の制約のみが異なります。 CLRサポートがなければ、C＃に他の.NET言語と互換性のある賢明な方法でこれらをサポートさせることは非常に面倒です。

Answer 2

structの制約はNullable<T>ですが、本当に不幸です。 Nullable<String>やNullable<Nullable<Nullable<int>>>のようなものは無駄かもしれませんが、何ですか？前者をその内容として囲みます。内容としてコンテンツをunboxし、コンテンツがnullでない場合はHasValueを設定します。すべてのnullableがHasValueと報告した場合は、前者をintとし、アンボックスの場合は、コンテンツがnullでない場合はすべてのネストされたアイテムをHasValueと設定します。

それ以外の場合は、Tをパラメータとして受け入れるデリゲートプロパティを含む型パラメータTを持つ静的汎用クラスを作成することをお勧めします。プロパティは、Tの型をチェックし、デリゲートをstructまたはclassのいずれかのバージョンに適切に設定するメソッドを指すように初期化する必要があるプライベートフィールドの内容を返します。

ここに私が話していることの例があります。これは、構造体/クラスの制約ではなく、さまざまなインタフェースの制約を使用しますが、同じ原理を効果的に使用することができます。

 
     static class _FooDispatcher<T> 
     { 
      public static Action<T> Foo = setupFoo; 

      static void doFooWithIGoodFoo<TT>(TT param) where TT : IGoodFoo 
      { 
       Console.WriteLine("Dispatching as IGoodFoo with {1} type {0}", typeof(TT).ToString(), typeof(TT).IsValueType ? "value" : "reference"); 
       param.Foo(); 
      } 
      static void doFooWithIOkayFoo<TT>(TT param) where TT : IOkayFoo 
      { 
       Console.WriteLine("Dispatching as IOkayFoo with {1} type {0}", typeof(TT).ToString(), typeof(TT).IsValueType ? "value" : "reference"); 
       param.Foo(); 
      } 
      static void doFooSomehow<TT>(TT param) 
      { 
       Console.WriteLine("Nothing exciting with {1} type {0}", typeof(TT).ToString(), typeof(TT).IsValueType ? "value" : "reference"); 
      } 
      static void setupFoo(T param) 
      { 
       System.Reflection.MethodInfo mi; 
       if (typeof(IGoodFoo).IsAssignableFrom(typeof(T))) 
        mi = typeof(_FooDispatcher<T>).GetMethod("doFooWithIGoodFoo", System.Reflection.BindingFlags.NonPublic | System.Reflection.BindingFlags.Static); 
       else if (typeof(IOkayFoo).IsAssignableFrom(typeof(T))) 
        mi = typeof(_FooDispatcher<T>).GetMethod("doFooWithIOkayFoo", System.Reflection.BindingFlags.NonPublic | System.Reflection.BindingFlags.Static); 
       else 
        mi = typeof(_FooDispatcher<T>).GetMethod("doFooSomehow", System.Reflection.BindingFlags.NonPublic | System.Reflection.BindingFlags.Static); 
       Foo = (Action<T>)(@Delegate.CreateDelegate(typeof(Action<T>), mi.MakeGenericMethod(typeof(T)))); 
       Foo(param); 
      } 
     }