C# "jest" operator - czy to odbicie?

Question

Kolega zadał mi dziś interesujące pytanie - czy słowo kluczowe C#/operator "jest" uważane za odbicie?

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

W jaki sposób operator jest realizowany za kulisami? Czy wymaga refleksji lub introspekcji? Czy z powodu silnie typowanej natury języka, typ obiektu jest natychmiast dostępny jako atrybut najwyższego poziomu obiektu w pamięci?

MSDN stwierdza:

Zauważ, że jest operator uzna tylko konwersje referencyjnych, konwersje bokserskie i Unboxing konwersji. Inne konwersje, takie jak konwersje zdefiniowane przez użytkownika, nie są uwzględniane przez operatora is.

Możliwość rozważenia konwersji pudełkowych i bezokiennych wydaje się sugerować mi jakąś introspekcję.

Answer 1

Referencing ECMA-335 operator is generuje isinst Object Model IL instrukcji (Partycja III §4.6), które stanowi część instrukcji bazowej ustalonej w przeciwieństwie do bycia częścią biblioteki Odbicie (strefa IV §5.5).

Edytuj: Operator is jest niezwykle wydajny w porównaniu do biblioteki refleksów. można wykonać w zasadzie ten sam test znacznie wolniej poprzez refleksję:

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

Edit 2: Nie są prawidłowe o efektywności instrukcji (które już teraz edytowanych z urzędu) castclass i isinst. Są wysoce zoptymalizowane w każdej praktycznej implementacji VM. Jedynym problemem związanym z wydajnością jest możliwość wygenerowania wyjątku, który można uniknąć za pomocą operatora C# as i testu dla null (dla typów odniesienia) lub operatora is, a następnie rzutowania (dla typów wartości).

Answer 2

Operator is zasadniczo określa, czy rzutowanie jest możliwe, ale zamiast rzucać wyjątek, gdy rzutowanie jest niemożliwe, zwraca false. Jeśli rozważasz rzucenie odbicia, to jest to również odbicie.

EDIT:

Po kilku badań odkryli, że obsada jest wykonywana w IL på instrukcją castclass natomiast is mapy operatorowi instrukcji isinst. FxCop ma rule, który ostrzega, jeśli wykonujesz niepotrzebne rzuty, najpierw używając instrukcji isinst, a następnie castclass. Mimo że operacje są wydajne, nadal mają one koszt wydajności.

Answer 3

Inne języki mają informacje o czasie działania wystarczające do obsługi dynamicznego przesyłania, a jednak nic, co można by określić jako odbicie (C++ jest oczywistym przykładem).

Refleksja odnosi się do dodatkowych możliwości wykraczających poza samo odkrywanie typu obiektu. "Odbicie" obiektu oznacza na przykład możliwość chodzenia jego członków.