为何C++需在基类加virtual而非仅在子类用override？

这个问题问到点子上了！其实这背后是C++和Java在设计哲学、历史背景上的核心差异，咱们慢慢唠清楚：

一、C++的"零开销抽象"与历史包袱 #

C++是从C语言演化而来的，继承了C的两个核心特质：一是"程序员掌控一切"，二是零开销抽象原则——如果一个特性你不用，就绝对不能让它产生额外性能或内存开销。

• 虚函数的实现依赖虚函数表（vtable）和虚指针（vptr）：每个包含虚函数的类会生成一张虚表，每个对象会多一个指针指向这张表，调用虚函数时还要通过指针间接跳转，这些都是额外开销。如果基类函数不标记virtual，编译器就会生成静态绑定的调用，完全没有这些额外成本。
• 早期C的核心目标是和C无缝兼容，而C里根本没有虚函数、继承这些面向对象特性。默认不开启虚函数，能保证大量现存的C代码直接在C环境中编译运行，不会因为隐式添加虚表而破坏原有逻辑或性能。

举个C++的例子：

class Base {
public:
    // 显式标记：这个函数设计为可被派生类重写
    virtual void doTask() {
        // 基类实现
    }
};

class Derived : public Base {
public:
    // C++11引入的override是可选检查，确保签名和基类virtual函数一致
    void doTask() override {
        // 派生类自定义实现
    }
};

二、C++的"显式优于隐式"原则 #

C++非常讨厌"隐式行为"，因为它容易导致意外错误：

• 标记virtual相当于给编译器和其他开发者一个明确信号："这个函数是接口的一部分，派生类可以重写它"。反过来，没标记virtual就意味着："这个函数的行为是固定的，不应该被重写（至少不是多态重写）"。
• 比如你在派生类里写了一个和基类同名的函数，如果基类没标virtual，那这只是隐藏了基类函数，而不是多态重写——这种行为如果是无意识的，很容易引发bug。而virtual的显式性，能从根源上避免这种误解。

三、Java的设计哲学：默认多态与纯粹面向对象 #

Java从诞生起就是纯粹的面向对象语言，没有C的历史包袱，它的设计理念是"一切皆对象，多态是核心"：

• Java里所有非static、非final、非private的方法，默认都是可重写的——在Java的世界观里，派生类扩展或修改父类行为是天经地义的默认操作，所以不需要显式标记。
• Java的@Override注解只是一个编译期检查工具：它帮你验证你写的函数确实是重写了父类的方法，避免因为签名错误（比如参数类型、返回值写错）导致的"伪重写"问题，但它不是重写的必要条件。

看个Java的例子：

class Base {
    // 默认允许被重写
    void doTask() {
        // 基类实现
    }
}

class Derived extends Base {
    // @Override做检查，确保没有写错签名
    @Override
    void doTask() {
        // 派生类自定义实现
    }
}

四、总结一下 #

两种语言的选择本质是优先级的不同：

• C++优先考虑性能控制和历史兼容性，把是否开启多态的控制权完全交给程序员，用virtual显式声明可重写接口。
• Java优先考虑面向对象模型的纯粹性，把多态作为默认行为，用@Override辅助避免错误。

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