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

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

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

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

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

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

eg：

include

include

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课多态