c++ - 默认情况下，final 类的方法是否应用于函数指针优化？

Question

正如这里提到的: How does the compiler benefit from C++'s new final keyword? 正如这个问题中所述，方法的final关键字可以优化vtable调用到简单函数指针的调用。

如果我有课:

class Derived final : public Base
{
virtual void Foo() override;
//virtual void Foo() final override; Are these statements equal?
}

编译器会将此类方法标记为final并应用函数指针而不是vtable吗？ 我对具有最高优化级别设置的 vc120 和 clang 编译器行为感兴趣。

Answer 1

没有什么可以阻止编译器推断 Foo 不能被进一步覆盖。由于您在问题中指定了 Clang，因此这是我使用 -O1 在 Clang 5 上测试的示例代码:

struct Base {
    virtual void Foo() = 0;
};

struct  Derived final : public Base
{
virtual void Foo() override {}
//virtual void Foo() final override; Are these statements equal?
};

Derived* getD();

int main() {

    getD()->Foo();

    return 0;
}

它产生了这个( Live on godbolt ):

main:                                   # @main
        push    rax
        call    _Z4getDv
        mov     rdi, rax
        call    _ZN7Derived3FooEv
        xor     eax, eax
        pop     rcx
        ret
_ZN7Derived3FooEv:                      # @_ZN7Derived3FooEv
        ret

如您所见，编译器完全能够推断出它可能直接调用 Derived::Foo。