子类型的所有实例可以（但不是必须）是父类型的一个实例。