1. 父子间的赋值兼容
子类对象可以当作父类对象使用（兼容性）
- 子类对象可以直接赋值给父类对象
- 子类对象可以直接初始化父类对象
- 父类指针可以直接指向子类对象
- 父类引用可以直接引用子类对象
编程说明： 子类对象的兼容性问题
#include <iostream>
#include <string>
using namespace std;
class Parent
{
public:
int mi;
void add(int i)
{
mi += i;
}
void add(int x, int y)
{
mi += (x + y);
}
};
class Child : public Parent
{
public:
int mi;
void add(int x, int y, int z)
{
mi += (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 = 100;
// pp->add(1, 10, 100);
return 0;
}
- 当使用父类指针（引用）指向子类对象时：
(1) 子类对象退化为父类对象
(2) 只能访问父类中定义的成员
(3) 可以直接访问被子类覆盖的同名成员
2. 特殊的同名函数
子类中可以重定义父类中已经存在的成员函数，这种重定义发生在继承中，叫做函数重写。
函数重写是同名覆盖的一种特殊情况
编程说明：函数重写初探
#include <iostream>
#include <string>
using namespace std;
class Parent
{
public:
void print()
{
cout << "I'm Parent." << endl;
}
};
class Child : public Parent
{
public:
void print() // 函数重写
{
cout << "I'm Child." << endl;
}
};
int main()
{
Child c;
c.print();
return 0;
}
输出结果：
I'm Child.
3. 思考：当函数重写遇上赋值兼容会发生什么？
- 编程说明：赋值兼容的问题
#include <iostream>
#include <string>
using namespace std;
class Parent
{
public:
void print()
{
cout << "I'm Parent." << endl;
}
};
class Child : public Parent
{
public:
void print() // override function
{
cout << "I'm Child." << endl;
}
};
void how_to_print(Parent* p)
{
p->print();
}
int main()
{
Parent p;
Child c;
how_to_print(&p); // Expected to print : I'm Parent.
how_to_print(&c); // Expected to print : I'm Child.
return 0;
}
输出结果：
I'm Parent.
I'm Parent.
问题分析：
(1) 编译期间，编译器只能根据指针的类型判断所指向的对象；
(2) 根据赋值兼容，编译器认为父类指针指向的是父类对象；
(3) 因此，编译结果只可能是调用父类中定义的同名函数
4. 问题：编译器的处理方法是合理的吗？是期望的吗？
合理，但不是期望的。
5. 小结
- 子类对象可以当作父类对象使用（赋值兼容）
- 父类指针可以正确的指向子类对象
- 父类引用可以正确的代表子类对象
- 子类中可以重写父类中的成员函数
