动态类型绑定是C++实现运行时多态的机制，需满足三条件：基类函数声明为virtual、通过基类指针或引用调用、实际指向派生类对象；析构函数必须为虚以避免资源泄漏。
动态类型绑定本身不是用来“规避语义混淆”的工具，而是C++实现运行时多态的机制。所谓“语义混淆”，通常源于开发者误用静态绑定行为（比如非虚函数调用、指针/引用类型与实际对象类型不一致），却期待动态分发效果。真正要解决的，是**明确区分静态类型与动态类型，并主动启用动态绑定条件**。
确保基类接口声明为虚函数
只有被 virtual 修饰的成员函数才能触发动态绑定。若基类函数未声明为虚，即使派生类重写同名函数，通过基类指针调用时仍走静态绑定——编译器只看指针的静态类型，直接绑定到基类版本，完全忽略实际对象类型。
- 错误写法：
void print() { cout → 调用永远固定在 Base::print() - 正确写法：
virtual void print() { cout → 运行时根据真实对象类型决定调用哪个 print()
用基类指针或引用持有派生对象
动态绑定只在通过基类指针或基类引用调用虚函数时生效。直接以派生类对象调用，哪怕函数是虚的，也属于静态绑定（因为类型已知且唯一）。
- 有效场景：
Base* p = new Derived(); p->print();→ 触发动态绑定 - 无效场景：
Derived d; d.print();→ 即使 print 是虚函数，也不涉及多态分发
避免在虚函数中依赖静态类型信息
虚函数内部若使用 typeid(*this) 或 dynamic_cast 判断类型，说明设计已偏离多态本意。多态的核心是“**对同一接口，不同对象自动执行各自逻辑**”，而不是在函数体内做类型分支。
- 反模式：
if (typeid(*this) == typeid(Derived)) { ... } - 正向做法：把差异化逻辑分别实现在各派生类的虚函数重写中，让运行时自动路由
注意析构函数必须为虚（尤其涉及 delete）
若通过基类指针删除派生类对象，而基类析构函数非虚，则仅调用基类析构函数，派生类部分资源不会释放——这不是语义混淆，而是未定义行为或内存泄漏。
- 必须写：
virtual ~Base() = default;或显式定义 - 否则：
Base* p = new Derived(); delete p;→ Derived 的析构函数根本不会执行
