std::is_base_of严格要求基类在前、派生类在后，仅编译期判断直接或间接继承关系，不识别private/protected继承的可访问性，参数顺序错误则静默返回false。
std::is_base_of 只能在编译期判断类型是否构成（直接或间接）继承关系，不能用于运行时对象、不能检查 private/protected 继承的“可访问性”，写反参数顺序会静默返回 false —— 这是绝大多数人踩坑的起点。
std::is_base_of
它不关心你“想查谁是不是谁的子类”，只按字面执行：第一个参数是“疑似基类”，第二个是“疑似派生类”。顺序错，结果永远是 false，且编译器不会警告。
-
std::is_base_of_v<base derived>→ 正确，检查 Base 是否为 Derived 的基类 -
std::is_base_of_v<derived base></derived>→ 错误，哪怕继承真实存在，也返回false - 即使
Base和Derived是同一类型，std::is_base_of_v<base base>在 C++17 及以后是true（标准允许），但旧标准可能为false；不要依赖这个行为 - 若其中任一类型未完全定义（比如只有前置声明），编译失败，不是返回
false
为什么 std::is_base_of 不能替代 dynamic_cast 或 typeid？
它根本不碰运行时对象，只看源码里写的类型名和继承声明。一个 Base* 指向 Derived 实例，std::is_base_of_v<base decltype> 查的是 Base 和 Base 的关系（因为 *ptr 的静态类型就是 Base&），永远为 true，毫无意义。
- 要确认指针实际指向哪个子类？用
dynamic_cast，且需开启 RTTI（-frtti） - 要获取运行时类型名？用
typeid(*ptr).name()，但名字被 mangling，不可解析也不跨平台 - 要约束模板参数只能接受某基类的派生类型？才轮到
std::is_base_of，配合static_assert或std::enable_if - 关闭 RTTI 后，
dynamic_cast和typeid失效，但std::is_base_of照常工作
常见误用：把 is_base_of 当 is_same 或 is_convertible 用
它只识别真实的继承结构，对语义相似但无继承关系的类型完全无感。比如 std::vector<int></int> 和 std::deque<int></int> 都有 size()，但 std::is_base_of_v<:vector>, std::deque<int>></int></:vector> 是 false —— 它们压根没继承关系。
立即学习“C++免费学习笔记（深入）”；
- 检查两个类型是否完全相同？用
std::is_same_v<t u></t> - 检查能否隐式转换（如
int→double）？用std::is_convertible_v<t u></t> - 检查是否有继承关系但不确定方向？得手动写两个判断：
std::is_base_of_v<a b> || std::is_base_of_v<b a></b></a> - 想强制要求公有、非虚、非自检的继承？C++20 起用
std::derived_from<a b></a>，它比std::is_base_of更严格也更安全
模板中做类型约束时，为什么还要加 std::is_class_v？
std::is_base_of 对非类类型（如 int、void、函数类型）的行为未定义，可能直接导致编译失败，而不是安静地返回 false。所以真正健壮的约束必须先筛掉非法类型。
- 错误写法：
static_assert(std::is_base_of_v<base t>)—— 若T是int，编译报错，信息难读 - 正确写法：
static_assert(std::is_class_v<t> && std::is_base_of_v<base t>)</t> - C++20 可封装为 concept：
template<typename t> concept DerivedFromBase = std::is_class_v<t> && std::is_base_of_v<base t>;</t></typename> - 注意：如果 Base 本身不是完整类（只有前置声明），
std::is_base_of同样失败，这点容易被忽略
最易被忽略的一点：它不检查继承的“可见性”，private 继承也会让 std::is_base_of 返回 true；而你在模板里用它做约束时，用户仍可能因访问权限问题在后续代码中编译失败 —— 这个 gap 需要靠文档或额外的 static_assert 补位。
