子类型必须能够替换掉它们的基类型,这种原则是