virtual在C++中有两个独立用途：一是声明虚函数实现运行时多态，支持动态绑定与重写；二是虚继承解决菱形继承中的重复子对象问题，由最派生类初始化虚基类。二者语义无关，不可混淆。
virtual 在 C++ 中有两个完全独立的用途：一个是用于声明 虚函数（实现运行时多态），另一个是用于 虚继承（解决多重继承中的菱形继承问题）。两者语义无关，只是共用了同一个关键字，容易混淆，需要分开理解。
虚函数：让调用在运行时决定走哪个版本
当基类中某个成员函数被声明为 virtual，就表示它支持动态绑定。派生类可以 重写（override） 这个函数，通过基类指针或引用调用时，实际执行的是对象真实类型的函数版本，而不是指针/引用静态类型的版本。
关键点：
- 虚函数必须是非静态、非构造/析构（但析构函数常需 virtual）的成员函数；
- 派生类中同名、同参数、同返回类型（协变除外）的函数会自动成为虚函数，无需再写 virtual（但建议加上以提高可读性）；
- 只有通过指针或引用调用时才触发动态绑定；直接通过对象调用仍是静态绑定；
- 虚函数表（vtable）和虚函数指针（vptr）是编译器实现机制，每个含虚函数的类有 vtable，每个对象开头隐式存 vptr。
虚继承：解决“菱形继承”中的重复子对象问题
当一个类被多个间接基类共同继承（比如 D 同时继承 B 和 C，而 B 和 C 都继承自 A），若不加 virtual，D 中就会出现 两份 A 的子对象，导致二义性（如访问 A::x 不知道选哪份）、空间浪费、初始化混乱等问题。
立即学习“C++免费学习笔记（深入）”；
此时，在 B 和 C 声明继承 A 时加上 virtual，即：class B : virtual public A，就表示“虚继承 A”。这样，无论多少条继承路径通往 A，D 中只保留 一份 A 的子对象。
虚继承的关键行为：
- 虚基类的初始化由 最派生类（这里是 D）负责，B 和 C 的构造函数中对 A 的初始化会被忽略；
- 虚基类子对象在内存中通常放在对象末尾，且与非虚基类的布局不同；
- 访问虚基类成员不会产生二义性，因为只有一份；
- 虚继承带来一定开销（额外指针、构造顺序更复杂），应只在真正需要时使用。
虚基类不是“抽象类”，也不影响多态
注意：“虚基类”这个说法容易误导——它和 abstract class（抽象类） 完全无关。虚基类可以是具体类，也可以含纯虚函数，但“virtual 继承”本身不强制任何函数为纯虚。是否抽象，取决于是否有纯虚函数；是否支持多态，取决于是否有虚函数。两者正交。
常见误区提醒
- virtual 不可传递：A 虚继承于 X，B 普通继承于 A，那么 B 中的 X 仍是虚基类；但“虚性”不会因中间层而消失，也不会因后续继承而新增；
- 虚函数和虚继承没有关系：一个类可以有虚函数但不参与虚继承，也可以虚继承但不含任何虚函数；
- 析构函数最好 virtual：如果类设计为多态基类（即预期被继承并用基类指针 delete），其析构函数应声明为 virtual，否则派生部分不会被正确析构；
- 不要为了“听起来高级”而滥用 virtual：虚函数有间接调用开销，虚继承增加对象大小和构造复杂度，优先考虑需求而非语法炫技。
