Виртуальные методы медленнее, чем невиртуальные методы для вызова

Question

Я читал об виртуальных методах и их вызовах. Как обсуждалось here и here, я пришел к выводу, что они не должны быть такими разными.

Компилятор C# испускает IL-код, который вызывает статические методы с помощью команды IL-call и вызывает виртуальные/не виртуальные элементы на callvirt. Кажется, что задача JIT состоит в том, чтобы выяснить, действительно ли объект, вызываемый из метода, является нулевым или нет. Таким образом, проверка одинакова для обоих.

Также, как обсуждалось в первой статье, кажется, что vtables или таблицы, содержащие метаданные в определениях методов, сглаживаются во время компиляции. Другими словами, таблицы содержат именно тот метод, который должен вызвать объект, без необходимости рекурсивного поиска в цепочке наследования.

С учетом вышесказанного, почему виртуальные методы рассматриваются медленнее? Может быть, один уровень косвенности (если таковой имеется), который имеет большую сделку? Пожалуйста, объясните ...

Answer 1

Вы смотрите на разницу между инструкцией вызова функции с прямой или косвенной адресацией. Но большая часть «стоимости» косвенного вызова функции - это не сам вызов, а потерянная возможность выполнять оптимизации, требующие статического знания цели. Вложение, кросс-процедурный анализ псевдонимов и т. Д.

Answer 2

Выяснение, какая реализация фактического метода для выполнения будет иметь стоимость, в отличие от просто зная. Эта стоимость может быть очень малой, и вполне вероятно, что стоимость совершенно ничтожна для любого конкретного контекста, потому что на самом деле не принимает , что долго. Но стоимость не равна нулю, поэтому в особо чувствительных к производительности приложениях будет разница.