C++语言的面向对象特性分析.pdfVIP

硇饲缘 维普资讯 钾 t— C++语言的面向对象特性分析 ／ 一 ^ 北京大学计算机科学系 塑 塑差 √邵维中 7-，， _ _ 脯要 本文分析7面向对象程 序 设计 (Objeet—OrientedProgramming， ooP)的两种定爻形式：类定叉形式和类型定义形式之间的本质 区剐，相应严 格 区分 了类OOPL (面向对象程序设计语言JObject-OrientedProgramm ingLangu- age)和类型OOPL，并提 出7 ++语言弱OO (面向对象，Objec~-OrienLed)特 性的表现及其根源所在。最后扶统一 的同式多型 (Pob，morphism) 角度，考察7 C++中的OO机制和同式多型的关 系。 概念 (将类实现成类型)，子类型对父类型的继 、 OOP的两种定义形式 承严格地按照分类机制上的层次关系，其典型 的代表语言就是C++， 由于其关注的封装／ 从程序设计的角度，对 OOP有两种不 同 标识粒魔是类型 (即同类型的一组对象)[7]， 的定义形式 (如图 1) ： 因此我们称之为强类型的，相应在标识对象方 1． 00定义形式：0OP=消息传送+继 面的能力是弱的，称之为库OO的。 承，判定两个对象属于同一个类的依据是 它们 ／ 娄型定望形式：强豢星．弱。。 如 + 能否识别相周的消息集台，即取决于对象的外 ． 。0定义：：r、、oo定望形式弱襄墅 ． 罄o。 童口s lltalP 部特性 (externalbehavior)。 ． 2． 类型定义式：0OP=ADT+继承， 图 1 OOP的两种定卫形式 判定两个对象属于同一个类的依据是它们是否 关于类和类型这两个概念在 OOP领 域中 满足相同的说明，即取决于对象的 类型说 明 的理解和使用是比较混淆的，在许多场合曲讨 (typespecificati0n)。 论中为了叙述方便 也未对其加以严格区分， OO定义形式的核心概念是类(clas8)，它 但它们在本埙上是完全不同的，对此我们将在 强调对象个体的外部特性 (功能)，并没有类型 第三节中作详细讨论。在第二节中，我们针对 的概念 (将类型实现成类)。，子类对父类的继