第48课.同名覆盖引发的问题

1.父子间的赋值兼容（兼容性）

a.子类对象可以直接赋值给父类对象
b.子类对象可以直接初始化父类对象

c.父类指针可以直接指向子类对象
d.父类引用可以直接引用子类对象

       赋值                          指针（退化）
子类    ==>    父类            子类      ==>      父类
      初始化                         引用（退化）

当父类指针（引用）指向子类对象时
a.子类对象退化为父类对象
b.只能访问父类中定义的成员

eg：

#include <iostream>
#include <string>

using namespace std;

class Parent
{
public:
    int mi;
    
    void add(int i)
    {
        mi += i;
    }
    
    void add(int a, int b)
    {
        mi += (a + b);
    }
};

class Child : public Parent
{
public:
    int mv;
    
    void add (int x, int y, int z)
    {
        mv += (x + y + z);
    }
};

int main ()
{
    Parent p;
    Child  c;
    
    p = c;          //子类对父类进行赋值
    
    Parent p1(c);    //子类对父类进行初始化

    Parent& rp = c;
    Parent* pp = &c;
    
    rp.mi = 100;
    rp.add(5);
    rp.add(10, 10);
    
    /*  无法通过编译  */
    // pp->mv = 1000;
    // pp->add(1, 10, 100);

    return 0;
}

2.函数重写

a.子类中可以重定义父类中已经存在的成员函数（同名函数）
b.这种重定义发生在继承中，叫做函数重写
c.函数重写是同名覆盖的一种特殊情况

问题：如何解决父子类兼容时子类退化，不能使用子类中的成员？

问题分析：
 a.编译期间，编译器只能根据指针的类型判断所指的对象
 b.根据赋值兼容，编译器认为父类指针指向的是父类对象
 c.因此编译结果只可能是调用父类中定义的同名函数

解决办法：见49课多态