std::is_base_of仅在编译期判断public继承关系，参数顺序必须base在前derived在后，不识别private/protected继承，不适用于运行时对象或指针。
std::is_base_of 只在编译期判断类型继承关系，不能用于运行时对象、不识别 private/protected 继承，且参数顺序错一位就完全失效。
std::is_base_of
Base 必须写在前面，Derived 写在后面。写反了（比如 std::is_base_of<derived base></derived>）永远返回 false，哪怕继承关系真实存在。
- 正确：
std::is_base_of<a b>::value</a>→true（当B : public A） - 错误：
std::is_base_of<b a>::value</b>→false，即使A是基类 - 注意：
std::is_base_of<a a>::value</a>为true（自反性成立）
它只认 public 继承，private/protected 继承一律判 false
即使语法上写了 class B : private A，std::is_base_of<a b>::value</a> 仍为 false。这不是 bug，是标准行为 —— 它检测的是“能否安全地将 Derived* 隐式转为 Base*”，而 private 继承禁止这种转换。
- public 继承 → 转换合法 →
is_base_of返回true - protected/private 继承 → 转换非法 → 返回
false - 模板约束中若依赖此特性，务必确认继承方式，否则
static_assert会意外失败
不能用于运行时对象或指针，和 dynamic_cast 无关
std::is_base_of 操作的是类型（type），不是值（value）。传入 decltype(ptr) 或 std::remove_pointer_t<decltype></decltype> 是可以的，但直接对 void*、Base* 或某个对象实例调用毫无意义。
- ✅ 合法：
std::is_base_of<a std::remove_reference_t>>::value</a> - ❌ 无效：
std::is_base_of<a decltype></a>（若ptr是void*或未明确定义类型的指针） - ⚠️ 注意：它不等价于
dynamic_cast，也不关心虚函数表或 RTTI 是否开启
在模板约束中使用时，要防模板参数推导干扰
当 Derived 是模板参数（如 template<typename t> void foo(T&&)</typename>），直接写 std::is_base_of<base t> 可能因引用折叠、cv 限定符导致匹配失败。建议先做标准化处理。
- 推荐：
std::is_base_of_v<base std::remove_cvref_t>>（C++20） - 兼容 C++17：用
std::remove_cv_t<:remove_reference_t>></:remove_reference_t> - 特别注意：模板类特化（如
vector<int></int>）作为Derived时，is_base_of仍能工作；但若 Base 本身是模板别名（如using Base = std::string;），需确保其为完整类型
最容易被忽略的是：它根本不检查对象实际动态类型 —— 即使你传了一个 B* 指向 B 实例，std::is_base_of<a decltype></a> 判断的仍是 B 和 A 这两个编译期类型的关系，而非该指针此刻是否真指向 A 的子类实例。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
