std::is_base_of仅在编译期判断public继承关系，要求首参为基类、次参为派生类，且类型必须完整、仅限public继承，否则返回false。
用 std::is_base_of 能在编译期判断两个类是否存在（直接或间接）public 继承关系，但必须严格满足参数顺序、类型完整性、访问控制等条件，否则结果不可信。
参数顺序写反了就永远是 false
std::is_base_of 的第一个模板参数必须是基类，第二个必须是派生类 —— 和日常说法“D 继承自 B”相反。写成 std::is_base_of<d b></d> 不会报错，但恒返回 false，哪怕继承真实存在。
- ✅ 正确：
std::is_base_of_v<base derived> - ❌ 错误：
std::is_base_of_v<derived base></derived>（即使 Base 真是基类，也返回false） - ⚠️ 模板中容易踩坑：比如参数名叫
TBase和TChild，但调用时误写为std::is_base_of<tchild tbase></tchild>，编译器不提醒 - 建议配合
static_assert提前拦截：static_assert(std::is_base_of_v<base t>, "T must publicly inherit from Base");
只认 public 继承，private/protected 一律返回 false
这是标准行为，不是 bug。std::is_base_of 模拟的是“能否隐式将 Derived* 转为 Base*”，而 private/protected 继承禁止这种转换，所以直接返回 false。
- ✅
struct D : public B {}→std::is_base_of_v<b d></b>为true - ❌
struct D : private B {}或struct D : protected B {}→ 结果为false - 如果需要同时验证“结构上是否继承 + 可安全转换”，可用组合：
std::is_base_of_v<b d> && std::is_convertible_v<d b></d></b> - C++20 起更推荐用
std::derived_from<b d></b>，它天然排除 self、private、virtual 继承
模板类继承时，模板实参必须完全一致
std::is_base_of 不识别模板骨架，只比对实例化后的完整类型。哪怕 Dot<scalar></scalar> 总是继承自 Point<scalar></scalar>，只要 Scalar 不同，就判为无关系。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- ✅
std::is_base_of_v<point>, Dot<float>></float></point>→true - ❌
std::is_base_of_v<point>, Dot<double>></double></point>→false（Point<float></float>和Point<double></double>是不同类型） - 若需按模板结构检测，得另写辅助 trait，例如
is_base_of_template<point dot></point>，靠decltype+ 函数重载推导实现 - 注意：这类技巧不支持偏特化或别名模板，仅适用于标准模板形参
类型必须完整，不能传指针、引用或前置声明类
std::is_base_of 要求两个参数都是完整类类型（fully defined class）。传入指针、引用、void、函数类型，或仅声明未定义的类，都会导致编译失败或未定义行为。
- ❌
std::is_base_of_v<base decltype>（ptr是Base*，decltype(ptr)是指针类型） - ✅ 应先剥离：
std::is_base_of_v<base std::remove_pointer_t>> - ❌ 前向声明类：
class Base;后直接用std::is_base_of_v<base derived>→ 编译失败 - ✅ 解法：确保检测发生在类定义完成后，比如移到 .cpp 文件，或封装在类的 static 成员函数内延迟求值
最常被忽略的一点是：它不解决运行时问题。如果你拿着一个 Base* 想知道它实际指向哪个子类，std::is_base_of 完全无用 —— 那得靠 dynamic_cast，而且要求目标类型有虚函数。
