adj.可代替的；可替换的；可取代的
Derived types must be completely substitutable for their base types. 派生类型必须是它们的基础类型完全可替换的。
