第11章面向对象的设计与实现一、填空题（30小题）1、类型一致性原则.doc

PAGE 8 试卷答案 第  PAGE 14 页 （共  NUMPAGES 14 页） 第11章 面向对象的设计与实现 一、填空题（30小题） 1、类型一致性原则要求子类S必须满足6个限制条件：( )、( )、( )、( )、( )和( )。 答案：S的状态空间(State-space)必须与T的状态空间一致(但S可以拥有额外空间以延伸T的状态空间)、在S和T的共享空间中，S的状态空间必须等同于或位于T的状态空间之内。对于T的每一操作(如T.叩)，S覆盖或重定义为S.op,则：S.Op必须与T.op名称相同、S.op的形式函数原型的参数必须与T.op的形式函数原型的参数表一一对应、S.op的前置条件必须等同于或弱于T.op的前置条件、S.op的后置条件必须等同于或强于T.op的后置条件 2、类的实例化是( )。 答案：对象 3、对象之间进行通信的构造叫做( )。 答案：消息 4、闭合行为原则是指：( )。 答案：???基于类型／子类型层次结构的继承层次结构中，类C的任何对象操作的执行，包括从C的超类继承的所有操作应满足C的类不变式 5、类型( )对于创建类库的类层次结构至关重要。 答案：一致性原则 6、输出端是指(