在 C++ 中，就像其它面向?qū)ο缶幊陶Z言，可以通過定義一個(gè)新的類來定義一個(gè)新的類型。作為一個(gè) C++ 開發(fā)者，你的大量時(shí)間就這樣花費(fèi)在增大你的類型系統(tǒng)。這意味著你不僅僅是一個(gè)類的設(shè)計(jì)者，而且是一個(gè)類型的設(shè)計(jì)者。重載函數(shù)和運(yùn)算符，控制內(nèi)存分配和回收，定義對(duì)象的初始化和終結(jié)過程——這些全在你的掌控之中。因此你應(yīng)該在類設(shè)計(jì)中傾注大量心血，接近語言設(shè)計(jì)者在語言內(nèi)建類型的設(shè)計(jì)中所傾注的大量心血。

　　設(shè)計(jì)良好的類是有挑戰(zhàn)性的，因?yàn)樵O(shè)計(jì)良好的類型是有挑戰(zhàn)性的。良好的類型擁有簡單自然的語法，符合直覺的語義，以及一個(gè)或更多高效的實(shí)現(xiàn)。在 C++ 中，一個(gè)缺乏計(jì)劃的類設(shè)計(jì)，使其不可能達(dá)到上述任何一個(gè)目標(biāo)。甚至一個(gè)類的成員函數(shù)的執(zhí)行特性可能受到它們是被如何聲明的影響。

　　那么，如何才能設(shè)計(jì)高效的類呢？首先，你必須理解你所面對(duì)的問題。實(shí)際上每一個(gè)類都需要你面對(duì)下面這些問題，其答案通常就導(dǎo)向你的設(shè)計(jì)的限制因素：

　　你的新類型的對(duì)象應(yīng)該如何創(chuàng)建和銷毀？如何做這些將影響到你的類的構(gòu)造函數(shù)和析構(gòu)函數(shù)，以及內(nèi)存分配和回收的函數(shù)（operator new，operator new[]，operator delete，和 operator delete[]）的設(shè)計(jì)，除非你不寫它們。 　　

　　對(duì)象的初始化和對(duì)象的賦值應(yīng)該有什么不同？這個(gè)問題的答案決定了你的構(gòu)造函數(shù)和你的賦值運(yùn)算符的行為和它們之間的不同。這對(duì)于不混淆初始化和賦值是很重要的，因?yàn)樗鼈兿喈?dāng)于不同的函數(shù)調(diào)用。 　　

　　以值傳遞（passed by value）對(duì)于你的新類型的對(duì)象意味著什么？記住，拷貝構(gòu)造函數(shù)定義了一個(gè)新類型的傳值（pass-by-value）如何實(shí)現(xiàn)。 　　

　　你的新類型的合法值的限定條件是什么？通常，對(duì)于一個(gè)類的數(shù)據(jù)成員來說，僅有某些值的組合是合法的。那些組合決定了你的類必須維持的不變量。這些不變量決定了你必須在成員函數(shù)內(nèi)部進(jìn)行錯(cuò)誤檢查，特別是你的構(gòu)造函數(shù)，賦值運(yùn)算符，以及 "setter" 函數(shù)。它可能也會(huì)影響你的函數(shù)拋出的異常，以及你的函數(shù)的異常規(guī)范（exception specification）（你用到它的可能性很小）。