《C++面向对象高效编程(第2版)》——2.27 关联

2.27 关联

C++面向对象高效编程(第2版)
关联表示对象与不同类之间的结构关系(structual relationship),大多数关联都是二元关系(binary relation)。类之间的多重关联(multiple association)和类本身的自关联(self association)都是合法的(见图2-19)。

关联可以有一个名称,表明阅读方向的箭头为可选。注意,方向箭头为可选,但关联名必须显示。关联在不同的方向可以有不同的名称,但是,大多数情况下,没必要注明(特别是在已标出角色名(role name)的情况下)。

“为其工作”是从Person到Company的关联名,“雇佣”是从Company到Person的关联名,箭头指明关联的方向。如此详细的命名并不常见。

图2-19

每个关联的末端就是角色。每个角色都有一个名称,说明其他的类如何看待这个类。Company将Person看做成“雇员”。类似地,Person将Company看成“雇主”。角色名必须唯一,它比关联名更重要。

每个角色都说明了类的多重性(multiplicity)。例如,Person可以为许多公司工作(即人与许多公司相关联)。这说明角色的多重性(有多少个Company类对象可以与一个Person类对象相关联?)。符号表明“许多”(对象的无限数目,其表示为0..)。一个Person可以为许多Company工作,一个Company可以雇佣许多Person。因此,Company对于Person的多重性就是1..*(许多)。多重性也可以是一个数字(1或5等等),或者是一个范围(1..5)。

关联末端的箭头表明关联的导航性。例如,如果可以找到(遍历)Person所拥有的所有DrivingLicense(驾驶执照)类对象列表,可以表示为图2-20。

Person可以拥有许多驾驶执照(不同国家、不同类别等),但是DrivingLicense一定只属于一个Person。

一个类还可以与本身形成关联,即成为关联类(association class)。在下面的示例中(见图2-21),ATMTransaction有自己的属性和操作。关联类也可以与自身形成关联。在关联线用虚线引出的类,即是关联类。

在该例中(见图2-21),ATM类包含诸如owner(谁操作ATM,通常是银行)、address(物理位置)等的细节信息。

当然,Person在Company中所占据的Job本身也是一个类(见图2-22)。

关联类可能只包含关联的属性,而无任何操作。在这种情况下,关联类的名称可以不显示。

图2-21

2.27.1 作为聚集的关联

在许多情况下,我们更倾向于显示整体-部分关系。聚集1(aggregation)是一种特殊形式的关联。这种情况下,部分(即整体所包含的部分)的生存期不再取决于整体的生存期(见图2-24)。

通过一个空菱形连接的类为聚集。不能在线的两端都绘制菱形(见图2-23)。当类之间没有生存期依赖时,该表示法用于表示常见的按引用聚集。Orchestra(管弦乐队)是Performer(演奏者)的全体演出者。如果将表示聚集的空菱形填充,则表示组合(composition)——聚集的一种加强的形式。稍候将讨论这个问题。

图2-23

2.27.2 OR 关联
在某些情况下,一个类可以参与两个关联,但是每个对象一次只能参与一个关联。BankAccount可以由一人或多人所持有(共同账户(joint account)),或由Company(公司)持有。这种情况可以用约束条件{or}表示。因此,Person的多重性是*,而Company的多重性就是1。Automobile(汽车)也可作为类似的例子,Company或Person都可以拥有Automobile。

时间: 2024-11-11 03:08:59

《C++面向对象高效编程(第2版)》——2.27 关联的相关文章

《C++面向对象高效编程(第2版)》——4.2 无用单元收集问题

4.2 无用单元收集问题 C++面向对象高效编程(第2版) 在我们讨论无用单元收集1(garbage collection)之前,先了解一下何为无用单元(garbage),何为悬挂引用(dangling reference). 4.2.1 无用单元 所谓无用单元(garbage),是一块存储区(或资源),该存储区虽然是程序(或进程)的一部分,但是在程序中却不可再对其引用.按照C++的规定,我们可以说,无用单元是程序中没有指针指向的某些资源.以下是一个示例: main() { char* p =

《C++面向对象高效编程(第2版)》——4.6 对象赋值的语义

4.6 对象赋值的语义 C++面向对象高效编程(第2版) 赋值与复制的操作非常类似.在C++中,绝大多数的复制操作都由语言隐式调用(当对象按值传递或按值返回时).当通过现有对象创建新对象时,也进行了复制操作(但不是很频繁).与复制相反的是,赋值是必须由程序员显式调用的操作.然而,在Eiffel和Smalltalk中,赋值和复制操作都由程序员显式调用.这也是基于值的语言与基于引用的语言之间的区别. 在C++中,对于对象和基本类型赋值都具有相同的含义.把基本类型变量赋值给另一个(兼容的)基本类型变量

《C++面向对象高效编程(第2版)》——2.21 确保抽象的可靠性——类不变式和断言

2.21 确保抽象的可靠性--类不变式和断言 C++面向对象高效编程(第2版) 任何抽象都必须与客户履行它的契约(contract).当客户使用类时,他希望类的对象像其发布描述的那样运行正常.另一方面,类的实现者必须千方百计地确保对象运行正常.但是,类只有在客户履行自己那部分契约后,才能正确行使它的职责.例如,类的成员函数可能要求传入的参数为非零指针(non-zero pointer).只有满足此前提条件,成员函数才能保证它的行为.因此,客户必须履行一些义务.换言之,如果客户履行了她那部分契约,

《C++面向对象高效编程(第2版)》——2.30 has-a关系的重要性

2.30 has-a关系的重要性 C++面向对象高效编程(第2版) "has-a"关系(也称为关联.聚集.包含.组合)是在OOD(面向对象设计)中频繁使用的重要关系.但是,许多设计者和程序员都没有很好地理解其相关性,从而导致复杂僵化的设计和不必要的继承. 在OOD阶段,软件的复用主要通过两种方式完成:继承和包含.它们各有优缺点.优秀的设计者了解它们的局限性.优点和代价,可以灵活自如地应用它们.继承将在第5章.第6章以及第二部分的第12章中详细讨论. 包含是一项强大的设计技术,它比继承更

《C++面向对象高效编程(第2版)》——3.2 类要素的细节

3.2 类要素的细节 C++面向对象高效编程(第2版) 3.2.1 访问区域 客户可以访问在类的public区域中声明的任何成员.我们可以把该区域看做是通用公共(general public)的接口,它没有任何保护,是类限制最少的区域.一个设计良好的类绝不会将数据成员包含在public区域,该区域只能包含成员函数.如果在public区域包含数据成员,那么无需类的实现者,仅通过编译器即可访问这些数据成员.这违反了数据抽象和封装原则.这也是我们为什么总将数据成员放在private或protected

《C++面向对象高效编程(第2版)》——第2章 什么是数据抽象

第2章 什么是数据抽象 C++面向对象高效编程(第2版) 面向对象编程的一项基本任务是创建带有适当功能的类,并隐藏不必要的细节(即抽象数据).下面,我们将用一个现实生活中的例子来解释数据抽象的概念. 绝大多数人都见过影碟播放机(laser disc player)(或LD播放机).现在,提出一个简单的问题:设计一个影碟播放机,要求易于使用和修改,可后续添加更多有用的功能. 注意: 如果难以理解影碟播放机,可以用CD播放机代替LD播放机,其设计原理类似.实际上,影碟播放机的功能是CD播放机功能的超

《C++面向对象高效编程(第2版)》——1.5 什么可以作为类

1.5 什么可以作为类 C++面向对象高效编程(第2版) 用简单的例子详细讨论类和对象非常容易,但是难点在于如何为给定的问题找出合适的类.我们必须理解类代表什么,何时将问题中的某些部分转化为类,而非数据,反之亦然.根据我们的定义,类拥有一组对象的共同属性(或者特性).怎样的共同才是共同?何时说这是一个类,而不是另一个类的对象?这些都是我们在学习OOP时会遇到的,和真正关心的问题. 当我们决定创建一个类时,第一个问题就是"是否确实需要这个类的多个实例?",如果答案为"是&quo

《C++面向对象高效编程(第2版)》——4.3 C++中的无用单元收集

4.3 C++中的无用单元收集 C++面向对象高效编程(第2版) C++提供类的析构函数专门处理无用单元收集,但是,这并不意味着无用单元收集只发生在析构函数中.实际上,某些其他成员函数也必须考虑无用单元收集. 类的析构函数给予对象最后一次机会释放它所获得的所有资源.在退出某作用域之前,由语言自动为在该作用域中创建的自动(基于栈)对象调用析构函数.此时,对象即将被销毁(也就是说,被对象占用的内存即将被系统回收).一旦析构函数完成,对象将彻底地消失. 删除(使用delete操作符)指向某对象的指针时

《C++面向对象高效编程(第2版)》——2.10 抽象数据类型—栈的实现

2.10 抽象数据类型-栈的实现 C++面向对象高效编程(第2版) 下面的示例用于说明,在C中一个简单栈的实现. Stack.h文件--让所有的抽象数据类型用户都可以使用Stack. typedef Stack* Stackld; typedef int bool; struct Stack { int data; / 在栈上存储元素 */ unsigned count; / 栈上元素的数量 / int top; / 栈顶部的指针 */ / 略去其他细节 .../ };``` Stack.c文件