A cosa servono questi codici?

Question

Utilizzando riflettore ottengo il seguente output:

.method private hidebysig static class myModelTestarea.Foo Method() cil managed 
{ 
    .maxstack 1 
    .locals init ([0] class myModelTestarea.Foo CS$1$0000) 
    L_0000: nop 
    L_0001: ldc.i4.0 
    L_0002: newarr object 
    L_0007: call object myModelTestarea.Program::Resolve(object[]) 
    L_000c: castclass myModelTestarea.Foo 
    L_0011: stloc.0 
    L_0012: br.s L_0014 
    L_0014: ldloc.0 
    L_0015: ret 
} 

per

private static Foo Method() 
{ 
    return (Foo)Resolve(); 
} 

private static object Resolve(params object[] args) 
{ 
    return new Foo(); 
} 

Che cosa significano le linee 11-14 fanno? Chiamo una funzione e ottengo un risultato (riga 7). Lascio il risultato al giusto returntype (riga c) - perché non tornare in questo momento?

In qualche modo, il risultato del cast viene memorizzato come variabile locale - quindi c'è un salto non significativo alla riga successiva, dove la variabile locale viene caricata di nuovo. Perché?

Secondo la mia opinione la riga 11-14 e la variabile locale può essere omessa ...?

Answer 1

Sembra un build DEBUG, che lascia in IL in più per aiutare il debugger. Provalo di nuovo in RILASCIO e dovrebbe sembrare più pulito, con ottimizzazione ecc.

.method private hidebysig static class program/Foo Method() cil managed 
{ 
    .maxstack 8 
    L_0000: ldc.i4.0 
    L_0001: newarr object 
    L_0006: call object program::Resolve(object[]) 
    L_000b: castclass program/Foo 
    L_0010: ret 
} 

Answer 2

È una build di debug? È possibile che sia lì per il debugger.

Ho visto cose simili in altri posti - è quasi sempre innocuo però. Non dimenticare che la maggior parte dell'ottimizzazione è fatta dal JIT, che può notare cose del genere abbastanza facilmente. L'unico lato negativo è che più IL accenna al JIT che il metodo non dovrebbe essere sottolineato.