针对这个视频做了点笔记与补充：
在C++运行时类型识别机制中，dynamic_cast和typeid是两个相互补充、但设计目标截然不同的工具。它们的核心差异在于：dynamic_cast做的是行为兼容性检查，而typeid做的是精确类型标识。
从底层实现来看，dynamic_cast的操作对象是继承关系。当写下dynamic_cast<Derived*>(pBase)时，编译器生成的代码会去遍历从pBase所指对象的动态类型到Derived类型的整个继承路径。这个过程中不仅会检查类型名称是否匹配，更重要的是会计算指针偏移量。因为C++允许多重继承，同一个对象内部可能同时包含多个基类子对象，Derived类在整个继承层次中的位置是固定的，但Base子对象可能不在起始地址。dynamic_cast能够根据RTTI中存储的偏移信息，自动调整指针值，确保转换后的指针正确指向Derived子对象的起始地址。这意味着，即使面临复杂到令人眩晕的多重继承、虚继承体系，dynamic_cast依然能给出正确的指针。更重要的是，它的行为是可预测的——转换失败对指针返回空，对引用抛出异常。
而typeid的操作对象是类型本身。当写下typeid(*pBase)时，编译器通过虚表取出对象的运行时类型信息，返回一个std::type_info对象。这个对象的核心能力是比较相等性和获取类型名称。注意它的语义是精确匹配：如果pBase指向的是Derived2对象，而Derived2继承自Derived，那么typeid(*pBase) == typeid(Derived)的结果是false，因为它只认最末端的派生类型。这一点往往成为设计缺陷的来源——程序员明明想表达“只要是Derived及其子类都行”，却错误地写成了精确匹配，导致代码无法应对未来的扩展。
现在来看实际开发中如何抉择。绝大多数需要RTTI的场景，本质需求是我想对这个对象做一些它基类没有定义的操作。假设你有一个Shape基类指针，你确信它指向的是Circle，你想调用setRadius()。这里的关键不是“它是不是Circle”，而是“它能不能被当作Circle来用”。dynamic_cast直接表达了这种意图：你尝试转换，成功了就说明它兼容Circle的接口。这种写法天然支持多态扩展——如果明天来了一个Ellipse也从Shape派生，只要它也能当Circle用，转换依然成功。但如果你用typeid先判断再强制转换，明天来了新的派生类，你的代码就必须修改if条件。这是开闭原则在RTTI层面的体现。
那么什么时候typeid才是合适的选择？主要有三类场景。第一类是调试和日志，你只是想知道对象的真实类型是什么，打印出来供人阅读，不需要根据类型做分支。这是typeid最无争议的使用方式。第二类是序列化框架，你需要把对象的完整类型名称写入文件或网络流，以便反序列化时重建对象。此时你确实需要那个精确的类型名字符串。第三类是工厂注册表，你可能维护一个std::unordered_map<std::type_index, std::function<...>>，用类型作为键来查找对应的创建函数。这时你需要的是精确匹配，而不是继承兼容——注册时用的是typeid(Concrete)，查找时用的也是typeid(Concrete)，中间不涉及任何向上或向下转换。这三类场景的共同点是：不需要根据类型做条件分支，或者需要的是精确的字符串/键值，而不是行为兼容性。
一个需要特别警惕的陷阱是用typeid配合static_cast来模拟dynamic_cast。这种写法极其危险，常常出现在初学者试图“优化性能”的代码中。假设你写成：
1 | if (typeid(*p) == typeid(Derived)) { |
这在单继承下可能偶然正确，一旦进入多重继承世界就必然崩溃。因为p指向的可能不是Derived子对象的起始地址，而static_cast不做偏移调整。即使你在单继承下侥幸通过了测试，未来维护者添加一个新基类就会让代码出现难以追踪的内存错误。更糟糕的是，如果p是空指针，typeid(*p)会直接抛出std::bad_typeid异常，而dynamic_cast对空指针只会安静地返回空。因此，任何时候你想要根据类型做向下转换，都必须使用dynamic_cast，这不是性能问题，而是正确性问题。
性能方面也存在差异。dynamic_cast需要遍历继承树，在最坏情况下复杂度是O(继承深度)，而typeid只是从虚表里取出一个指针，是O(1)操作。但在绝大多数业务逻辑中，这种差异完全可以忽略。如果确实处在性能关键路径上，正确的优化思路往往不是用typeid+static_cast来冒险，而是重新审视设计——是否可以用虚函数消除RTTI？是否可以用访问者模式？是否可以在上层就把类型信息以枚举形式传下来？这些方案不仅比typeid快，而且更安全、更可维护。
最后总结一个简单的决策流程：当面对一个基类指针，需要知道它背后的派生类型时，先问自己需要的是行为还是身份？如果我想调用派生类特有的函数，或者想确认这个对象是否支持某组操作，选dynamic_cast。如果我仅仅是想记录它的类型名字，或者把它作为字典的键，选typeid。如果你发现自己写if(typeid(*obj) == typeid(SomeClass))，停下来想一想：这个条件是否能容忍SomeClass的派生类？如果能，改成dynamic_cast；如果不能，写一行注释说明为什么必须精确匹配。