任何人都可以帮我澄清多态性的概念吗？

Question

我正在研究这个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;
}