C++ 类的多态五（多态的语法本质分析）

//多态的语法本质分析
#include<iostream>
using namespace std;

/*
三种易混淆的多态场景
*/

class Point{
public:
    Point(int b=0){
        this->b = b;
    }

    virtual void Print(){
        cout << "父类的虚函数" << endl;
    }

private:
    int b;
};

class PointA :public Point{
public:
    virtual void Print(){
        cout << "子类重写父类的虚函数" << endl;
    }
};

void ProtectB(){
    PointA pa ;
    //场景①
    Point p1;
    p1 = pa;
    p1.Print();
    //执行p1 = pa;完成的是将子类对象中父类部分的数据拷贝到父类对象中（我并不是说子类对象中有父类对象，子类对象就是子类对象，没有父类对象）
    //这个操作并没有使父类对象在内存里变成子类对象，没有分配新的内存，p1对象所占的内存空间还是那么大,只是简单的数据拷贝
    //p1.Print();他的真身是父类对象调用自己的虚函数，那么执行的还是自己的虚函数

    //场景②
    Point p2 = pa;
    p2.Print();
    //p2不会产生多态，因为Point p2 = pa;本质上是调用了p2的默认拷贝构造函数
    //用子类对象初始化父类对象，本质上还是将子类对象中父类部分的数据拷贝到父类对象中
    //p2在内存中的大小仍然是sizeof(Point)
    //p2.Print();他的真身是父类对象调用自己的虚函数，那么执行的还是自己的虚函数

    //场景③
    //但是下面的例子是完全不同的
    PointA *pa2 = new PointA();
    Point *p3 = NULL;
    p3 = pa2;
    //这里的p3 = pa2;和上面试完全的不同 pa2是一个指针，指向一个子类对象的内存空间
    //通过 p3 = pa2;   使得父类指针p3指向了子类对象的内存空间
    p3->Print();
    //此时p3->Print();会发生多态
    

    /*
    由此得出结论：多态的语法本质是：父类指针指向了一个子类对象（c++引用本质上是一个常量指针）
    而且我认为在多态的场景中使用父类指针加法运算是危险的
    父类的步长是sizeof(Point)个大小的字节，子类的步长是sizeof(PointA),这两个对象的步长未必相同，因为子类可能添加了自己的私有属性
    例如p3++；非常危险
    */
    delete pa2;

}

void main(){
    ProtectB();
    system("pause");
}