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

Question

我在嵌入式环境中使用 C，其中虚拟函数的运行时确实很重要。我读过关于可以内联虚拟函数的罕见情况，例如：内联虚函数真的是无意义的吗？接受的答案指出，只有在运行时已知确切的类时，例如在处理本地、全局或静态对象（不是指针或对基类型的引用）时，才有可能进行内联。我理解这背后的逻辑，但我想知道在以下情况下是否也可以内联：

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?
}

从我的观点来看，编译器应该在编译时知道的最终类型，因为它是一个最终类。在这种情况下，是否可以内联虚拟函数？如果不是，那么为什么？如果是，那么gcc编译器（分别是avr-gcc）会这样做吗？

谢谢

Answer 1

第一步称为去中心化；其中函数调用不经过虚拟调度。

编译器可以并且确实将final方法和final类的方法去虚化。这几乎是final的全部内容。

一旦去货币化，方法就可以内联。

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