c++ - 实现 "Observer"模式的问题

Question

我在使用 C++ 和 STL 实现观察者模式时遇到了一个有趣的问题。考虑这个经典的例子:

class Observer {
public:
   virtual void notify() = 0;
};

class Subject {
public:
   void addObserver( Observer* );
   void remObserver( Observer* );
private:
   void notifyAll();
};

void Subject::notifyAll() {
   for (all registered observers) { observer->notify(); }
}

这个例子可以在每一本关于设计模式的书中找到。不幸的是，现实生活中的系统更复杂，所以这是第一个问题:一些观察者决定在收到通知时将其他观察者添加到主题中。这使我使用的“for”循环和所有迭代器无效。解决方案相当简单——我对已注册的观察者列表进行快照并遍历该快照。添加新的观察者不会使快照失效，所以一切看起来都很好。但是这里还有另一个问题:观察者决定在收到通知时摧毁自己。更糟糕的是，一个观察者可以决定销毁所有其他观察者(它们由脚本控制)，这会使队列和快照都无效。我发现自己在迭代解除分配的指针。

我的问题是，当观察者互相残杀时，我应该如何处理这种情况？有没有现成的模式？我一直认为“观察者”是世界上最简单的设计模式，但现在看来要正确实现它并不是那么容易......

感谢大家的关注。让我们有一个决策摘要:

[1]“不要这样做”抱歉，这是必须的。观察者由脚本控制并被垃圾收集。我无法控制垃圾收集以防止它们被取消分配；

[2] "Use boost::signal" 最有希望的决定，但我不能在项目中引入 boost，这样的决定只能由项目负责人做出(我们在 Playstation 下编写);

[3] “使用 shared__ptr” 这将阻止观察者解除分配。一些子系统可能依赖于内存池清理，所以我认为我不能使用 shared_ptr。

[4] "推迟观察者释放" 在通知的同时将观察者排队等待移除，然后使用第二个循环将它们删除。不幸的是，我无法阻止释放，所以我使用了一种用某种“适配器”包装观察者的技巧，实际上保留了“适配器”列表。在析构函数中，观察者从他们的适配器中取消分配，然后我用我的第二个周期来销毁空的适配器。

附言可以吗，我编辑我的问题以总结所有帖子？我是 StackOverflow 的菜鸟...

Answer 1

非常有趣的问题。

试试这个:

1. 将 remObserver 更改为清空条目，而不是仅仅删除它(并使列表迭代器无效)。

2. 将你的 notifyAll 循环更改为:

   for (所有注册的观察者) { if (observer) observer->notify(); }

3. 在 notifyAll 末尾添加另一个循环以从观察者列表中删除所有空条目