class A {
public:
virtual void f() = 0;
};
class B : public A {
public:
void f() final override { };
};
int main() {
B* b = new B();
b->f();
}
В этом случае компилятор должен продолжать поиск v-таблицы для b->f(); или может вызвать B::f() напрямую, потому что он был помечен final?
Окончательно используется для оптимизации в С++?
Это может быть и есть.
Как уже отмечалось, он уже используется; см. здесь и здесь, показывающий сгенерированный код для переопределить с помощью и без final.
Оптимизация в этих строках будет относиться к "де виртуализации" виртуальных вызовов. Это не всегда сразу влияет на final класса или метода. Хотя они предлагают помощь для определения этого, применяются обычные правила виртуальных функций и иерархии классов.
Если компилятор может определить, что во время выполнения всегда будет вызываться конкретный метод (например, с учетом примера OP с автоматическим объектом), он может применять такую оптимизацию в любом случае, независимо от того, является ли метод final или нет.
Оптимизации подпадают под правило as-if, которые позволяют компилятору применять любое преобразование, если наблюдаемое поведение является как-бы исходный код был выполнен.