adj.可代替的；可替換的；可取代的
Derived types must be completely substitutable for their base types. 派生類型必須是它們的基礎(chǔ)類型完全可替換的。
