std::is_base_of要求Base在前、Derived在后，仅对public继承返回true，且只接受完整类类型，不支持指针/引用/非类类型，与dynamic_cast无任何关系。
std::is_base_of 参数顺序写反了就失效
它只认 std::is_base_of<base derived> 这个顺序，Base 必须在前、Derived 在后。写成 std::is_base_of<derived base></derived> 会永远返回 false，哪怕继承关系真实存在，编译器也不会报错——你只会发现 static_assert 没触发，但后续逻辑出问题。
常见错误场景：
- 把日常说的“B 是 A 的子类”直接套进模板参数，写成
std::is_base_of<b a></b> - 在模板别名或类型推导中混淆了变量名语义，比如
using T = Derived;后误用std::is_base_of<t base></t> - 复制粘贴时没改参数位置，尤其在批量检查多个继承对时容易漏看
private/protected 继承会被 std::is_base_of 当作不存在
std::is_base_of 判断的不是“语法上有没有写 : A”，而是“能否安全地把 Derived* 隐式转成 Base*”。这个转换只在 public 继承下合法，所以：
-
struct B : private A {};→std::is_base_of_v<a b></a>是false -
struct B : protected A {};→ 同样是false -
struct B : public A {};→ 才是true
这不是 bug，是标准行为。如果你在模板约束里用了它，而基类实际是私有继承，static_assert 就会意外失败。别指望它“宽容地识别所有继承写法”。
立即学习“C++免费学习笔记（深入）”；
不能直接对指针、引用或 auto 类型用 is_base_of
std::is_base_of 只接受完整类类型（complete class type），不能传 Base*、const Derived& 或 auto 推导出的引用类型。例如：
-
std::is_base_of_v<base decltype>：如果ptr是Base*，那decltype(ptr)是Base*，不是类类型 → 编译失败 - 正确做法是先剥离：
std::is_base_of_v<base std::remove_pointer_t>> - 模板参数带引用或 const？用
std::remove_cvref_t<t></t>（C++20）或std::remove_cv_t<:remove_reference_t>></:remove_reference_t>（C++17） - 加一层
std::is_class_v<t></t>检查，避免int、void等非类类型悄悄通过
它和 dynamic_cast 完全不是一回事
std::is_base_of 只看类型定义，不看对象实际内容；dynamic_cast 看的是运行时虚表和 RTTI。关闭 -fno-rtti 后者就废了，前者完全不受影响。
- 想限制模板只能接受某类子类型？用
std::is_base_of - 想把
Base*安全转成Specialized*？必须用dynamic_cast，且要判空 - 想确认某个
void*实际指向什么？std::is_base_of根本无能为力 - 混淆二者最典型的坑：在模板函数里写了
static_assert(std::is_base_of_v<base t>)，然后以为传个Base*进去就能做向下转型——不行，类型不匹配，断言甚至不会执行
最容易被忽略的一点：它根本不关心对象的动态类型。哪怕你传了一个 B* 指向 B 实例，它检查的仍是 B 和 A 的声明关系，而不是那个指针此刻“装的是谁”。
