奇妙な一般的な動作は、次のコードで

Question

、ボクシングは（ジェネリック<タイプ>の.printで）発生します。

using System; 

namespace Test 
{ 
    static class Program 
    { 
     static void Main() 
     { 
      Generic<string> generic = new Generic<string>("test"); 
      generic.Print(); 
     } 
    } 

    class Generic<Type> 
    { 
     Type value; 

     public Generic(Type value) 
     { 
      this.value = value; 
     } 

     public void Print() 
     { 
      Console.WriteLine(value); 
     } 
    } 
} 

ILSpy出力：

.method public hidebysig 
    instance void Print() cil managed 
{ 
    // Method begins at RVA 0x207d 
    // Code size 17 (0x11) 
    .maxstack 8 

    IL_0000: ldarg.0 
    IL_0001: ldfld !0 class Test.Generic`1<!Type>::'value' 
    IL_0006: box !Type 
    IL_000b: call void [mscorlib]System.Console::WriteLine(object) 
    IL_0010: ret 
} // end of method Generic`1::Print 

それはボクシングと呼び出しだConsole.WriteLineを（オブジェクト） 。私は単純にConsole.WriteLine（string）を呼び出すと仮定しました。ここで何が起こっているのですか？

Answer 1

そのこれは、その呼び出しの最も適切なオーバーロードです。コンパイラが提供する型情報に基づいて、適切なオーバーロードを選択する必要があり、このような状況でのみ適切なものはobject過負荷である -

はオーバーロードの解決は、コンパイル時で行われていることを覚えておいてください。

このことを理解するには、Mainメソッドを無視して、Genericクラスが異なるアセンブリに含まれているケースを検討してください。コンパイラはオーバーロードを選択する必要があり、Typeはキャストまたはボックス化してobjectにすることしかできません。ちょうどがであるため、string型パラメーターでこのクラスを使用するアセンブリ内の他の場所では、Genericのコンパイル方法には影響しません。

またConsole.WriteLineがobjectを受け入れる過負荷を持っていなかった場合に何が起こるかを検討 - （別の過負荷が適していますでしょうTypeに制限はありませんよう）この場合には方法は、単純にコンパイルされないでしょう。

Answer 2

再利用コードのようです。

あなたはそれをしないように強制することができます。

public void Print<Type>() 
{ 
    Console.WriteLine(value); 
} 

Answer 3

いいえ、実際には表示されません。 box命令のECMA-335の説明から：

typeTokは、参照型である場合、ボックス命令はOBJとしてヴァル不変の戻りを行います。

つまり、boxは参照型で呼び出すと無害です。

（JITがとにかく参照型と値型に対して個別のネイティブコードを生成するので、私は、これはちょうど完全参照型バージョンで除去されてしまうと思う。）のでConsole.WriteLineためobject過負荷を選択