第九章对象设计-说明接口

导言对象之间是通过接口进行交互的接口接受一些参数，对其中每一步的操作有一组假设条件，并产生一个结果如果假设条件发生了变化，结果可能改变。接口规格说明概述标识遗漏的属性和方法求精对象设计模型标识可见性和签名标识哪些属性和方法对其他子系统是可见的说明契约对方法中每一步操作进行约束接口规格说明概念类实现者负责实现类内部数据结构和方法类扩展者对现有类进行扩展（子类的开发）类用户使用其他类提供的接口接口规格说明概念类型属性的数据类型签名属性定义（属性名，类型）maxNum：int方法定义（函数名，参数，返回值）getNum（Void）：int可见性属性，方法的可见性，私有、保护、公有-，#，+接口规格说明概念契约：不变式，前置条件，后置条件不变式（invariant，inv）对于该类的每一个实例都为真的谓词ClassA.getStudentNum()0前置条件（precondition，pre）在调用一个方法前必须为真的谓词ClassA.getStudentNum()ClassA.MaxStudentNum()ClassA.addStudent(p)后置条件（postcondition，post）在调用一个方法后必须为真的谓词ClassA.addStudent(p)ClassA.isStudentAccept(p);接口规格说明概念对象约束语言-OCL（ObjectConstraintlanguage）使用UML和图形描述OCL表达式接口规格说明概念使用文字描述OCL表达式ContextTournamentinv:self.getMaxNumPlayers()0ContextTournament::acceptPlayer(p:Player)pre:!isPlayerAccepted(p)getNumPlayers()getMaxNumPlayers()ContextTournament::acceptPlayer(p:Player)post:isPlayerAccepted(p)ContextTournament::removePlayer(p:Player)pre:……接口规格说明概念在java中可以使用javadoc文本标签编辑OCL描述/***thisfunction……………*@pre!isPlayerAccepted(p)*@pregetNumPlayers()getMaxNumPlayers()*@postisPlayerAccepted(p)*/publicvoidacceptPlayer(Playerp){……}接口规格说明活动标识遗漏的方法和属性说明类型签名及可见性说明前置条件和后置条件说明不变式继承契约标识遗漏的方法和属性在需求分析中，侧重应用域的对象，在系统设计中，关注子系统服务在对象设计中，标识遗漏的属性和方法QQ登陆模块（需求分析）实体对象：用户边界对象：登陆表单控制对象：登陆控制防止同一个用户同时登陆在登陆控制中添加isPlayerOverLogin方法并修改顺序图说明类型，签名和可见性定义方法接口，参数，返回值renderStringstr,font,fontstyle,area,mode…………..标识方法可见性问题对于播放器内核来说，你觉得下列哪些方法是公有的，哪些是私有的StratPlayer()FullScreen()ReadFileStream()DecodeBlock()RenderToScreen()说明前置条件和后置条件说明一个类方法的依赖条件QQ登陆ContextLoginControl::playerLogin(p:Player)pre:!isPlayerLogined(p)getNumPlayers()getMaxNumPlayers()ContextLoginControl::playerLogin(p:Player)post:isPlayerLogined(p)说明不变式ContextLoginControlinv:self.getMaxNumPlayers()0对象设计编档作为需求分析的一个补充优点：需求分析与对象设计一致缺点：需求分析文档中加入用户/客户无关数据嵌入到源代码中，通过在源码中按照某种格式标记注释接口，然后使用工具提取出相关信息（如Javadoc）优点：自动生成，更新容易Javadoc的使用对象设计文档模板导言接口文档规范术语表参考接口设计规范类的命名规则（单一名词）方法和属性的命名规则（动词短语）异常的返回方式（返回异常，而不是错误返回值）对象设计文档模板包包的综述，包的依赖关系以及期望的用法类类的综述，属性，方法，可见性，以及应该抛出的异常接口设计规范函数命名法则isCurrentFile变量命名法则g_全局变量（g_pElement）m_成员变量（m_pElement）变量类型iintiStudentNumppointpPointAuuintuSumsstructuresButton……责任分配体系结构师定义接口规范，保证对象设计与需求分析一致系统联络员负责子系统接口编档，及时更新对象设计者实现类接口规格说明，求精及细化配置管理人员跟踪源代码及对象设计文档版本技术记录员整理对象设计文档的最终版本