因裸指针和std::function无法感知对象生命周期,若槽绑定已析构对象的成员函数或捕获悬空this的lambda,触发时将调用悬空指针导致段错误;必须用std::weak_ptr+std::shared_ptr管理槽的生存期,emit前lock检查有效性,并分两阶段遍历防迭代器失效。

为什么 std::function + std::vector 不能直接当信号槽用
因为生命周期管理会出问题:std::function 捕获的 lambda 若持有 this 指针,而对象提前析构,后续触发信号时就会调用悬空指针。裸函数指针又无法绑定成员函数和上下文。工程中必须解决「槽函数随接收者生死」这个核心约束。
常见错误现象:Segmentation fault 出现在 signal.emit() 调用栈里,但堆栈不显示具体槽函数 —— 实际是某个已销毁对象的 std::function 还挂在信号列表中。
- 不要把
std::function直接存进信号的std::vector容器 - 避免使用带捕获的 lambda 作为长期注册的槽(除非你手动确保捕获对象生命周期 > 信号对象)
- 优先让槽注册方提供「可失效的句柄」,而不是无状态的 callable
用 weak_ptr 封装槽的生命周期控制
关键不是“怎么存函数”,而是“怎么知道它还能不能调”。C++17 起,std::weak_ptr 可配合自定义 deleter 实现类型擦除下的安全持有 —— 我们不保存原始类型,只关心“它是否还活着”。
实操建议:
- 每个槽注册时,生成一个
std::shared_ptr(例如绑在接收对象内部),再转成std::weak_ptr存入信号容器 - emit 前对每个
weak_ptr调用lock();返回空则跳过该槽,自动清理 - 不需要继承基类或宏展开,也不依赖 RTTI ——
weak_ptr的 size 和性能开销与裸指针几乎一致
示例注册逻辑片段:
template<typename receiver>
auto connect(Receiver& r, auto&& slot) {
auto sp = std::make_shared<int>(0); // 占位 shared_ptr,实际 lifetime 绑定 r
r.m_signal_ref = sp; // 接收者需持有一个 shared_ptr 成员维持 sp 生存期
m_slots.emplace_back(sp, std::forward<decltype>(slot));
}</decltype></int></typename>
signal.emit() 触发时如何避免迭代器失效和重入崩溃
用户代码在槽函数里可能调用 disconnect() 或另一个 emit(),导致正在遍历的 m_slots 容器被修改。这不是理论风险,Qt 早期版本就因此 crash 过多次。
解决方案不是加锁(轻量级机制不该依赖 mutex),而是分两阶段:
- 第一阶段:遍历所有
weak_ptr,lock()成功的槽函数,拷贝其std::function到临时std::vector - 第二阶段:遍历临时 vector 执行调用 —— 此时原容器完全只读,不会失效
- 拷贝
std::function开销可控(通常只是指针+小缓冲复制),且避免了递归 emit 导致的栈爆炸
注意:若槽函数执行期间又注册新槽,这些新槽本次 emit 不会触发 —— 这是预期行为,符合大多数 GUI 框架语义。
如何支持 const 成员函数和 move-only 槽参数
模板推导容易漏掉 const 限定符,导致 connect(obj, &MyClass::onData) 失败,只因 onData 是 const 成员函数。同样,若槽需要移动语义参数(如 std::unique_ptr),普通 std::function 无法绑定。
实操要点:
- connect 模板参数用
auto&&接收 callable,内部用std::invoke转发,天然支持 const 成员、volatile、重载函数名 - emit 接口不预设参数类型,靠调用点推导;信号类本身是模板化(如
signal),而非运行时泛型 - 避免在 signal 类内做任何类型擦除转换 —— 把类型信息留在编译期,既安全又零成本
这意味着:同一个 signal 不能连 void(int) 和 void(const int&) 两种签名 —— 不是缺陷,是显式契约。
最易被忽略的是「接收者析构顺序」:若信号对象(sender)比接收者(receiver)先销毁,而 receiver 的 shared_ptr 成员还没释放,则 weak_ptr 仍有效,但 receiver 已不可访问。必须确保 sender 生命周期 ≥ 所有 connected receiver,或在 sender 析构前显式调用 disconnect_all()。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











