Derived types must be completely substitutable for their base types.

• 派生类型必须是它们的基础类型完全可替换的。