C++纯虚函数为何必须使用virtual关键字？

你这个问题问到了C++和Java在抽象接口设计上的核心差异，答案很明确：不能省略virtual只写=0，这既是语法强制要求，也是逻辑层面的必然结果。

1. 语法层面的硬性规则 #

在C++的语法定义里，=0是虚函数的“纯虚标记”，它本身不能用来声明一个函数为虚函数，只能给已经被virtual关键字标记的函数附加“纯虚”属性。编译器会直接拒绝void function() = 0这种写法——因为=0没有对应的虚函数上下文，属于语法错误。

简单说：virtual是开启函数的“虚特性”，=0是给这个虚函数加上“无默认实现、类为抽象类”的标记，二者是递进关系，缺一不可。

2. 逻辑层面的必要性 #

纯虚函数的核心价值是定义抽象接口，支持多态调用，而这完全依赖C++的虚函数机制：

• 只有virtual函数会被放入虚函数表（vtable），实现运行时动态绑定——也就是基类指针/引用可以调用到派生类的具体实现，这是抽象接口的核心意义。
• 如果一个函数不是virtual，它的调用是编译期静态绑定的，基类指针调用时只会找基类的函数实现，但纯虚函数本身没有基类实现，这就会导致矛盾；同时也失去了“强制派生类实现并支持多态”的设计初衷。

和Java的差异对比 #

你有Java背景，刚好可以对比理解：Java里所有非静态、非final、非private的方法默认都是虚方法，所以抽象方法只需要加abstract关键字就行，不需要额外标记“虚”。但C的设计理念是默认非虚——因为虚函数会带来微小的运行时开销，C选择让开发者显式开启多态特性，所以纯虚函数必须先通过virtual开启虚特性，再用=0标记为纯虚。

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