C# «есть» оператор - это отражение?

Question

Сегодня коллега задал мне интересный вопрос - является ли ключевое слово/оператор C# «считаться отражением?

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

Как этот оператор реализован за кулисами? Требует ли это рефлексии или самоанализа? Или из-за строго типизированного характера языка, является ли Тип объекта немедленно доступным как атрибут верхнего уровня для объекта в памяти?

MSDN утверждает, что:

Обратите внимание, что это оператор учитывает только ссылочные преобразования, преобразование бокса и распаковку преобразование. Другие преобразования, такие как пользовательские преобразования, не рассматриваются оператором is.

Возможность рассматривать конвертированные в коробку и распакованные конверсии, по-видимому, подразумевает для меня какую-то интроспекцию.

Answer 1

Referencing ECMA-335, оператор is генерирует isinst объектной модели IL инструкции (раздела III, §4.6), который является частью базового набора команд в отличие от быть частью библиотеки отражения (раздел IV §5.5).

Редактировать: Оператор is чрезвычайно эффективен по сравнению с библиотекой отражения. Вы можете выполнить в основном один и тот же тест гораздо медленнее, с помощью отражения:

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

Edit 2: Вы не правильно об эффективности castclass и isinst инструкции (которые теперь вы отредактированная из поста). Они оптимизированы в любой практической реализации VM. Единственная реальная проблема, связанная с производительностью, - это потенциал для castclass для исключения исключения, которое вы избегаете с помощью оператора C# as и теста для null (для ссылочных типов) или оператора is, за которым следует бросок (для типов значений).

Answer 2

Оператор is по существу определяет, возможно ли отличное отбрасывание, но вместо того, чтобы бросать исключение, когда отливка невозможна, он возвращает false. Если вы считаете, что это отражение, это также является отражением.

EDIT:

После некоторых исследований я обнаружил, что бросок выполняется в IL på в castclass инструкции в то время как оператор is карты к isinst инструкции. FxCop имеет rule, который предупреждает вас, если вы делаете ненужные отбрасывания, сначала используя isinst, а затем инструкцию castclass. Несмотря на то, что операции эффективны, они по-прежнему имеют производительность.

Answer 3

Другие языки имеют информацию времени выполнения, достаточную для поддержки динамического каста, и все же ничего, что можно было бы назвать отражением (C++ - очевидный пример).

Таким образом, отражение относится к дополнительным возможностям, кроме простого обнаружения типа объекта. Например, для «отражения» объекта необходимо умение ходить своими членами.