当派生类是最终的时，C++ 虚函数内联？

Question

我在嵌入式环境中使用 C++，其中虚拟函数的运行时间很重要。我读过有关可以内联虚函数的罕见情况，例如:Are inline virtual functions really a non-sense?接受的答案指出，只有在运行时知道确切的类时，内联才有可能，例如在处理本地、全局或静态对象(不是指针或对基类型的引用)时。我理解这背后的逻辑，但我想知道在以下情况下是否也可以进行内联:

class Base {

    public:

        inline virtual void x() = 0;
}

class Derived final : Base {

    public:

        inline virtual void x(){
            cout << "inlined?";
        }
}

int main(){
    Base* a;
    Derived* b;

    b = new Derived();
    a = b;

    a->x(); //This can definitely not be inlined.
    b->x(); //Can this be inlined?
}

从我的角度来看，编译器应该在编译时知道 a 的确定类型，因为它是最终类。在这种情况下是否可以内联虚函数？如果不是，那为什么呢？如果是，那么 gcc 编译器(分别是 avr-gcc)是否这样做？

谢谢!

Answer 1

第一步称为去虚拟化；其中函数调用不通过虚拟分派(dispatch)。

编译器可以并且确实将 final方法和最终类的方法去虚拟化。这几乎就是 final 的全部要点。

一旦去虚拟化，就可以内联方法。

一些编译器有时可以证明 *a 的静态类型，甚至可以将其去虚拟化。这不太可靠。 Godbolt 的编译器资源管理器可用于了解可能发生哪些特定优化以及如何失败。