???開發(fā)可維護(hù)、易測(cè)試和可重用的軟件需要全面的物理設(shè)計(jì)和邏輯設(shè)計(jì)的知識(shí)。物理設(shè)計(jì)研究組織的問題,超出了邏輯領(lǐng)域的范疇,物理設(shè)計(jì)很容易影響可測(cè)量的特性,例如運(yùn)行時(shí)間、編譯時(shí)間、連接時(shí)間以及可執(zhí)行文件大小。
???一個(gè)組件是由一個(gè).c文件和.h文件組成的物理實(shí)體,它具體表達(dá)了一個(gè)邏輯抽象的具體實(shí)現(xiàn)。一個(gè)組件一般包含一個(gè)、兩個(gè)甚至多個(gè)類,已經(jīng)需要用來支持全部抽象的適當(dāng)?shù)淖杂蛇\(yùn)算符。一個(gè)組件(而不是一個(gè)類)是邏輯設(shè)計(jì)和物理設(shè)計(jì)的適當(dāng)單位,因?yàn)樗軌颍?br />???1)讓若干邏輯實(shí)體把一個(gè)單一的抽象表現(xiàn)為一個(gè)內(nèi)聚單位;
???2)考慮到物理問題和組織問題;
?? 3)在其他程序中選擇性地重用編譯單元。
???一個(gè)組件的邏輯接口僅限于指能夠被客戶程序通過編譯訪問的部分,而物理接口則包括它的整個(gè)頭文件。如果在一個(gè)組件的物理接口中使用了一個(gè)用戶自定義類型T,即使T是一個(gè)封裝的邏輯細(xì)節(jié),也可能迫使那個(gè)組件的客戶程序在編譯時(shí)依賴T的定義。
???組件是自我包含的、內(nèi)聚的和潛在的可重用的設(shè)計(jì)單位。在一個(gè)組件內(nèi)部聲明的邏輯結(jié)構(gòu)不應(yīng)該定義在那個(gè)組件之外。一個(gè)組件的.c文件應(yīng)該直接包含它的.h文件,以確保.h文件可基于它自己進(jìn)行語法分析。對(duì)于每一個(gè)需要的類型定義,都始終包含其頭文件,而不是依賴一個(gè)頭文件去包含另一個(gè),這樣,當(dāng)一個(gè)組件允許一個(gè)#include 指令從其頭文件中被刪除時(shí)不會(huì)出現(xiàn)問題。想要改進(jìn)可用性、可重用性和可維護(hù)性,如果某個(gè)帶有外部連接的結(jié)構(gòu)沒有在一個(gè)組件的.h文件聲明,那么我們應(yīng)該避免把該結(jié)構(gòu)放在這個(gè)組件的.c文件中。同樣的原因,我們應(yīng)該避免使用局部聲明去訪問有外部連接的定義。
???
???最后友元關(guān)系雖然表面上是一個(gè)邏輯關(guān)系,但會(huì)影響到物理設(shè)計(jì)。在一個(gè)組件內(nèi)部,(局部的)友元關(guān)系是那個(gè)組件的一個(gè)封裝的實(shí)現(xiàn)細(xì)節(jié)。為了改進(jìn)可用性和用戶可擴(kuò)展性,一個(gè)容器類常常會(huì)把同一個(gè)組件內(nèi)的迭代器視作友元,不會(huì)破壞封裝。友元關(guān)系只會(huì)直接影響訪問權(quán)限但不會(huì)隱含依賴。