C# - Come generici con il nuovo() codice macchina get vincolo generati?

Question

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

Quando non c'è il vincolo new(), ho capito come funzionerebbe. Il compilatore JIT vede T e se è un tipo di riferimento rende utilizza le versioni dell'oggetto del codice, ed è specializzato per ogni caso tipo di valore.

come funziona se si dispone di un nuovo T() in là? Dove cerca?

Answer 1

Se si intende, a cosa assomiglia l'IL, il compilatore compilerà una chiamata a Activator.CreateInstance<T>.

Il tipo si passa come T deve avere un costruttore senza parametri pubblica per soddisfare il compilatore.

È possibile verificare questo in Try Roslyn:

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

diventa:

.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