std::is_base_of仅在编译期对类型继承关系做静态判断才真正可靠；它要求参数顺序为基类在前、派生类在后，仅识别public继承，适用于模板参数约束，不可用于运行时类型检测或替代dynamic_cast与typeid。
std::is_base_of 在什么场景下才真正可靠
它只在编译期对类型（不是对象）做静态判断，运行时指针/引用的多态关系它完全不管。比如 Base* 指向 Derived 实例，std::is_base_of<base derived>::value 是 true，但 std::is_base_of<base decltype> 依然只看 Base 和 Base 的关系——因为 *ptr 的静态类型就是 Base&。
- 适用：模板元编程中约束模板参数，比如要求
T必须从Widget派生 - 不适用：判断某个
void*或Base*实际指向的是哪个子类 - 私有继承默认不被识别，除非显式用
public声明继承关系
std::is_base_of 的参数顺序不能反
第一个是“基类”，第二个是“派生类”——和日常说话习惯相反，写反了结果永远是 false，而且编译器不会报错。
-
std::is_base_of<base derived>::value→ 正确，检查Base是否为Derived的基类 -
std::is_base_of<derived base>::value</derived>→ 错误，即使Base是基类，这个也返回false - 可配合
static_assert提前拦截：static_assert(std::is_base_of_v<base t>, "T must inherit from Base");
和 dynamic_cast、typeid 比较：为什么不能互相替代
std::is_base_of 是纯编译期类型系统操作；dynamic_cast 依赖 RTTI 和运行时虚表查找；typeid 比较的是动态类型。三者解决的问题维度不同，混用会出逻辑漏洞。
- 想在模板里禁止非法类型？用
std::is_base_of - 想把
Base*安全转成Specialized*？必须用dynamic_cast，且指针非空才表示成功 - 想打印当前对象真实类型名？
typeid(*ptr).name()，但注意名字可能被 mangling，且不保证跨平台一致 - 如果关闭 RTTI（如编译选项
-fno-rtti），dynamic_cast和typeid失效，但std::is_base_of不受影响
常见错误：把 is_base_of 当 is_same 或 is_convertible 用
它只认直接或间接的 public 继承链，不处理类型转换、别名、模板特化等间接关系。比如 std::vector<int></int> 和 std::deque<int></int> 都有 size()，但 std::is_base_of<:vector>, std::deque<int>>::value</int></:vector> 是 false —— 它们根本没继承关系。
立即学习“C++免费学习笔记（深入）”；
- 检查两个类型是否相同？用
std::is_same_v<t u></t> - 检查能否隐式转换（比如
int→double）？用std::is_convertible_v<t u></t> - 检查是否有继承关系但不确定方向？得手动写两个
is_base_of判断，或封装成宏/constexpr 函数 - 模板参数推导失败时，
std::is_base_of可能因 SFINAE 被静默丢弃，需配合std::enable_if_t或 C++20requires显式约束
