C++ 虚函数联编（Static vs Dynamic Binding）是什么？（如何理解绑定的时机）

虚函数调用在编译期确定“查vtable+调用”指令模板，运行时通过this对象的vptr和偏移量动态决定具体函数；非虚函数则编译期直接绑定地址。

虚函数调用时，编译器到底在哪儿决定调哪个函数？

虚函数的“动态绑定”不是运行时才临时查表，而是编译器在生成调用指令时就写死了“去 vtable 里取第 N 个函数指针”——真正不确定的是那个“N”和“vtable 地址”，它们得等运行时对象确定了才能拿到。

比如 obj->func() 是虚函数，编译器不直接生成跳转到 Derived::func 的指令，而是生成类似“取 this 指向对象的首地址 → 读前 8 字节（vptr）→ 加偏移查 vtable → 调用该地址函数”的固定模式。这个模式是静态决定的，但具体调谁，取决于 this 当时指向的对象类型。

• 非虚函数：编译期直接绑定到符号地址，连 vtable 都不碰
• 虚函数：编译期绑定到“查 vtable + 调用”这一操作模板，不绑定目标函数体
• 如果 func() 是内联虚函数？编译器通常放弃内联，因为无法在编译期确认目标实现

为什么父类指针调子类对象，sizeof 却不变？

因为虚函数机制靠的是隐式插入的 vptr（虚函数表指针），不是靠改变对象内存布局的“大小”。所有含虚函数的类，编译器自动在对象开头加一个 void* 大小的 vptr 字段——不管它有多少个虚函数，也不管它继承了几层。

这意味着：Base 和 Derived 如果都含虚函数，sizeof(Base) 和 sizeof(Derived) 可能相等（除非 Derived 自己新增了成员变量）；但它们的 vtable 内容不同，vptr 指向的地址也不同。

• vptr 插入位置固定：对象内存起始处（MSVC/GCC/Clang 一致）
• 没有虚函数的类，sizeof 不额外加 vptr 空间
• 多重继承下 vptr 可能不止一个，但 sizeof 仍只反映“最外层对象”的布局，不体现中间基类的 vptr

static_cast 和 dynamic_cast 对虚函数调用的影响差别在哪？

关键不在“能不能调虚函数”，而在于“你传给虚函数调用的 this 指针是否合法”。虚函数本身不关心指针怎么来，只关心它指向的对象有没有正确的 vptr 和 vtable。

static_cast 做的是编译期偏移计算，不验证对象真实类型；dynamic_cast 运行时检查 vtable 是否匹配目标类型——如果 cast 失败返回空指针，此时再调虚函数就是未定义行为（大概率 crash 在 vptr 解引用那步）。

• 错误示例：Base* p = new Base; Derived* d = static_cast(p); d->virt_func(); → d 的 vptr 实际指向 Base 的 vtable，但 Derived::virt_func 的偏移可能越界，调用会跳错地址
• 安全做法：用 dynamic_cast 后判空，再调用
• 注意：dynamic_cast 要求源类型至少有一个虚函数（否则编译不过），本质是依赖 vtable 存在

虚析构函数没写，为什么有时程序也不崩溃？

不崩溃 ≠ 正确。析构函数是否虚，只影响“通过基类指针 delete 派生类对象”这一种场景下的行为。如果没写虚析构，delete 时只会调用基类析构函数，派生类部分的资源（如堆内存、文件句柄）不会被清理——但这些资源泄漏或未关闭，不一定立刻触发 crash。

常见掩盖现象：派生类没分配额外资源、析构函数为空、资源释放逻辑在其他地方做了补偿……这些会让问题延迟暴露，直到换编译器、开优化、改内存布局后突然崩在奇怪的地方。

• 只要类设计为被继承，且有指针指向它（尤其多态使用），就必须声明虚析构
• 纯虚析构函数也要提供定义：virtual ~Base() = 0; Base::~Base() {}
• 现代 C++ 推荐用 std::unique_ptr 管理多态对象，它会在编译期检查析构函数是否可访问，间接帮你发现漏写的虚析构

虚函数绑定的时机藏在汇编指令结构里，而不是语言描述中；最容易忽略的，是以为“没 crash 就没问题”，其实资源泄漏和未定义行为往往在脱离调试环境后才浮现。