虚基类声明必须写在继承列表中而非类定义开头，virtual修饰继承方式而非类本身；其构造函数仅由最派生类显式调用一次，虚继承影响对象布局与指针转换。
虚基类声明必须写在继承列表里，不是类定义开头
很多人以为 virtual 要加在 class 关键字前面，比如写成 virtual class Derived : public Base —— 这是错的，编译直接报 expected class-name before '{' token。虚继承修饰的是“继承方式”，不是类本身。
正确写法是把 virtual 放在冒号后的继承路径上：
class A { public: int x = 10; };
class B : virtual public A {}; // ✅ 这里 virtual 修饰的是 "public A"
class C : virtual public A {};
class D : public B, public C {}; // D 中 A 只有一份- 只对直接继承生效：B 和 C 各自声明
virtual public A，D 才能共享一份 A 子对象 - 如果 B 写了
virtual而 C 没写，D 里仍会有两份 A（一份来自 B 的虚基，一份来自 C 的普通基） - 虚继承会改变对象布局，
sizeof通常变大，且访问虚基类成员可能多一次间接寻址
构造函数初始化顺序由最派生类控制，不是按继承顺序
多重继承下，虚基类的构造函数**只由最派生类显式调用一次**。中间类即使写了初始化列表，也会被忽略。这是最容易踩坑的地方：你以为 B 构造时初始化了 A，结果 D 构造时没调 A 的构造函数，A 成员就是未定义值。
class A { public: A(int v) : val(v) {} int val; };
class B : virtual public A { public: B() : A(42) {} }; // ❌ 这行无效！
class C : virtual public A { public: C() : A(99) {} }; // ❌ 同样无效！
class D : public B, public C { public: D() : A(100), B(), C() {} };- D 的构造函数必须显式调用
A(100)，否则编译失败（除非 A 有默认构造函数） - B 和 C 的初始化列表里对 A 的调用会被编译器静默丢弃
- 如果 A 没有默认构造函数，又没在 D 中初始化，错误信息是
call to implicitly-deleted default constructor of 'A'
虚基类指针转换需要 runtime 支持，static_cast 不够用
从派生类指针转到虚基类指针，偏移量在编译期无法确定（因为虚基位置依赖最派生类布局），所以 static_cast 会失败或行为未定义。必须用 dynamic_cast（要求开启 RTTI）或确保类型安全的 static_cast 配合明确路径。
立即学习“C++免费学习笔记（深入）”；
class A { public: virtual ~A() = default; };
class B : virtual public A {};
class C : virtual public A {};
class D : public B, public C {};
<p>D d;
A<em> a1 = static_cast<A</em>>(&d); // ❌ 编译失败：cannot convert from 'D<em>' to 'A</em>' via virtual base
A<em> a2 = dynamic_cast<A</em>>(&d); // ✅ 正确，但要求 A 有虚函数- 没有虚函数的类不能用
dynamic_cast到其虚基类，会报cannot dynamic_cast错误 - 若确定层级关系，可用两次
static_cast：先转到某个非虚继承的中间类，再转到 A - 虚继承让地址转换开销略增，嵌入式或零成本抽象场景要留意
二义性不只出现在函数调用，成员访问和 using 声明也受影响
虚基类解决的是“子对象唯一性”，但不会自动解决名字查找冲突。如果两个非虚基类都定义了同名成员，即使它们共有一个虚基类，仍然会触发二义性错误。
class A { public: void foo() {} };
class B : public A {}; // 注意：这里不是 virtual！
class C : public A {};
class D : public B, public C {
public:
void bar() { foo(); } // ❌ error: request for member 'foo' is ambiguous
};- 上面例子中 A 是普通继承，B 和 C 各自带一份 A，所以
foo()有两个来源 - 改成
B : virtual public A和C : virtual public A后，foo()仍可能二义——因为 B 和 C 可能各自重写了foo()，而 D 没有覆盖 - 此时需显式指定：
B::foo()或用using B::foo引入特定版本 - 虚继承本身不消除重名函数的歧义，它只确保基类子对象唯一
虚基类真正难的不是语法，是理解“谁负责构造”和“谁决定布局”。这两个问题一旦想岔，调试时看到的往往是内存乱码或断言失败，而不是清晰的编译错误。
