题目内容
(请给出正确答案)
[单选题]
类型一致性原则要求子类S必须为类T的真子类型,并且满足6个限制条件,以下适用于所有类的是( )。
A.S的状态空间(state-space)必须与T的状态空间一致
B.S.op必须与T.op名称相同
C.S.op的前置条件必须等同于或弱于T.op的前置条件
D.S.op的后置条件必须等同于或强于T.op的后置条件
查看答案
如果结果不匹配,请 联系老师 获取答案