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