c++ - 我应该在带有模板的主题观察者模式中使用动态转换吗

Question

引用文章Implementing a Subject/Observer pattern with templates

template <class T>
class Observer
   {
   public:
      Observer() {}
      virtual ~Observer() {}
      virtual void update(T *subject)= 0;
   };

template <class T>
class Subject
   {
   public:
      Subject() {}
      virtual ~Subject() {}
      void attach (Observer<T> &observer)
         {
         m_observers.push_back(&observer);
         }
      void notify ()
         {
         std::vector<Observer<T> *>::iterator it;
         for (it=m_observers.begin();it!=m_observers.end();it++) 
              (*it)->update(static_cast<T *>(this));
         }
   private:
      std::vector<Observer<T> *> m_observers;
   };

我在想，我应该使用 dynamic_cast 而不是 static_cast 吗？

这是因为如果我使用static_cast，在下面的情况下我会得到编译错误。

class Zoo : public Observer<Animal> {
public:
    Zoo() {
        animal = new Bird();
        animal->attach(this);
    }

    virtual ~Zoo() {
    delete animal;
    }

    virtual void update(Animal* subject) {
    }

    Animal* animal;
}

// If using static_cast, compilation error will happen here.
class Bird : public Animal, public Subject<Animal> {
public:
    virtual ~Bird() {
    }
}

使用dynamic_cast有什么副作用吗？

Answer 1

最好的肯定是根本不需要施法。您可以更改 notify() 函数，使其采用正确的参数:

  void notify (T* obj)
     {
     std::vector<Observer<T> *>::iterator it;
     for (it=m_observers.begin();it!=m_observers.end();it++) 
          (*it)->update(obj);
     }

现在派生类可以传递正确的对象(this，如果合适的话)，而基类不需要知道派生类与 T 的关系。

---

按原样查看您的代码，static_cast 依赖于这样一个事实，即从 Observer 派生的任何内容也将派生自它作为模板参数传递的任何内容。我想如果这不成立，它会在编译时被捕获，因为你不能 static_cast 从 this 到 T* .

但是，您的代码非常接近于一种称为奇怪的重复模板模式的模式。为了使其完美匹配，将派生类的类型传递给 Observer:

class Bird : public Subject<Bird> // note the template argument

现在您不再需要从 Observer 的 T 派生，无论谁(希望)看到它都能识别出模式并更容易理解代码。