std::is_base_of 编译期检查继承关系的正确写法
它只能在模板上下文中做静态断言，不能用于运行时判断或普通函数内。常见错误是把它当 dynamic_cast 用，或者误以为能检查对象实例的继承链。
正确姿势是配合 static_assert 和模板参数约束，比如限制某个模板只接受派生自特定基类的类型：
template <typename T>
class Handler {
static_assert(std::is_base_of_v<Event, T>, "T must inherit from Event");
};
-
std::is_base_of_v<base derived>是 C++17 起推荐写法，比std::is_base_of<base derived>::value更简洁 - 两个参数都必须是完整类型（不能是
void、前置声明未定义的类），否则编译失败 - 不区分公有/私有/保护继承：只要存在继承关系就返回
true，这点常被忽略
为什么 std::is_base_of 不报错但逻辑不对？
典型现象是 static_assert 没触发，但后续代码仍编译失败——往往因为传入的是指针或引用类型，而 std::is_base_of 只接受类类型本身。
比如误写成：std::is_base_of_v<base derived>，这时它永远为 false（因为 Derived* 不是类类型），但不会报错，只是断言失效。
立即学习“C++免费学习笔记（深入）”；
- 务必对原始类型做
std::remove_pointer_t或std::remove_reference_t处理 - 如果模板参数可能是
const T&，得先剥离 cv 限定和引用：std::remove_cvref_t<t></t> - 检查前加个
std::is_class_v<t></t>防止非类类型（如int）悄悄通过
和 std::derived_from 的关键区别在哪？
std::derived_from（C++20）更严格：要求公有、非虚继承，且禁止同一类型自检（std::derived_from<t t></t> 是 false），而 std::is_base_of 允许同类型、允许私有继承。
如果你要约束“能安全向上转型”的派生类，优先用 std::derived_from；如果只是确认继承树存在（比如日志系统泛化处理所有 Widget 子类，不管访问性），才用 std::is_base_of。
-
std::derived_from<base derived>等价于std::is_base_of_v<base derived> && std::is_convertible_v<derived base></derived> - 旧项目用 C++17 或更低版本时，
std::is_base_of是唯一选择 - 注意
std::derived_from对模板参数推导更敏感，有时需显式指定模板实参
模板别名封装避免重复写 static_assert
每次都在模板里写一长串 static_assert 很累，也容易漏掉类型清洗步骤。建议抽成可复用的约束别名：
template <typename T>
concept EventLike = std::is_class_v<T> &&
std::is_base_of_v<Event, std::remove_cvref_t<T>>;
然后直接用：
template <EventLike T> void handle(T&& e);
- 比起裸用
static_assert，concept 能让错误信息更清晰（指出哪个约束没满足） - 别名中必须包含
std::remove_cvref_t，否则const MyEvent&会因不是类类型而失败 - 如果基类本身是模板（如
Observable<t></t>），约束别名里也要支持模板参数传递
最易被忽略的一点：继承关系检查发生在模板实例化时刻，不是定义时刻。这意味着，如果基类在模板定义之后才定义，或者派生类在实例化之后才声明，编译器可能报“不完整类型”而非继承检查失败——这时候得检查头文件包含顺序和前置声明位置。
