这个模板访问者真的是动态的吗？

Question

我一直在尝试各种方法来使 C++ 中的访问者模式更加动态，这样兄弟类就不必相互了解，并且允许以后扩展访问者层次结构。我根据 Scott Meyers 的“更有效的 C++”想出了这个示例：

class Dummy
{
public:
   void collide(int& gameobject) { }
};

class DynVisitor
{
public:
  template<class Visitor=Dummy, class Arg=int>
  void visit(Arg& target)
  {
    Visitor* vis = dynamic_cast<Visitor*>(this);

    if(vis != nullptr)
    {
      vis->collide(target);
    }
    else
    {
      cerr<<"No implementation!"<<endl;
    }
  }

  virtual ~DynVisitor() { }
};

class GameObject
{
public:
  virtual ~GameObject() { }
  virtual void collide(GameObject& obj) 
  {
    cout<<"Default collide implementation"<<endl;
  }

  virtual void accept(DynVisitor* vis) = 0;
};

class AsteroidVisitor
{
public:
  virtual void collide(Asteroid& target) = 0;
  virtual ~AsteroidVisitor() = 0;
};

class Collider : public DynVisitor, public AsteroidVisitor
{
public:
  virtual void collide(Satellite& target) { cout<<"Satellite collision."<<endl; }
  virtual void collide(Spaceship& target) { cout<<"Spaceship collision."<<endl; }
  virtual void collide(Asteroid& target) { cout<<"Asteroid collision."<<endl; }
  virtual ~Collider() { }
};

class Asteroid : public GameObject
{
public:
  virtual void accept(DynVisitor* visitor)
  {
    visitor->visit<AsteroidVisitor, Asteroid>(*this);
  }
};

int main(int argc, char** argv)
{
  DynVisitor* coll = new Collider();

  GameObject* ast = new Asteroid();

  ast->accept(coll);

  delete ast;

  delete coll;

  return 0;
};

这似乎按我的预期工作，当传递的游戏对象是小行星时打印出“小行星碰撞”，并且我可以通过以下方式将类添加到层次结构中：使用 collide() 方法定义新的 ABC 并扩展 DynVisitor。

我的问题是，当我向层次结构中添加新类时，DynVisitor 是否需要重新编译？

编辑：添加了小行星类别......对此感到抱歉。

Answer 1

所有对象都可以相互碰撞，因此它们仍然需要成为彼此的访问者，因此没有添加“动态”。 DynVisitor 是一个模板，因此需要位于翻译单元中，并且每次都会重新编译。事实上，在这个例子中，DynVisitor并没有带来任何好处，因为accept()函数可以调用collide()函数而不是模板visit()函数。