std::function+std::vector不能直接当信号槽用，因缺乏连接生命周期管理：捕获局部变量或this的lambda在对象析构后仍被调用，导致悬垂指针崩溃。
为什么 std::function + std::vector 不能直接当信号槽用
因为连接生命周期管理缺失：std::function 持有可调用对象（比如 lambda），但一旦该 lambda 捕获了局部变量或 this，对象析构后槽函数仍被保留，调用时必然崩溃。这不是线程安全问题，是裸指针悬挂的必然结果。
工程化第一关不是功能，是“谁负责清理”。常见错误现象：Segmentation fault (core dumped) 出现在 emit 后，尤其在窗口类、定时器回调等短生命周期对象上。
- 不要用 raw pointer 或 this 直接绑定到
std::function - 避免捕获局部变量（尤其是栈对象）到槽函数中
- 必须引入弱引用语义——C++17 起推荐用
std::weak_ptr包裹接收者，发射前调用lock()判活 - 连接对象（connection）需支持显式断开，且自动断开应与接收者生命周期绑定（如通过
shared_ptr的析构回调）
如何用 shared_ptr/weak_ptr 实现自动断连
核心思路：把槽函数包装成一个“可销毁的句柄”，其生命期由接收者（receiver）的 shared_ptr 控制。槽注册时，传入 shared_ptr<t></t> 和成员函数指针；内部存储 weak_ptr<t></t> + std::function<void></void> 闭包，闭包里只做 if (auto p = ptr.lock()) p->method(...)。
示例关键片段：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
template <typename t>
void connect(std::shared_ptr<t> obj, void (T::*method)()) {
auto wp = std::weak_ptr<t>(obj);
_slots.emplace_back([wp, method](auto&&... args) {
if (auto p = wp.lock()) {
(p.get()->*method)(std::forward<decltype>(args)...);
}
});
}</decltype></t></t></typename>
-
_slots是std::vector<:function>></:function>，但每个元素都自带生命期检查 - 不依赖外部手动 disconnect：接收者析构 → 所有 weak_ptr.lock() 失败 → 槽静默跳过
- 注意：若槽需捕获额外参数（如 int id），须确保这些值本身不依赖于将被析构的对象
- 性能影响很小：一次
lock()是原子 load，比虚函数调用还轻量
多线程环境下 emit() 怎么不出错
最简方案是加锁，但锁粒度决定吞吐。别对整个 emit() 加互斥锁，而是对 _slots 容器读操作加共享锁（如 std::shared_mutex），写操作（connect/disconnect）加独占锁。C++14 起可用 std::shared_lock。
- emit 期间允许新连接，但不保证本次通知到它（这是合理行为）
- disconnect 必须阻塞 emit，否则可能正在调用的槽被中途擦除 → 未定义行为
- 若信号高频（如音频采样率级），考虑用无锁队列缓存事件，另起线程派发，但这就超出“轻量级”范畴了
- 切忌在槽函数里调用 connect/disconnect —— 极易死锁，应改用 post + 队列延迟处理
为什么不用 Qt 的 QSignalMapper 或 boost::signals2
Qt 的 QSignalMapper 已废弃，现代 Qt 用 lambda + QObject::connect，但它强依赖 QObject 继承和 moc，无法用于纯数据结构或嵌入式裸机场景；boost::signals2 功能全但二进制膨胀大，且默认用 shared_ptr 管理所有东西，对小对象有内存和原子操作开销。
轻量级的本质是：只解决“对象存活时安全通知”，其余一概不管。比如不提供参数类型擦除（你得自己模板化信号）、不支持断言式连接验证、不内置序列化或远程转发。
真正容易被忽略的是：**信号对象自身的生命周期**。如果 signal 是局部变量，而槽里又捕获了它（比如通过 lambda 引用），那 signal 析构后 emit 就崩。所以 signal 通常该是拥有者的成员变量，而非临时对象。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
