在 C++ 中,就像其它面向對象編程語言,可以通過定義一個新的類來定義一個新的類型。作為一個 C++ 開發者,你的大量時間就這樣花費在增大你的類型系統。這意味著你不僅僅是一個類的設計者,而且是一個類型的設計者。重載函數和運算符,控制內存分配和回收,定義對象的初始化和終結過程——這些全在你的掌控之中。因此你應該在類設計中傾注大量心血,接近語言設計者在語言內建類型的設計中所傾注的大量心血。
設計良好的類是有挑戰性的,因為設計良好的類型是有挑戰性的。良好的類型擁有簡單自然的語法,符合直覺的語義,以及一個或更多高效的實現。在 C++ 中,一個缺乏計劃的類設計,使其不可能達到上述任何一個目標。甚至一個類的成員函數的執行特性可能受到它們是被如何聲明的影響。
那麼,如何才能設計高效的類呢?首先,你必須理解你所面對的問題。實際上每一個類都需要你面對下面這些問題,其答案通常就導向你的設計的限制因素:
你的新類型的對象應該如何創建和銷毀?如何做這些將影響到你的類的構造函數和析構函數,以及內存分配和回收的函數(operator new,operator new[],operator delete,和 operator delete[])的設計,除非你不寫它們。
對象的初始化和對象的賦值應該有什麼不同?這個問題的答案決定了你的構造函數和你的賦值運算符的行為和它們之間的不同。這對於不混淆初始化和賦值是很重要的,因為它們相當於不同的函數調用。
以值傳遞(passed by value)對於你的新類型的對象意味著什麼?記住,拷貝構造函數定義了一個新類型的傳值(pass-by-value)如何實現。
你的新類型的合法值的限定條件是什麼?通常,對於一個類的數據成員來說,僅有某些值的組合是合法的。那些組合決定了你的類必須維持的不變量。這些不變量決定了你必須在成員函數內部進行錯誤檢查,非凡是你的構造函數,賦值運算符,以及 "setter" 函數。它可能也會影響你的函數拋出的異常,以及你的函數的異常規范(exception specification)(你用到它的可能性很小)。
你的新類型是否適合放進一個繼續圖表中?假如你從已經存在的類繼續,你將被那些類的設計所約束,非凡是它們的函數是 virtual 還是 non-virtual。假如你希望答應其他類繼續你的類,將影響到你是否將函數聲明為 virtual,非凡是你的析構函數。
你的新類型答應哪種類型轉換?你的類型身處其它類型的海洋中,所以是否要在你的類型和其它類型之間有一些轉換?假如你希望答應 T1 類型的對象隱式轉型為 T2 類型的對象,你就要麼在 T1 類中寫一個類型轉換函數(例如,operator T2),要麼在 T2 類中寫一個非顯式的構造函數,而且它們都要能夠以單一參數調用。假如你希望僅僅答應顯示轉換,你就要寫執行這個轉換的函數,而且你還需要避免使它們的類型轉換運算符或非顯式構造函數能夠以一個參數調用。
對於新類型哪些運算符和函數有意義?這個問題的答案決定你應該為你的類聲明哪些函數。其中一些是成員函數,另一些不是。
哪些標准函數不應該被接受?你需要將那些都聲明為 private。
你的新類型中哪些成員可以被訪問?這個問題的可以幫助你決定哪些成員是 public,哪些是 protected,以及哪些是 private。它也可以幫助你決定哪些類和/或函數應該是友元,以及一個類嵌套在另一個類內部是否有意義。
什麼是你的新類型的 "undeclared interface"?它對於性能考慮,異常安全(exception safety),以及資源使用(例如,鎖和動態內存)提供哪種保證?你在這些領域提供的保證將強制影響你的類的實現。
你的新類型有多大程度的通用性?也許你並非真的要定義一個新的類型。也許你要定義一個整個的類型家族。假如是這樣,你不需要定義一個新的類,而是需要定義一個新的類模板。
一個新的類型真的是你所需要的嗎?是否你可以僅僅定義一個新的繼續類,以便讓你可以為一個已存在的類增加一些功能,也許通過簡單地定義一個或更多非成員函數或模板能更好地達成你的目標。
回答這些問題是困難的,所以定義高效的類是有挑戰性的。既然,在 C++ 中用戶自定義類生成的類型至少可以和內建類型一樣好,那就做好它,它會使一切努力都變的有價值。
Things to Remember
類設計就是類型設計。定義一個新類型之前,確保考慮了本 Item 討論的所有問題。