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