类型兼容

类型兼容是多态性的前提，指在需要基类的地方可以用公有派生类对象赋值，有以下三种情况：

1. 可以用派生类对象对基类赋值
2. 可以用派生类对象初始化基类引用
3. 可以用派生类对象地址为基类指针赋值