std::is_base_of 通过编译期常量 value（或 C++17 的 _v 变量模板）判断 Derived 是否为 Base 的 public 派生类（含相同类型），需 Base 为完整类型；配合 static_assert 可在模板实例化时立即报错，清晰拦截非法类型，优于 SFINAE 的模糊错误提示。
std::is_base_of 怎么在模板里做编译期类型检查？
它不能直接“阻止”错误，但配合 static_assert 或 SFINAE，就能让非法类型在编译时报错，而不是拖到链接或运行时才发现问题。
-
std::is_base_of<base derived>::value是一个编译期常量表达式，仅当Derived确实是Base的派生类（含相同类型）时为true；注意：Base必须是完整类型，否则触发硬错误 - 别用
std::is_base_of<void t>::value</void>之类来“兜底”，void不是类类型，编译直接失败 - 多重继承下它仍有效，但不区分直系/间接继承——只要存在继承路径就算
用 static_assert 最简单地卡住非法模板参数
这是最常用、最直观的做法，报错信息也相对清晰。
- 把
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是 C++17 起的变量模板，等价于std::is_base_of<event t>::value</event>；C++14 及以前必须写全后者 - 如果
Event还没定义完（比如在类内部前向声明后就用），std::is_base_of会因Event不完整而编译失败，不是断言失败
为什么不用 enable_if 做 SFINAE？
多数情况下没必要。SFINAE 更适合重载选择，而非单一定制错误提示。
- 用
std::enable_if_t<:is_base_of_v t>>* = nullptr</:is_base_of_v>虽能屏蔽非法特化，但错误信息往往变成“找不到匹配的函数模板”，不如static_assert直接 - 若模板本身有多个重载且需差异化处理（比如对基类和非基类分别实现），SFINAE 才有意义；单纯“只允许子类”场景，
static_assert更干净 - 别在类模板参数列表里用
enable_if限制（如template <typename t std::enable_if_t>* = nullptr></typename>），这会让类名变复杂，且无法约束类内所有成员的使用上下文
容易被忽略的继承细节：public 继承才生效
std::is_base_of 只认 public 继承关系。protected 或 private 继承，结果为 false。
立即学习“C++免费学习笔记（深入）”；
- 哪怕语义上你想“限制只能传入某种能力的类型”，也得确保用户用的是
class Derived : public Base，而不是: private Base - 如果基类接口本就该被隐藏（private 继承），那
std::is_base_of就不该用于约束——此时应换用概念（C++20requires）或 traits 类型识别 - 虚继承不影响结果，
std::is_base_of对虚基类同样返回true
编译期约束真正难的不是写对那一行 static_assert，而是想清楚：你到底要约束“是不是这个类的派生类”，还是“有没有某个接口能力”。后者用 std::is_convertible 或 concept 更合适。
