Компилятор C# не оптимизирует ненужные приведения типов. ⇐ C#

[Anonymous]

Несколько дней назад, когда я писал здесь ответ на этот вопрос о переполнении, я был немного удивлен компилятором C#, который не делал того, что я от него ожидал. Посмотрите следующие фрагменты кода:
Сначала:

Код: Выделить всё

object[] array = new object[1];

for (int i = 0; i < 100000; i++)
{
ICollection col = (ICollection)array;
col.Contains(null);
}

Во-вторых:

Код: Выделить всё

object[] array = new object[1];

for (int i = 0; i < 100000; i++)
{
ICollection col = array;
col.Contains(null);
}

Единственное различие в коде между двумя фрагментами — это приведение к ICollection. Поскольку object[] явно реализует интерфейс ICollection, я ожидал, что два фрагмента скомпилируются в один и тот же IL и, следовательно, будут идентичны. Однако при выполнении тестов производительности я заметил, что последний примерно в 6 раз быстрее первого.
После сравнения IL из обоих фрагментов я заметил, что оба метода идентичны. , за исключением инструкции castclass IL в первом фрагменте кода.
Удивленный этим, я теперь задаюсь вопросом, почему компилятор C# здесь не является «умным». Все не так просто, как кажется, так почему же компилятор C# здесь такой наивный?

Подробнее здесь: https://stackoverflow.com/questions/221 ... sary-casts