C# gibt Box/Unbox aus, wenn generische Typen zugewiesen werden?

Question

Ich stolperte über einen seltsamen IL-Code für die folgenden Proben emittieren:

class Sample 
{ 
    void Foo<T,U>(T t, U u) where U : T { t = u; } 
} 

Die IL für den Körper von Foo emittierten

IL_0001: ldarg.2  // u 
IL_0002: box   !!1/*U*/ 
IL_0007: unbox.any !!0/*T*/ 
IL_000c: starg.s  t 

Also meine Frage: Warum es ein Unboxing emittiert/Boxbetrieb? Ich würde mir vorstellen, dass die Konversation niemals boxen muss, da es entweder ein Referenztyp ist oder sowieso der gleiche Datentyp.

noch seltsame, auch wenn ich explizit die Typ-Parameter sagt, sind Referenztypen, die nicht den emittierten Code in irgendeiner Weise ändert:

class Sample 
{ 
    void Foo<T, U>(T t, U u) where U : class, T where T : class { t = u; } 
} 

(IL-Ausgang das gleiche ist)

So. . Warum?

Answer 1

T könnte ein Referenztyp sein (Schnittstelle, object oder System.ValueType), während U eine Struktur ist, z.

Foo<IConvertible, int>(1, 2); 
Foo<object, int>("foo", 2);