观察者接口不能硬编码模板参数，因会导致类型不兼容和重复实例；需用类型擦除+元编程实现运行时可变与编译期安全；应避免悬空回调、异常抛出，并优化存储与分发性能。
观察者接口为什么不能直接用模板参数硬编码？
因为硬编码 std::function<void></void> 会导致每个事件类型生成独立的观察者类，无法复用同一套注册/通知逻辑，最终产生大量重复实例。真正需要的是「运行时可变、编译期类型安全」的回调存储——这得靠类型擦除 + 模板元编程辅助构造。
典型错误是写成：template<typename event> class Observer { ... };</typename>，结果发现 Observer<int></int> 和 Observer<:string></:string> 完全不兼容，根本没法放进同一个容器里管理。
- 正确做法：用
std::any或自定义小对象封装（SOO）存回调，但类型信息必须在编译期参与调度 - 关键约束：注册时传入的 lambda 或函数对象，其签名必须能被静态推导出事件类型，否则无法做类型检查
- 推荐用
decltype(&F::operator())提取调用签名，再用std::invoke_result_t验证返回值是否为void
如何用 constexpr if + type_id 实现事件分发路由？
不能靠 dynamic_cast 或 RTTI 做运行时分发——性能差且破坏编译期约束。应该把事件类型映射为 constexpr 可计算的整型 ID，再用 if constexpr 展开分支。
示例中常用手法是定义一个全局 constexpr 函数：constexpr size_t type_id() { return __COUNTER__; }，配合特化模板生成唯一 ID，但要注意 MSVC 和 GCC 对 __COUNTER__ 的行为差异。
- 更稳妥的方式是用
typeid(T).hash_code()做 fallback，但需确保 T 是完整类型（避免在模板未实例化时调用） - 分发函数里用
if constexpr (std::is_same_v<t int>)</t>直接匹配，比 map 查找快一个数量级 - 如果支持多事件类型共存，建议用
std::variant<int std::string myevent></int>统一封装，再用std::visit分派
注册器如何避免生命周期问题导致的悬空回调？
最常踩的坑是把局部 lambda 或栈上对象的地址存进观察者列表，稍后调用就崩。模板元编程本身不解决这个问题，但可以强制约束所有权语义。
比如设计注册接口为：template<typename f> auto on(EventTag<t>, F&& f) -> std::shared_ptr<void></void></t></typename>，返回一个持有引用计数的句柄，内部用 std::enable_shared_from_this 或 std::weak_ptr 管理。
- 禁止接受裸函数指针或无捕获 lambda 的
&f——编译器会报错，逼用户显式选择std::move(f)或包装成std::shared_ptr - 若用
std::function存储，务必声明为std::function<void t></void>而非std::function<void></void>，避免误触发移动构造 - 调试时加断言：
static_assert(std::is_nothrow_move_constructible_v<f>)</f>，防止异常中断注册流程
为什么 notify() 必须是 const 成员且不抛异常？
因为观察者模式常用于事件循环或信号处理上下文，一旦 notify() 抛异常，上游调用栈很难恢复，而且模板展开后的内联路径不允许异常跨越编译单元边界。
更实际的问题是：如果某个回调里 new 失败或访问了已析构对象，整个通知链就得静默失败——所以 notify() 内部必须用 try/catch(...) 吞掉所有异常，并记录日志或触发 panic handler。
-
notify()声明为void notify(const T& e) const noexcept，这是接口契约，不是可选项 - 模板实现里别用
std::vector<:function>></:function>存回调——每次 notify 都触发堆分配；改用std::array<callback_storage n></callback_storage>+ 尾部预留空间 - 若需动态扩容，用
std::pmr::vector指定内存资源，避免混用全局 new/delete
真正的难点不在语法层面，而在决定哪些类型该参与编译期推导、哪些该交给运行时 dispatch——这个边界划歪了，后面全是 undefined behavior。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
