声明新的非重写成员函数时，virtual final与非虚函数有何区别？

一、核心语义差异 #

• 虚函数属性：virtual final 本质还是虚函数，会被加入类的虚函数表（vtable）；而非虚函数完全不属于多态体系，不会占用虚表条目。
• 绑定方式：
  • 非虚函数是静态绑定：编译阶段就确定调用的函数地址，无论通过对象、指针还是引用调用，都直接调用对应类的版本。
  • virtual final 函数默认是动态绑定：如果通过基类指针/引用调用，编译器会先通过虚表查找函数地址。不过编译器可能做去虚拟化优化，但这不是强制要求。
• 继承限制：
  • virtual final 明确禁止子类重写该函数，子类尝试重写会直接编译报错。
  • 非虚函数子类可以定义同名函数，这属于名字隐藏（name hiding），不是多态重写，调用时需要明确指定类名才能访问基类版本。

二、关于编译器优化的问题 #

你的猜测有一定合理性，但要明确：
编译器可以对未被重写的 virtual final 函数做去虚拟化优化——比如在能确定调用对象的具体类型时，把动态绑定转为静态调用，效果和非虚函数一致。但这是编译器的可选优化行为，不是C++标准强制要求的：

• 在开启高优化级别（比如 -O2）时，主流编译器（GCC、Clang、MSVC）通常会做这个优化；
• 在Debug模式或低优化级别下，可能还是会保留虚表查找的逻辑。

三、代码示例对比 #

#include <iostream>

class Base {
public:
    void non_virtual() {
        std::cout << "Base::non_virtual\n";
    }

    virtual final void virt_final() {
        std::cout << "Base::virt_final\n";
    }
};

class Derived : public Base {
public:
    // 合法：隐藏基类的非虚函数
    void non_virtual() {
        std::cout << "Derived::non_virtual\n";
    }

    // 编译错误：无法重写final函数
    // void virt_final() override;
};

int main() {
    Base b;
    Derived d;
    Base* ptr = &d;

    b.non_virtual();    // 输出 Base::non_virtual
    d.non_virtual();    // 输出 Derived::non_virtual
    ptr->non_virtual(); // 输出 Base::non_virtual（静态绑定）

    b.virt_final();     // 直接调用 Base::virt_final
    d.virt_final();     // 调用 Base::virt_final（子类无法重写）
    ptr->virt_final();  // 优化后直接调用，否则走虚表查找
    return 0;
}

内容的提问来源于stack exchange，提问作者Peter