C++設(shè)計規(guī)則說明
C++語言是一門獨立的語言，并不是在C語言的基礎(chǔ)上，可以直接學習C++不必先從C下手，C++設(shè)計的目的就是能提供更易用并具有一定承受能力的C++設(shè)計思想和程序設(shè)計技術(shù)。
C++在其存在的“當時”那個時期必須是有用處的；每一種語言特性必須有一個有根據(jù)的、明確的實現(xiàn)方案；總能提供一種變通的方法；能為意欲支持的每一種程序設(shè)計風格提供易于理解的支持方法；不強制于人。
可以注意到，基本規(guī)則的最后三條暗示了兩點：對適用于真實世界中各種應用的便捷工具的強調(diào)；對程序員的技術(shù)和取向（偏好）的充分考慮。從一開始，C++面向的就是那些要做實際項目的程序員。
所謂的“完美”被認為是不可能達到的，這是由于C++用戶在需求、背景和待解決問題上存在著太大的不同。況且，在一門通用目的的程序設(shè)計語言的整個生存期之內(nèi)，連對“完美”一詞的詮釋都可能會有極大的改變。由此可知，在語言的演化過程中，來自用戶的反饋和語言實現(xiàn)者們積累的經(jīng)驗才是最為重要的。
提供用于程序組織的語言設(shè)施；心口如一（Say what you mean）；所有的語言特性必須具有切實有效的承受能力；開啟一個有用的特性比避免所有的誤用更為重要；能將獨立開發(fā)的部件組合成完整的軟件。
這些技術(shù)中的絕大部分都源自Simua [Dah,1970][Dah,1972][Birtwiste,1979]，并通常被作為面向?qū)ο蟪绦?FONT size=+0>設(shè)計和面向?qū)ο?FONT size=+0>設(shè)計思想來討論。然而，C++的設(shè)計目標總還是在于要支持一定范圍內(nèi)的各種程序設(shè)計風格和設(shè)計思想。這與一般在語言設(shè)計方面的觀點形成一定對比。一般在語言設(shè)計上總是試圖將所有系統(tǒng)內(nèi)建于單獨一個被重點支持的、帶有強制性的程序設(shè)計風格之中（或稱典范paradigm）。
與靜態(tài)型別系統(tǒng)（Static type system）沒有內(nèi)在的沖突；像對內(nèi)建（buit-in）型別一樣對用戶自定義型別提供很好的支持；個異化（ocaity）行為是可取的；避免產(chǎn)生順序上的依賴關(guān)系；在對語言產(chǎn)生疑惑時，可以選取其特性中最易掌握的部分；可以因為不正當?shù)恼Z法使用而產(chǎn)生問題（Syntax matters (often in perverse ways)）削弱對預處理器的使用。
當然，這些規(guī)則要具體結(jié)合更多關(guān)于基本目標的上下文環(huán)境來考慮。應該注意到的是，在“與C有較高的兼容性”、“不損失效率”以及“具有便捷的可用性來解決實際問題”這三個方面的要求，與在“完整的型別安全性”、“完全的通用性”以及“完善的抽象之美”這三個方面的要求形成對立。
C++從Simua中借鑒了用戶自定義型別（cass,§4.1）和類層次機制。然而，在Simua及許多類似的語言中，其對用戶自定義型別的支持與其對內(nèi)建型別的支持存在著根本上的不同。例如，Simua中不允許在棧中為用戶自定義型別的對象分配空間。
并且只允許通過指針（這在Simua中稱為引用——reference）來對這些對象進行訪問。而相反的，內(nèi)建型別的對象只在棧中被分配空間，不能在動態(tài)存儲區(qū)中分配，而且不能使用指針指向它。
這種在對待內(nèi)建型別與對待用戶自定義型別上的差異，暗示著對效率問題的嚴格考慮。比如，當作為一個在動態(tài)存儲區(qū)中被分配的對象之引用時，如果該對象屬于自定義型別（比如compex,§4.1），那么就會為運行期及空間帶來負荷；
而這些負荷在有些應用中被認為是不可接受的。這些正是C++意欲涉足解決的問題。同時，在用法上的不同也決定了：不可能在范型程序設(shè)計中統(tǒng)一對待那些語義上近似的型別。
在維護一個較龐大的程序時，一個程序員不可避免的會基于某些不完整的知識來對程序作一些修改，只關(guān)注全部程序代碼中的一小部分?；诖耍?FONT size=+0>C++提供了cass（§4）、namespace（§5.2）和訪問控制（§4.1），使C++設(shè)計決策的各異化（ocaity）成為可能。
在基于一趟編譯（one-pass compiation）的語言中，某些順序上的依賴性是不可避免的。例如在C++中，一個變量或者函數(shù)在其被聲明之前是無法使用的。然而，C++中類成員的名字規(guī)則和重載解析（overoad resoution）的規(guī)則還是在獨立于聲明順序的原則下被制定出來，以便將發(fā)生混亂和錯誤的可能性降至最低。
[基于低層次程序設(shè)計的規(guī)則（ow-eve programming support rues）]使用傳統(tǒng)的（笨拙的）連接器（inker）；與C語言不存在無故的不兼容性；不給C++之下層級的更低層語言留出余地（匯編語言除外）；你不會為你所不使用的部分付出代價（零負荷規(guī)則）；在產(chǎn)生疑惑時，能提供完全自主控制的途徑。
在C++設(shè)計中只要在不嚴重影響其對強型別檢查（strong type checking）的支持的地方，都盡量做到與C的“source-ink”方式相兼容。除了某些微小的細節(jié)差別之外，C++將C[Kernighan,1978][Kernighan,1988]作為一個子集包含了進來。
C++與C的兼容性使得C++程序員立刻就能有一個完整的語言和工具集可用。還有兩點也很重要，一是有大量關(guān)于C的高質(zhì)量的教學素材已經(jīng)存在，二是C++程序員可以利用C++與C的兼容性而直接并有效的使用大量現(xiàn)成的程序庫。
在決定將C作為C++的基礎(chǔ)的時候，C還沒有像后來那樣出類拔萃、炙手可熱，所以在考慮這個問題的時候，與C語言所提供的可適應性和高效性相比，C語言的流行程度只是個次要的考慮因素。
然而，與C的兼容性也使得C++在某些語法和語義上保留了C的一些瑕疵之處。比如，C語言的聲明語法就實在遠不及優(yōu)美；而其內(nèi)建型別的隱式轉(zhuǎn)換規(guī)則也是混亂無章法的。還有另一個大問題，就是許多從C轉(zhuǎn)向C++的程序員并沒有認識到，代碼質(zhì)量上的顯著提高只能通過在程序C++設(shè)計風格上的顯著改變來達到。
【編輯推薦】
