條款19 ：設計class猶如設計type

當你定義了一個新的class時，也就定義了一個新的type。身為c++程式員，你有許多時間主要用來擴張你的類型系統。這意味著你並不只是class設計者，還是type設計者。重載函數和操作符，控制記憶體的分配和歸還，定義對象的初始化和終結…全都在你的手上。因此你應該帶著和“語言設計者當初設計語言內建類型時”一樣的謹慎來研討class的設計。

 

幾乎每一個class都要求你面對以下提問。

 

1.  新type的對象應該如何被建立和銷毀？
2. 對象的初始化和對象的賦值該有什麼樣的差別？（對應不同的函數）
3. 新type的對象如果被pass by value，意味著什嗎？
4. 什麼是新type的合法值？對于于class成員變數來說，通常只有某些數值集是有效。那些數值集決定了你的class必須維護的約束條件，也就決定了你的成員函數（如建構函式，賦值函數）必須進行的錯誤檢查工作。它也影響函數拋出的異常，以及函數異常明細。
5. 你的新的type需要配合某個繼承體系嗎？有沒有受到vitual和non-virtual的影響？
6. 你的新type需要什麼樣的轉換？如果要轉換，是不是要定義轉換函式？
7. 什麼樣的操作符和函數對此新type而言是合理的？
8. 什麼樣的標準函數應該駁回？那些正是你必須聲明為private者。
9. 誰該取用新type成員？哪些是public？哪些是private？哪一個class或function是此type的友元？
10. 什麼是新type的未聲明的介面？
11. 你的新type有多麼一般化？或許你其實並非定義一個新type，而是定義一整個types家族。果真如此你就不該定義一個新class，而是定義一個新的class template。
12. 你真的需要一個新的type嗎？