第1章 UML基礎:類的關係
1. 類的關係
1.1 繼承和實現:繼承表示有父子關係
1.2 依賴:(use–a),表示一個類要使用(use)另一個類。
(1)類圖
(2)三種依賴方式:函式引數或返回值、區域性變數和靜態成員變數或函式
1.3 關聯:是一種平等的、朋友關係
(1)雙向關聯:雙方都知道對方的存在,都可以呼叫對方的公有成員變數和函式
①在程式碼的表現為雙方都擁有對方的一個指標或引用。注意,表現為擁有對方的一個 “指標” 和 “引用”。
②之所以是指標和引用是有原因的。如果是值(物件)那麼就不是關聯了,而是組合。因為是值的話,C31物件消失C32物件也會消失。這和組合的定義就一樣了 :整體與部分的關係,而且整體消失部分也會消失,部分不能獨立於整體存在。
(2)單向關聯
①表示相識關係,指C33知道C34,可以呼叫C34的公共成員變數和函式
②程式碼上表示為C33有C34的指標,而C34對C33一無所知。
(3)自身關聯:自己的內部有著一個指向自身的指標或引用
1.4 聚合與組合
(1)聚合:(has–a ),表示整體-部分的關係,但部分可以脫離整體而單獨存在。
①如C41聚合C42,但是C42可以離開C41而獨立存在。在建立C41類的物件時,一般不會馬上建立theC42物件,而是等待一個外界的物件傳給它。
②當用C++程式碼來描繪關聯和聚合時,都是一個類包含了另外一個類的指標
(2)組合:Contains-a。表示整體-部分的關係,但部分不能脫離整體而單獨存在。如手腳是身體的一部分,輪胎與汽車的一部分,脫離後就沒有意義了。
①一般組合用的是值物件(如theC44,表示其生命期與整體一致)
②聚合是指標。但有時組合也可以用指標,在建構函式中建立物件,解構函式中銷燬物件。但不同的是,聚合,一般其物件指標是由類外傳入的,而組合是在類內部的建構函式中new出來的
③從語義上看,組合與聚合也是不一樣的。當表示聚合時,部分可以脫離整體。而組合不行。
2. 依賴和聚合/組合、關聯的區別
①關聯是類之間的一種平等關係,例如老師和學生,老公和老婆,水壺裝水等就是一種關係。從語義上很容易區分出來
②組合是一種整體-部分的關係,在問題域中這種關係很明顯,從語義上可以直接分析得出。例如輪胎是車的一部分,樹葉是樹的一部分,手腳是身體的一部分這種的關係,非常明顯的整體-部分關係。
③上述的幾種關係(依賴、關聯、聚合/組合)在程式碼中可能以指標、引用、值等的方式在另一個類中出現,不拘於形式,只有配合語義,結合上下文來判斷。而只給出一段程式碼讓我們來判斷是什麼關係,還是無法準確判斷的。
④這裡還要說明一下,所謂的這些關係只是在某個問題域才有效,離開了這個問題域,可能這些關係就不成立了。