我正在研究这个example。它声明,当一个说明符虚拟添加到 base 类中时,编译器可以识别多态,反过来,它会自动选择< 派生类中的em>相对成员函数。我很好奇内存中的原始结构。当它被定义为&#34; shape =&amp; rec;形状 - &GT;区域(); &#34;,我想知道为什么编译器可以知道它正在调用派生类的函数(Rect的area()),因为&#39; shape&#39;属于形状类,而不是Rect。编译器如何检查?
在我看来,基类中使用的函数调用派生类中的函数是不正确的。我认为,当一个班级的形状&#39;在开头宣布,&#39;形状&#39;只能通过描述形状信息的标题来了解其功能,因为内存是固定的。编译器如何知道要求的内容?
#include <iostream>
using namespace std;
class Shape {
protected:
int width, height;
public:
Shape( int a=0, int b=0)
{
width = a;
height = b;
}
virtual int area()
{
cout << "Parent class area :" <<endl;
return 0;
}
};
class Rectangle: public Shape{
public:
Rectangle( int a=0, int b=0):Shape(a, b) { }
int area ()
{
cout << "Rectangle class area :" <<endl;
return (width * height);
}
};
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);
}
};
// Main function for the program
int main( )
{
Shape *shape;
Rectangle rec(10,7);
Triangle tri(10,5);
// store the address of Rectangle
shape = &rec;
// call rectangle area.
shape->area();
// store the address of Triangle
shape = &tri;
// call triangle area.
shape->area();
return 0;
}