线程安全的观察者模式需用互斥锁保护共享状态,避免多线程下注册、注销或通知时的数据竞争。1. 使用std::lock_guard确保attach、detach和notify对观察者列表的操作原子性;2. notify中先复制列表再释放锁,防止回调期间持有锁导致死锁或迭代器失效;3. 建议使用std::shared_ptr或std::weak_ptr管理观察者生命周期,避免悬挂指针;4. 高并发场景可采用std::shared_mutex提升性能,读(notify)用共享锁,写(attach/detach)用独占锁。正确同步与资源管理可有效保障线程安全。

在C++中,观察者模式常用于实现对象间的一对多依赖关系,当被观察对象状态改变时,所有依赖的观察者会自动收到通知。但在多线程环境下,若不加保护,多个线程同时注册、注销观察者或触发通知,可能导致数据竞争和未定义行为。因此,将观察者模式与线程安全结合使用是必要的。
观察者模式基本结构
典型的观察者模式包含两个核心角色:
- Subject(被观察者):维护观察者列表,提供注册、注销和通知接口。
- Observer(观察者):定义接收更新的接口,通常是一个虚函数。
示例代码框架如下:
class Observer {
public:
virtual ~Observer() = default;
virtual void update() = 0;
};
class Subject {
private:
std::vector observers;
public:
void attach(Observer o) { observers.push_back(o); }
void detach(Observer o) {
observers.erase(
std::remove(observers.begin(), observers.end(), o),
observers.end());
}
void notify() {
for (auto obs : observers) {
obs->update();
}
}
};
线程安全问题分析
上述实现在线程环境中存在以下风险:
立即学习“C++免费学习笔记(深入)”;
- 多个线程同时调用
attach
或detach
,std::vector
可能正在被修改,引发数据竞争。 notify
遍历观察者列表时,另一个线程可能正在移除某个观察者,导致访问已失效指针。- 观察者在
update
中反向调用detach
自身,可能造成迭代器失效。
实现线程安全的观察者模式
为解决上述问题,需引入同步机制。常用方法是使用互斥锁(
std::mutex)保护共享状态。
NetShop软件特点介绍: 1、使用ASP.Net(c#)2.0、多层结构开发 2、前台设计不采用任何.NET内置控件读取数据,完全标签化模板处理,加快读取速度3、安全的数据添加删除读取操作,利用存储过程模式彻底防制SQL注入式攻击4、前台架构DIV+CSS兼容IE6,IE7,FF等,有利于搜索引挚收录5、后台内置强大的功能,整合多家网店系统的功能,加以优化。6、支持三种类型的数据库:Acces
改进后的
Subject类如下:
class ThreadSafeSubject {
private:
mutable std::mutex mtx;
std::vector observers;
public:
void attach(Observer* o) {
std::lock_guard lock(mtx);
observers.push_back(o);
}
void detach(Observer* o) {
std::lock_guardzuojiankuohaophpcnstd::mutexyoujiankuohaophpcn lock(mtx);
observers.erase(
std::remove(observers.begin(), observers.end(), o),
observers.end());
}
void notify() {
std::lock_guardzuojiankuohaophpcnstd::mutexyoujiankuohaophpcn lock(mtx);
// 复制观察者列表以避免持有锁时调用回调
auto observers_copy = observers;
lock.unlock(); // 尽早释放锁
for (auto obs : observers_copy) {
obs->update();
}
}};
关键点说明:
- 使用
std::lock_guard
确保每次操作都自动加锁解锁。 notify
中先复制观察者列表,避免在持有锁期间调用外部update
函数,防止死锁或递归锁问题。- 复制列表也防止了观察者在
update
中自我注销导致的迭代器失效。
进一步优化建议
在高并发场景下,可考虑以下改进:
- 使用
std::shared_ptr
替代裸指针,避免观察者销毁后仍被调用。 - 用
std::weak_ptr
存储观察者,配合shared_ptr
管理生命周期,防止悬挂指针。 - 采用读写锁(
std::shared_mutex
)提升性能:读多写少时,notify
可用共享锁,attach
/detach
用独占锁。
基本上就这些。线程安全的观察者模式核心在于保护共享状态,并谨慎处理回调时机。合理使用锁和智能指针,能有效避免竞态条件和内存问题。









