c++ - 继承 - 为什么这是非法的？

Question

我正在参加 C++ 测验。并遇到了以下代码 - 这是非法的，但我不明白为什么。任何人都可以解释为什么这一行:

Box* b1 = s1->duplicate();

生成编译器错误，“无法从 Shape* 转换为 Box”？我假设 s1->duplicate() 正在调用 Box::duplicate() 因为 s1 实际上指向一个 Box - 但从编译器错误来看，它看起来像是在调用 Shape::duplicate()。

#include <iostream>

struct Shape
{
  virtual Shape* duplicate()
  {
    return new Shape;
  }

  virtual ~Shape() {}
};

struct Box : public Shape
{
  virtual Box* duplicate()
  {
    return new Box;
  }

};

int main(int argc, char** argv) 
{ 
  Shape* s1 = new Box;

  Box* b1 = s1->duplicate();

  delete s1;
  delete b1;
  return 0; 
}

Answer 1

C++ 语言是静态类型的。关于调用合法性的决定是在编译时做出的。显然，编译器无法知道 s1->duplicate() 返回一个指向 Box 对象的指针。在这种情况下，期望它接受您的代码是不合逻辑的。

是的，s1->duplicate() 在您的示例中确实调用了 Box::duplicate，但是您如何期望编译器知道这一点？从您的具体示例中可以说它是“显而易见的”，但是这种语言功能的规范对于这种“显而易见”的情况也不异常(exception)。