C# "è" operatore - è quella riflessione?

Question

Un collega mi ha fatto una domanda interessante oggi - la parola chiave/operatore C# "è" considerata come riflessione?

object tmp = "a string"; 
if(tmp is String) 
{ 
} 

Come viene implementato questo operatore dietro le quinte? Richiede riflessione o introspezione? Oppure a causa della natura fortemente tipizzata del linguaggio, il tipo dell'oggetto è immediatamente accessibile come attributo di primo livello dell'oggetto in memoria?

MSDN precisa che:

noti che l'operatore is considera solo le conversioni di riferimento, conversioni boxe e conversioni unboxing. Altre conversioni, come le conversioni definite dall'utente, non sono considerate dall'operatore is.

La possibilità di considerare conversioni in scatola e non in scatola sembra implicarmi una sorta di introspezione.

Answer 1

Referencing ECMA-335, l'operatore is genera il isinst oggetto del modello di istruzioni IL (partizione III §4.6), che fa parte delle istruzioni di base impostato invece di essere parte della libreria riflessione (partizione IV §5.5).

Modifica: L'operatore is è estremamente efficiente rispetto alla libreria di riflessione. Si potrebbe eseguire fondamentalmente lo stesso test molto più lentamente attraverso la riflessione:

typeof(T).IsAssignableFrom(obj.GetType()) 

Edit 2: Non sei corretto circa l'efficienza dei castclass e isinst istruzioni (che ora che hai a cura fuori del post). Sono altamente ottimizzati in ogni pratica implementazione VM. L'unico problema di prestazioni reale è il potenziale per castclass di generare un'eccezione, che si evita utilizzando l'operatore C# as e un test per null (per i tipi di riferimento) o l'operatore is seguito da un cast (per i tipi di valore).

Answer 2

L'operatore is determina essenzialmente se un cast è possibile, ma invece di generare un'eccezione quando il cast è impossibile restituisce false. Se consideri il riflesso del cast, questo è anche un riflesso.

EDIT:

Dopo alcune ricerche ho scoperto che un cast viene eseguita in IL på istruzioni castclass mentre i is mappe operatore alle istruzioni isinst. FxCop ha un rule che ti avvisa se stai facendo lanci non necessari usando prima l'isinst e poi l'istruzione castclass. Anche se le operazioni sono efficienti, hanno ancora un costo in termini di prestazioni.

Answer 3

In altri linguaggi le informazioni sul tempo di esecuzione sono sufficienti per supportare la trasmissione dinamica e tuttavia nulla che possa essere descritto come riflessione (il C++ è un esempio ovvio).

Quindi la riflessione si riferisce a funzionalità aggiuntive oltre alla semplice scoperta del tipo di un oggetto. "Riflettere" su un oggetto implica la capacità di camminare per i suoi membri, ad esempio.