Subtypes must be substitutable for their base types.

• 子类必须能够替换基类。