CIL unbox_any istruzione - strano comportamento

Question

.method public static void Test<class T>(object A_0) cil managed 
{ 
    // Code size  13 (0xd) 
    .maxstack 1 
    .locals init (!!T V_0) 
    IL_0000: ldarg.0 
    IL_0001: isinst  !!T 
    IL_0006: unbox.any !!T 
    IL_000b: stloc.0 
    IL_000c: ret 
} // end of method DemoType::Test 

Il codice C# è uguale:

public static void Test<T>(object o) where T : class 
{ 
    T t = o as T; 
} 

Le mie domande sono:

1. Perché unbox.any stato chiamato? se lo farete

   var a = father as child 
   

   isinst intruction chiamerà e non unbox.any, e se io ti tolgo la definizione generica e cercherò di gettare (isinst) l'oggetto da qualche classe, non unbox.any sarà chiamato.

2. Forse unbox.anche è stato chiamato perché la definizione generica, quindi in questo caso l'unbox.anche bisogno di lanciare un NullReferenceException perché la risposta di isinst istruzione restituisce null per questo casting. vedi unbox_any. E se provi ad eseguire questo codice, vedrai che nessuna eccezione è stata lanciata.

Aggiornamento

posso capire il unbox_any becuase il parametro tipo di oggetto e cercare di gettarlo ai tipo concreto dopo il controllo isinst. Forse anche l'influenza dei generici.

La mia domanda è, perché non lanciare un'eccezione in unbox.any se l'obj proviamo a unbox su T è nullo?

La documentazione dice: "NullReferenceException viene generata se obj è un riferimento null."

Answer 1

L'unbox serve a rendere felice il verificatore. Il verificatore non è particolarmente intelligente nel sapere che un parametro di tipo T diventerà sempre un tipo di riferimento, e quindi il compilatore C# emetterà queste unbox altrimenti inutili.

Se si esegue una ricerca del codice sorgente Roslyn per Unbox_any e IsVerifierReference, si vedrà che ciò accade in alcuni punti attorno al generatore di codice.

Il jitter saprà quando si genera il codice, indipendentemente dal fatto che il parametro type sia o meno un riferimento e debba generare un codice decente indipendentemente dall'istruzione apparentemente non necessaria.