Если полученный класс sub переопределяет виртуальный метод foo из базового класса, и нет шансов вызвать его во время кратких этапов конструкции/разрушения, когда тип частично построенного объекта технически имеет базовый , тогда существует способ убедить обыкновенные компиляторы, чтобы исключить никогда предварительную базовую реализацию Foo p> PRI>? class = "lang-cpp prettyprint-override">
Код: Выделить всё
class Base {
Base() { }
virtual ~Base() { }
virtual int foo(int x) {
// Lots of bloated code here
return SomeExpression;
}
};
class Sub : public Base {
Sub() {
// Useful code here
}
~Sub() {
// Useful code here
}
int foo(int x) override {
// Small useful code here
}
};
int main(int argc, char**argv) {
Sub *pSub = new Sub();
int res;
res = pSub->foo(argc);
delete pSub;
return res;
}
В приведенном выше примере базовый конструктор и деструктор достаточно просты, чтобы даже примитивная переменная оптимизатор Living может понять, что foo () не может быть вызван до того, как динамический тип будет изменен с базового на sub по подболу Constructor, или после того, как он будет изменен обратно на базовый
Подробнее здесь:
https://stackoverflow.com/questions/796 ... base-class