%0 Journal Article
%T 面向对象的类型—子类型分析及推理规则
%A 李必信
%A 王云峰
%J 计算机科学
%D 1999
%I 
%X 1 引言面向对象的方法中,对象是作为现实世界中事物的自然映射。为了表达事物的分类关系,在面向对象领域中引入类型的概念,同一类对象具有相同的类型,不同类对象属于不同的类型。另一方面,在面向对象的软件开发的早期阶段,我们可能只知道某个数据抽象的部分操作和行为,随着软件开发过程的进展,对原有的数据抽象又有了新的要求,必须增加新的操作,从而产生新的数据抽象。新的数据抽象可看成是由老的数据抽象精化而来,它们分别由两种类型来描述,这两种类型之间存在子类型关系,而且这种精化过程可以重复多次,从而形成一个层次的子类型结构,它反映了程序各部分的不同要求。以层次方式来设计类型可以控制设计错误的影响范围,把握设计过程以及对实现给予指导。另外,满足子类型关系的继承还可以实现软件的设计重用,往往重用设计比重用代码更有利于软件开发。所以,为了进一步表达事物分类关系的层次性,可以用对象
%K 软件开发
%K 面向对象
%K 类型
%K 子类型
%K 推理规则
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F7DBD9169A2E6558B33868D9CCDCEB2B&yid=B914830F5B1D1078&vid=96C778EE049EE47D&iid=DF92D298D3FF1E6E&sid=EA389574707BDED3&eid=DB817633AA4F79B9&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=3