在类指针上调用方法[重复]

Question

不是我有问题，而是我发现以下事实很奇怪。

/* Class Shape */
class Shape
{
   protected:
      int width, height;
   public:
      Shape( int a=0, int b=0)
      {
         width = a;
         height = b;
      }
      int area()
      {
         cout << "Parent class area :" <<endl;
         return 0;
      }
};


/* Class Triangle */
class Triangle: public Shape
{
   public:
      Triangle( int a=0, int b=0)
      {
        Shape(a, b); 
      }
      int area ()
      { 
         cout << "Triangle class area :" <<endl;
         return (width * height / 2); 
      }
};

int main( )
{
   Shape *shape;
   Triangle tri(10,7);


   shape = &tri;
   (*shape).area();



   return 0;
}

上面将打印的是：“父类区域：”。

所以编译器似乎没有检查指针内容？并且仅基于指针类型调用方法？否则它会看到 *shape 是一个 Triangle 对象并且会调用三角形版本的 area 不是吗？

ps。我知道你可以使用虚函数让它按照我描述的方式工作，但这不是我现在感兴趣的，只是我发现这种行为有点奇怪，也许我错过了一些东西。

Answer 1

您需要在基类中将int area() 标记为virtual，即

virtual int area()
{
    /*etc*/

这告诉编译器建立一个适当的函数表，以便根据指针所指的类型调用正确的 area 函数。

（请注意，在 Java 中，所有非静态函数都是隐式虚函数。）

Answer 2

这是因为您并没有真正替换函数，您只是在 Triangle 类中添加了另一个版本。在这个类中，总是可以像这样调用父级的版本

Shape::area();

所以两个版本都需要存在于 Triangle 类中。因为它是一个非虚函数，编译器只是查看类型的名称来确定应该调用可执行文件中的哪个函数（像_ZN5Shape4areaEv 这样的神秘函数）并使用它。

Answer 3

您的main() 函数可以简化为：

int main()
{
    Triangle tri(10,7);
    tri.Shape::area();
}

class Triangle 有 两个 名为 int area() 的函数（一个在基类中，一个在派生类中）。

int Triangle::area() 将默认为 class Triangle 的对象调用，因为它隐藏 int Shape::area()。

通过在指针上执行（C 风格）强制转换，您是在告诉您的程序从class Shape 调用版本。正如您所说，由于int Shape::area() 不是virtual，因此没有虚拟成员函数表（vtable），因此将调用Shape 版本。

这是预期的和明确定义的行为。

示例：

• See an example run!

延伸阅读：

• Name lookup, http://cppreference.com