Пример полиморфизма, предотвращающего оптимизацию компилятора?

Question

Не помню, где я его видел сейчас, но где-то я читал, что динамический полиморфизм не позволяет компилятору делать различные оптимизации.

Кроме того, может ли кто-нибудь углубить меня любыми примерами таких «пропущенных» возможностей оптимизации, которые полиморфизм мешает компилятору создавать?

Answer 1

По крайней мере, в C++ полиморфные объекты должны быть в виде указателей или ссылок. Иногда это предотвращает возможность помещать их в переменные стека или типы списка, вам нужно использовать List. Переменные хранилища резервные динамические распределения и т. Д.

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

Оптимизация возвращаемого значения (RVO) - это еще один трюк, который не имеет места при возврате указателей или ссылок. RVO обычно реализуется путем передачи скрытого параметра: указателя на область памяти, заполненного «возвращенным» объектом. Размер и тип этого региона должны быть прекрасно известны во время компиляции.

Answer 2

С:

Derived d; 
d.vMethod(); // that will call Derived::vMethod statically (allowing inlining). 

С (если ни одна из Derived или Derived::vMethod не объявлен final в C++ 11):

void foo(Derived& d) 
{ 
    d.vMethod(); // this will call virtually vMethod (disallowing inlining). 
} 

Виртуального вызов имеет дополнительную стоимость (как косвенность через виртуальные таблицы).

C++ 11 представляет ключевое слово final, которое может превратить последний пример в статический вызов.