子类型

能用父类型的地方都能用子类型。这是面向对象多态的基础。