c++多态之子类对象赋值给父类对象

前言

在c++中，多态实现是由向上造型和动态绑定实现的，即通过让指向父类对象的指针指向子类对象，就可以用同样的接口调用子类对象的成员函数（虚函数）。

这里的多态实现，必须使用指针或引用。如果我直接将一个子类对象赋值给父类对象会怎么样？先说结论，直接赋值并不会改变父类对象的虚函数表，即无法实现多态。

实验一

#include <iostream>
using namespace std;

class A{
public:
    virtual void print(){
        cout << "A::print(), i=" << i << endl;
    }
    A(int a):i(a){}
protected:
    int i;
};

class B:public A{
public:
    virtual void print(){
        cout << "B::print(), i=" << i << endl;
    }
    B(int a):A(a){}
};



int main()
{
    A a(10);
    B b(20);
    a.print();
    b.print();
    
    int* p_v_a = (int*)&a;
    int* p_v_b = (int*)&b;
    cout << p_v_a << " " <<  p_v_b << endl; 

    A* p_a = &a;
    
    a = b;
    p_v_a = (int*)&a;
    p_a->print();
    a.print();
    cout << p_v_a << " " << p_v_b << endl;

    return 0;
}

代码如上，输出如下：

A::print(), i=10
B::print(), i=20
0x7ffc7ed7b8b0 0x7ffc7ed7b8c0
A::print(), i=20
A::print(), i=20
0x7ffc7ed7b8b0 0x7ffc7ed7b8c0

代码不难，需要解释的是这一段

    int* p_v_a = (int*)&a;
    int* p_v_b = (int*)&b;
    cout << p_v_a << " " <<  p_v_b << endl; 

这里p_v_a和p_v_b存储的其实是a和b的虚函数表的地址，这是由虚函数的实现决定的。根据输出结果来看，直接令a=b并不会改变p_v_a，因此，无法调用b的虚函数，也就无法实现多态。