父子间的赋值兼容
子类对象可以当作父类对象使用 (兼容性)
- 子类对象可以直接赋值给父类对象
- 子类对象可以直接初始化父类对象
- 父类指针可以直接指向子类对象
- 父类引用可以直接引用子类对象
当使用父类指针 (引用) 指向子类对象时
- 子类对象退化为父类对象
- 只能访问父类中定义的成员
- 可以直接访问被子类覆盖的同名成员
特殊的同名函数
子类中可以重定义父类中已经存在的成员函数
这种重定义发生在继承中，叫做函数重写
函数重写是同名覆盖的一种特殊情况
思考
当函数重写遇到赋值兼容会发生什么？
问题分析
编译期间，编译器只能根据指针的类型判断所指向的对象
根据赋值兼容，编译器认为父类指针指向的是父类对象
因此，编译结果只可能是调用父类中定义的同名函数
在编译这个函数的时候，编译器不可能知道指针 p 究竟指向了什么。但是编译器没有理由报错。于是，编译器认为最安全的做法是调用父类的 print 函数，因为父类和子类肯定都有相同的 print 函数
问题
编译器的处理方法是合理的吗？是期望的吗？
小结
子类对象可以当作父类对象使用 (赋值兼容)
父类指针可以正确的指向子类对象
父类对象可以正确的代表子类对象
子类中可以重写父类中的成员函数
