軟件構造第四章習題

第四章 [多選]Behavioral subtyping必須要滿足的條件，不包括以下__ A.子類型可以增加父類型中所沒有的新方法子類型B.override父類型的某B方法，子類型方法需具備相同或更弱的post-condition C.子類型必須要具備與父類型相同或更弱的invariants(不變量) D.子類型override父類型的某個方法，不能比父類型方法拋出新的異常類型，但可比父類型方法拋

>>阅读原文<<