为什么C++中只有指针和引用才能实现多态?

代码:

class A
{
public:
    virtual void Debug(){}
};

class B:public A
{
public:
   virtual void Debug(){}
};

void main()
{
    B b;
    A a = b;
    A * point_A = &b;
    
    a.Debug();
    point_A->Debug();
}

分析:

在程序中:a.Debug调用的是A::Debug,而point_A->Debug调用的是B::Debug。

——对于程序A a = b而言,b内存布局在赋值的时候已经从B转换到A了,多于的数据都被丢弃,因此其就是一个A类型变量,那么a.Debug这里的a就是一个A类型的变量。
——对于point_A来说,它是一个指针,其类型虽然是A,但指向的区域的内容却是一个B类型的内存结构,虽然内存结果的布局与A兼容,但其虚函数表中的Debug却是B的实现。

原文地址:https://www.cnblogs.com/yedushusheng/p/5524039.html