c++ - 继承决议

Question

我认为类型会自动解析到它们可能的层次结构的最深部分。如果Cat : Animal你调用cat->talk() , 如果 Cat覆盖 talk()从类 Animal ，猫会叫“喵”，不是一般的怪异Animal基类中提供的提示 Animal .

所以我对此感到困惑:

struct Animal
{
  virtual void talkTo( Animal* o ) {
    puts( "Animal-Animal" ) ;
  }
} ;

struct Cat : public Animal
{
  virtual void talkTo( Animal* o ) {
    puts( "Cat-Animal" ) ;
  }
  virtual void talkTo( Cat* o ) {
    puts( "Cat says meow to Cat" ) ;
  }
} ;

这是一些调用代码:

  Cat *cat = new Cat() ;
  cat->talkTo( cat ) ; //Cat says meow to Cat

  Animal *animalCatPtr = cat ;      
  cat->talkTo( animalCatPtr ) ; //Cat-Animal

这里的最后一行，我发送一个 Cat至 cat->talkTo , 但我正在使用 animalCatPtr . animalCatPtr仍然指代 Cat , 但它只是解决了一个 Animal在函数调用中。

如何使传递指针解析为层次结构中的最深类型？我不想做一系列 dynamic_cast<>测试看是否 Animal我手头真的是一个Cat或 Dog或者你有什么。

Answer 1

你想要一种双分派(dispatch)的形式，见http://en.wikipedia.org/wiki/Double_dispatch