父子间的赋值兼容(兼容性):
(1)子类对象可以直接赋值给父类对象
(2)子类对象可以直接初始化父类对象
(3)父类指针可以直接指向子类对象
(4)父类引用可以直接引用子类对象
实验编程:子类对象的兼容性
#include <iostream>
#include <string>
using namespace std;
class Parent
{
public:
int mi;
int add(int i)
{
mi += i;
}
int add(int a, int b)
{
mi += (a + b);
}
};
class Child : public Parent
{
int mv;
int 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, 1000);
return 0;
}
当使用父类(引用)指向子类对象时:
(1)子类对象退化为父类对象
(2)只能访问父亲中定义的成员
(3)可以直接访问被子类覆盖的同名成员
特殊的同名函数:
(1)子类中可以重定义父类中已经存在的成员函数
(2)这种重定义发生在继承中,叫做函数重写
(3)函数重写是同名覆盖的一种特殊情况
思考:当函数重写遇上赋值兼容会发生什么?
实验编程:赋值兼容问题
#include <iostream>
#include <string>
using namespace std;
class Parent
{
public:
int mi;
int add(int i)
{
mi += i;
}
int add(int a, int b)
{
mi += (a + b);
}
void print()
{
cout << "I am Parent" << endl;
}
};
class Child : public Parent
{
public:
int mv;
int add(int x, int y, int z)
{
mv += (x + y + z);
}
void print()
{
cout << "I am Child" << endl;
}
};
void how_to_print(Parent* p)
{
p->print();
}
int main()
{
Parent p;
Child c;
how_to_print(&p); //打印I am Parent
how_to_print(&c); //打印I am Parent
p.print();
c.print();
return 0;
}
问题分析:
(1)编译期间,编译器只能根据指针的类型判断所指向的对象
(2)根据赋值兼容,编译器认为父类指针指向的是父类对象
(3)因此,编译结果只可能是调用父亲中定义的同名函数