std::is_base_of仅在编译期判断public继承关系，要求Base在前、Derived在后，顺序颠倒结果恒为false；不识别private/protected继承，不依赖RTTI，与dynamic_cast和typeid解决维度不同。
std::is_base_of 只在编译期判断类型继承关系，且仅对 public 继承有效；它不看对象、不看运行时指针指向谁，参数顺序写反了也不会报错，但结果永远是 false。
std::is_base_of 的参数顺序必须是
在前、
在后
这是最容易踩的坑：日常说“D 继承自 B”，但
要求写成
。写成
即使 B 真是基类，结果也是
，编译器完全不提醒。
正确：
→ true（
）
错误：
→ false（顺序颠倒）
可配合
提前拦截：
它只识别 public 继承，private/protected 继承默认返回 false
的设计目标是“能否安全地将派生类对象隐式转为基类引用/指针”，这天然要求 public 继承。如果用了
，即使语法上是继承，
仍为
。
想让它识别私有继承？不行——这不是它的职责，也不符合类型系统语义
需要运行时多态或强制转换？该用
，不是
检查是否能转换（不限继承方式）？考虑
，但它也不区分继承路径，只管转换是否合法
模板类继承时，
会严格比对模板实参
比如
和
，即使
模板定义为
，
仍是
——因为
和
是两个完全不同的类型。
立即学习
“
C++免费学习笔记（深入）
”；
解决办法之一：用辅助检测，如
检查模板骨架：
典型实现依赖
+ 函数重载推导：
注意：这种技巧无法处理偏特化或别名模板，仅适用于标准模板形参结构
它和
、
完全不是一回事
三者解决的问题维度不同，混用会导致逻辑断裂：
：纯编译期、类型到类型，不依赖 RTTI，关掉
也不影响
：运行时、指针/引用到指针/引用，依赖虚函数表和 RTTI，
下直接失效
：运行时获取动态类型名，同样依赖 RTTI，且
返回的是 mangling 后字符串，跨平台不可靠
常见误用：拿
去验证
指向的到底是不是
—— 这是
的活，
根本看不到运行时对象
最常被忽略的一点：它判断的是「类型定义层面的继承关系」，而不是「某个变量当前实际承载的类型」。哪怕你写了
，
拿到的仍是
，结果恒为
——但这个 true 和
实际指向什么毫无关系。
BaseDerivedstd::is_base_ofstd::is_base_of::valuestd::is_base_of::value falsestd::is_base_of::value Dot : public Pointstd::is_base_of::value static_assertstatic_assert(std::is_base_of_v, "T must inherit from Point"); std::is_base_ofclass Derived : private Basestd::is_base_offalsedynamic_caststd::is_base_ofstd::is_convertible_vstd::is_base_ofPointDotDotclass Dot : public Pointstd::is_base_of, Dot>::value falsePointPointis_base_of_templateis_base_of_template>::value decltypetemplate class C, typename T> using is_base_of_template = decltype(is_base_of_template_impl(std::declval())); dynamic_casttypeidstd::is_base_of-fno-rttidynamic_cast-fno-rttitypeidtypeid(*ptr).name()std::is_base_ofBase*Specialized*dynamic_caststd::is_base_ofBase* ptr = new Derived;std::is_base_ofBase&trueptr