C# - Yeni() kısıtlama ile jenerikler makine kodu nasıl oluşturulur?

Question

public T Foo<T, U>(U thing) where T : new() 
{ 
    return new T(); 
} 

new() kısıtlaması olmadığında, nasıl çalışacağını anlıyorum. JIT Derleyicisi T'yi görür ve eğer bir referans türü yaparsa, kodun nesne sürümlerini kullanır ve her bir değer türü vakası için uzmanlaşır.

Orada yeni bir T() varsa nasıl çalışır? Nereye bakıyor?

Answer 1

Eğer IL'in neye benzediği kastediyorsanız, derleyici Activator.CreateInstance<T> numaralı çağrıya derlenir.

T olarak geçirdiğiniz tür, derleyiciyi karşılamak için ortak parametresiz bir kurucuya sahip olmalıdır.

Sen Try Roslyn bu test edebilirsiniz:

public static T Test<T>() where T : class, new() 
{ 
    return new T(); 
} 

olur:

.method public hidebysig static 
    !!T Test<class .ctor T>() cil managed 
{ 
    // Method begins at RVA 0x2050 
    // Code size 6 (0x6) 
    .maxstack 8 

    IL_0000: call !!0 [mscorlib]System.Activator::CreateInstance<!!T>() 
    IL_0005: ret 
} // end of method C::Test