 |
-- 會員 / 註冊 --
|
 |
|
|
|
深度探索C++對象模型 ( 簡體 字) |
| 作者：侯捷 | 類別：1. -> 程式設計 -> C++ -> C++ |
| 譯者： |
| 出版社：電子工業出版社 |  3dWoo書號： 31827
詢問書籍請說出此書號！【缺書】
NT售價： 495 元 |
| 出版日：11/1/2020 |
| 頁數：356 |
| 光碟數：0 |
|
站長推薦：  |
| 印刷：黑白印刷 | 語系： ( 簡體 版 ) |
| |
加入購物車  │加到我的最愛
(請先登入會員) |
| ISBN：9787121149528 |
| 作者序 | 譯者序 | 前言 | 內容簡介 | 目錄 | 序 |
| (簡體書上所述之下載連結耗時費功, 恕不適用在台灣, 若讀者需要請自行嘗試, 恕不保證) |
| 作者序： |
| 譯者序： |
前言：本立道生 （侯捷 譯序）
對于傳統的結構化（sequential）語言，我們向來沒有太多的疑惑，雖然在函數調用的背后，也有著堆棧建制、參數排列、返回地址、堆棧清除等等幕后機制，但函數調用是那么的自然而明顯，好像只是夾帶著一個包裹，從程序的某一個地點跳到另一個地點去執行。
但是對于面向對象（Object Oriented）語言，我們的疑惑就多了。究其因，這種語言的編譯器為我們（程序員）做了太多的服務：構造函數、析構函數、虛擬函數、繼承、多態……有時候它為我們合成出一些額外的函數（或運算符），有時候它又擴張我們所寫的函數內容，放進更多的操作。有時候它還會為我們的objects加油添醋，放進一些奇妙的東西，使你面對sizeof的結果大驚失色。
我心里頭一直有個疑惑：計算機程序最基礎的形式，總是脫離不了一行一行的循序執行模式，為什么OO（面向對象）語言卻能夠“自動完成”這么多事情呢？另一個疑惑是，威力強大的polymorphism（多態），其底層機制究竟如何？
如果不了解編譯器對我們所寫的C++代碼做了什么手腳，這些困惑永遠解不開。
這本書解決了過去令我百思不解的諸多疑惑。我要向所有已具備C++多年程序設計經驗的同好們大力推薦這本書。
這本書同時也是躍向組件軟件（component-ware）基本精神的“跳板”。不管你想學習COM（Component Object Model）、CORBA（Common Object Request Broker Architecture）或是SOM（System Object Model），了解C++ Object Model，將使你更清楚軟件組件（components）設計上的難點與運用之道。不但我自己在學習COM的道路上有此強烈的感受，Essential COM（《COM本質論》，侯捷譯，碁峰1998）的作者Don Box也在他的書中推崇Lippman的這一本卓越的書籍。
是的，這當然不會是一本輕松的書籍。某些章節（例如3、4兩章）可能給你立即的享受——享受于面對底層機制有所體會與掌控的快樂；某些章節（例如5、6、7三章）可能帶給你短暫的痛苦——痛苦于艱難深澀、難以吞咽的內容。這些快樂與痛苦，其實就是我翻譯此書時的心情寫照。無論如何，我希望通過我的譯筆，把這本難得的好書帶到更多人面前，引領大家見識C++底層建設的技術之美。
侯捷 2011.10.20 于新竹
jjhou@ccca.nctu.edu.tw
請注意：本書特點，作者Lippman在其前言中有很詳細的描述，我不再多言。翻譯用詞與心得，記錄在第０章（譯者的話）之中，對您或有導讀之功。
請注意：原文本有大大小小約80∼90個筆誤。有的無傷大雅，有的影響閱讀順暢甚巨（如前后文所用符號不一致、內文與圖形所用符號不一致——甚至因而導致圖片的文字解釋不正確）。我已在第0章（譯者的話）列出所有我找到的錯誤。此外，某些場合我還會在錯誤出現之處再加注，表示原文內容為何。這么做不是畫蛇添足，也不為彰顯什么。我知道有些讀者拿著原文書和中譯書對照著看，我把原書錯誤加注出來，可免讀者懷疑是否我打錯字或是譯錯了。另一方面也是為了文責自負……唔……萬一Lippman是對的而J.J.Hou錯了呢？！我雖有相當把握，但還是希望明白攤開來讓讀者檢驗。
前 言 （Stanley B. Lippman）
差不多有10年之久，我在貝爾實驗室（Bell Laboratories）埋首于C++的實現任務。最初的工作是在cfront上面（Bjarne Stroustrup的第一個C++編譯器），從1986年的1.1版到1991年9月的3.0版。然后移轉到Simplifier（這是我們內部的命名），也就是Foundation項目中的C++對象模型部分。在Simplifier設計期間，我開始醞釀本書。
Foundation項目是什么？在 Bjarne 的領導下，貝爾實驗室中的一個小組探索著以C++完成大規模程序設計時的種種問題的解決之道。Foundation項目是我們為了構建大系統而努力定義的一個新的開發模型（我們只使用C++，并不提供多重語言的解決方案）。這是個令人興奮的工作，一方面是因為工作本身，一方面是因為工作伙伴：Bjarne、Andy Koenig、Rob Murray、Martin Carroll、Judy Ward、Steve Buroff、Peter Juhl，以及我自己。Barbara Moo管理我們這一群人（Bjarne和Andy除外）。Barbara Moo常說管理一個軟件團隊，就像放牧一群驕傲的貓。
我們把Foundation想象成一個核心，在那上面，其他人可以為使用者鋪設一層真正的開發環境，把它整修為他們所期望的UNIX或Smalltalk模型。私底下我們把它稱為Grail（傳說中耶穌最后晚餐所用的圣杯），人人都想要，但是從來沒人找到過！
Grail使用一個由Rob Murray發展出來并命名為ALF的面向對象層次結構，提供一個永久的、以語意為基礎的表現法。在Grail中，傳統編譯器被分解為數個各自分離的可執行文件。parser負責建立程序的ALF表現法。其他每一個組件（如type checking、simplification、code generation）以及工具（如browser）都在程序的一個ALF表現體上操作（并可能加以擴展）。Simplifier是編譯器的一部分，處于type checking和code generation之間。Simplifier 這個名稱是由Bjarne所倡議的，它原本是cfront的一個階段（phase）。
在type checking和code generation之間，Simplifier做什么事呢？它用來轉換內部的程序表現。有三種轉換風味是任何對象模型都需要的：
1．與編譯器息息相關的轉換（Implementation-dependent transformations）
這是與特定編譯器有關的轉換。在ALF之下，這意味著我們所謂的“tentative”nodes。例如，當parser看到這個表達式：
fct();
它并不知道是否（a）這是一個函數調用操作，或者（b）這是overloaded call operator在class object fct上的一種應用。默認情況下，這個式子所代表的是一個函數調用，但是當（b）的情況出現，Simplifier 就要重寫并調換 call subtree。
2．語言語意轉換（Language semantics transformations）
這包括constructor/destructor的合成和擴展、memberwise初始化、對于memberwise copy的支持、在程序代碼中安插conversion operators、臨時性對象，以及對constructor/destructor的調用。
3．程序代碼和對象模型的轉換（Code and object model transformations）
這包括對virtual functions、virtual base class和inheritance的一般支持、new和delete運算符、class objects所組成的數組、local static class instances、帶有非常量表達式（nonconstant expression）之global object的靜態初始化操作。我對Simplifier所規劃的一個目標是：提供一個對象模型體系，在其中，對象的實現是一個虛擬接口，支持各種對象模型。
最后兩種類型的轉換構成了本書的基礎。這意味著本書是為編譯器設計者而寫的嗎？不是，絕對不是！這本書是由一位編譯器設計者針對中高級C++程序員所寫的。隱藏在這本書背后的假設是，程序員如果了解C++對象模型，就可以寫出比較沒有錯誤傾向而且比較有效率的代碼。
什么是C++對象模型
有兩個概念可以解釋C++對象模型：
1. 語言中直接支持面向對象程序設計的部分。
2. 對于各種支持的底層實現機制。
語言層面的支持，涵蓋于我的C++ Primer一書以及其他許多C++書籍當中。至于第二個概念，則幾乎不能夠于目前任何讀物中發現，只有[ELLIS90]和[STROUP94]勉強有一些蛛絲馬跡。本書主要專注于C++對象模型的第二個概念。本書語言遵循C++委員會于1995冬季會議中通過的Standard C++草案（除了某些細節，這份草案應該能夠反映出此語言的最終版本）。
C++對象模型的第一個概念是一種“不變量”。例如，C++ class的完整virtual functions在編譯時期就固定下來了，程序員沒有辦法在執行期動態增加或取代其中的某一個。這使得虛擬調用操作得以快速地派送（dispatch）結果，付出的成本則是執行期的彈性。
對象模型的底層實現機制，在語言層面上是看不出來的——雖然對象模型的語意本身可以使得某些實現品（編譯器）比其他實現品更接近自然。例如，virtual function calls，一般而言是通過一個表格（內含virtual functions地址）的索引而決議得知。一定要使用如此的 virtual table 嗎？不，編譯器可以自由引進其他任何變通做法。如果使用virtual table，那么其布局、存取方法、產生時機以及數百個細節也都必須決定下來，而所有決定也都由每一個實現品（編譯器）自行取舍。不過，既然說到這里，我也必須明白告訴你，目前所有編譯器對于virtual function的實現法都是使用各個class專屬的virtual table，大小固定，并且在程序執行前就構造好了。
如果C++對象模型的底層機制并未標準化，那么你可能會問：何必探討它呢？主要的理由是，我的經驗告訴我，如果一個程序員了解底層實現模型，他就能夠寫出效率較高的代碼，自信心也比較高。一個人不應該用猜的方式，或是等待某大師的宣判，才確定“何時提供一個copy constructor而何時不需要”。這類問題的解答應該來自于我們自身對對象模型的了解。
寫本書的第二個理由是為了消除我們對于C++語言（及其對面向對象的支持）的各種錯誤認識。下面一段話節錄自我收到的一封信，來信者希望將C++引進于其程序環境中：
我和一群人工作，他們過去不曾寫過（或完全不熟悉）C++和OO。其中一位工程師從1985就開始寫C了，他非常強烈地認為C++只對那些user-type程序才好用，對server程序卻不理想。他說如果要寫一個快速而有效率的數據庫引擎，應該使用C而非C++。他認為C++龐大又遲緩。
C++當然并不是天生地龐大又遲緩，但我發現這似乎成為C程序員的一個共識。然而，光是這么說并不足以使人信服，何況我又被認為是C++的“代言人”。本書就是企圖極盡可能地將各式各樣的Object facilities（如inheritance、virtual functions、指向class members的指針……）所帶來的額外負荷說個清楚。
除了我個人回答這封信外，我也把此信轉寄給HP的Steve Vinoski；先前我曾與他討論過C++的效率問題。以下節錄自他的回應：
過去數年我聽過太多與你的同事類似的看法。許多情況下，這些看法是源于對C++事實真相的缺乏了解。在上周，我和一位朋友閑聊，他在一家IC制造廠服務，他說他們不使用C++，因為“它在你的背后做事情”。我連連追問，于是他說根據他的了解，C++調用malloc()和free()而不讓程序員知道。這當然不是真的。這是一種所謂的迷思與傳說，引導出類似于你的同事的看法……
在抽象性和實際性之間找出平衡點，需要知識、經驗以及許多思考。C++的使用需要付出許多心力，但是我的經驗告訴我，這項投資的回報率相當高。
我喜歡把本書想象成是我對那一封讀者來信的回答。是的，本書是一個知識陳列庫，幫助大家去除圍繞在C++四周的迷思與傳說。
如果C++對象模型的底層機制會因為實現品（編譯器）和時間的變動而不同，我如何能夠對于任何特定主題提供一般化的討論呢？靜態初始化（Static initialization）可為此提供一個有趣的例子。
已知一個class X有著constructor，如下面所示：
class X
{
friend istream＆
operator＞＞( istream＆, X＆ );
public:
X( int sz = 1024 ) { ptr = new char[ sz ]; }
...
private:
char *ptr;
};
而一個class X的global object的聲明，如下面所示：
X buf;
int main()
{
// buf 必須在這個時候構造起來
cin ＞＞ setw( 1024 ) ＞＞ buf;
...
}
C++對象模型保證，X constructor將在main()之前便把buf初始化。然而它并沒有說明這是如何辦到的。答案是所謂的靜態初始化（static initialization），實際做法則有賴開發環境對此的支持屬于哪一層級。
原始的cfront實現品不單只是假想沒有環境支持，它也假想沒有明確的目標平臺。唯一能夠假想的平臺就是UNIX及其衍化的一些變體。我們的解決之道也因此只專注在UNIX身上：我們使用nm命令。CC命令（一個UNIX shell script）產生出一個可執行文件，然后我們把nm施行于其上，產生出一個新的.c文件。然后編譯這個新的.c文件，再重新鏈接出一個可執行文件（這就是所謂的munch solution）。這種做法是以編譯器時間來交換移植性。
接下來是提供一個“平臺特定”解決之道：直接驗證并穿越COFF-based程序的可執行文件（此即所謂的 patch solution），不再需要nm、compile、relink。COFF 是Common Object File Format的縮寫，是System V pre-Release 4 UNIX系統所發展出來的格式。這兩種解決方案都屬于程序層面，也就是說，針對每一個需要靜態初始化的.c文件，cfront 會產生出一個sti函數，執行必要的初始化操作。不論是patch solution還是munch solution，都會去尋找以sti開頭的函數，并且安排它們以一種未被定義的順序執行（由安插在main()之后第一行的一個library function _main()執行之）（譯注：本書第6章對此有詳細說明）。
System V COFF-specific C++編譯器與cfront的各個版本平行發展。由于瞄準了一個特定平臺和特定操作系統，此編譯器因而能夠影響鏈接器特地為它修改：產生出一個新的.ini section，用以收集需要靜態初始化的objects。鏈接器的這種擴充方式，提供了所謂的environment-based solution，那當然更在program-based solution層次之上。
至此，任何以cfront program-based solution為基礎的一般化（泛型）操作將令人迷惑。為什么？因為C++已經成為主流語言，它已經接收了越來越多的environment-based solutions。本書如何維護其間的平衡呢？我的策略如下：如果在不同的C++編譯器上有重大的實現技術差異，我就至少討論兩種做法。但如果 cfront之后的編譯器實現模型只是解決cfront原本就已理解的問題，例如對虛擬繼承的支持，那么我就闡述歷史的演化。當我說到“傳統模型”時，我的意思是Stroustrup的原始構想（反映在cfront身上），它提供一種實現模范，在今天所有的商業化實現品上仍然可見。
本書組織
第1章，關于對象（Object Lessons），提供以對象為基礎的觀念背景，以及由C++提供的面向對象程序設計范式（paradigm。譯注：關于paradigm這個字，請參閱本書第1章第22頁的譯注）。本章包括對對象模型的一個概述，說明目前普及的工業產品，但沒有對于多重繼承和虛擬繼承有太靠近的觀察（那是第３章和第４章的重頭戲）。
第2章，構造函數語意學（The Semantics of Constructors），詳細討論constructor 如何工作。本章談到constructors何時被編譯器合成，以及給你的程序效率帶來什么樣的意義。
第3章至第5章是本書的重要內容。在這里，我詳細地討論了C++對象模型的細節。第3章，Data語意學（The Semantics of Data），討論data members的處理。第4章，Function語意學（The Semantics of Function），專注于各式各樣的member functions，并特別詳細地討論如何支持virtual functions。第5章，構造、析構、拷貝語意學（Semantics of Construction, Destruction, and Copy），討論如何支持class模型，也討論到object的生命期。每一章都有測試程序以及測試數據。我們對效率的預測，將拿來和實際結果做比較。
第6章，執行期語意學（Runtime Semantics），查看執行期的某些對象模型行為。包括臨時性對象的生命及其死亡，以及對new運算符和delete運算符的支持。
第7章，在對象模型的尖端（On the Cusp of the Object Model），專注于exception handling、template support、runtime type identification。
預定的讀者
本書可以扮演家庭教師的角色，不過它定位在中級以上的C++程序員，而非C++新手。我嘗試提供足夠的內容，使它能夠被任何有點C++基礎（例如讀過我的C++ Primer并有一些實際編程經驗）的人接受。理想的讀者是，曾經有過數年的C++編程經驗，希望進一步了解“底層做些什么事”的人。書中某些部分甚至對于C++高手也具有吸引力，如臨時性對象的產生，以及named return value（NRV）最佳化的細節等等。在與本書素材相同的各個公開演講場合中，我已經證實了這些材料的吸引力。
程序范例及其執行
本書的程序范例主要有兩個目的：
1. 為了提供書中所述C++對象模型各種概念的具體說明。
2. 提供測試，以測量各種語言性質的相對成本。
無論哪一種意圖，都只是為了展現對象模型。舉例而言，雖然我在書中有大量的舉例，但我并非建議一個真實的3D graphic library必須以虛擬繼承的方式來表現一個3D點（不過，你可以在[POKOR94]中發現作者Pokorny的確是這么做的）。
書中所有測試程序都在一部SGI Indigo2xL上編譯執行，使用SGI 5.2 UNIX操作系統中的CC和NCC編譯器。CC是cfront 3.0.1版（它會產生出C代碼，再由一個C編譯器重新編譯為可執行文件）。NCC是Edison Design Group的C++ front-end 2.19版，內含一個由SGI供應的程序代碼產生器。至于時間測量，是采用UNIX的timex命令針對1 000萬次迭代測試所得的平均值。
雖然在xL機器上使用這兩個編譯器，對讀者而言可能覺得有些神秘，我卻覺得對此書的目的而言，很好。不論是cfront或現在的Edison Design Group’s C++ front-end（Bjarne稱其為“cfront的兒子”），都與平臺無關。它們是一種一般化的編譯器，被授權給34家以上的計算機制造商（其中包括Gray、SGI、Intel）和軟件開發環境廠商（包括Centerline和Novell，后者是原先的UNIX軟件實驗室）。效率的測量并非為了對目前市面上的各家編譯系統做評比，而只是為了提供C++對象模型之各種特性的一個相對成本測量。至于商業評比的效率數據，你可以在幾乎任何一本計算機雜志的計算機產品檢驗報告中獲得。
致謝
略
參考書目
注意：許多C++ Report文章已被C++ Gems收錄，并由Stanley Lippman編輯完成，參見SIGS Books，New York，NY（1996）。
[BALL92] Ball, Michael, "Inside Templates", C++ Report (September 1992)
[BALL93a] Ball, Michael, "What Are These Things Called Templates", C++ Report (February 1993)
[BALL93b] Ball, Michael, "Implementing Class Templates", C++ Report (September 1993)
[BOOCH93] Booch, Grady and Michael Vilot, "Simplifying the Booch Components", C++ Report (June 1993)
[BORL91] Borland Language Open Architecture Handbook, Borland International Inc., Scotts Valley, CA
[BOX95] Box, Don, "Building C++ Components Using OLE2", C++ Report (March/April 1995)
[BUDD91] Budd, Timothy, An Introduction to Object-Oriented Programming, Addison-Wesley Publishing Company, Reading, MA(1991)
[BUDGE92] Budge, Kent G., James S. Peery, and Allen C. Robinson, "High Performance Scientific Computing Using C++", Usenix C++ Conference Proceedings, Portland, OR(1992)
[BUDGE94] Budge, Kent G., James S. Peery, Allen C. Robinson, and Michael K. Wong, "Management of Class Temporaries in C++ Translation Systems", The Journal of C Language Translation (December 1994)
[CARGILL95] Cargill, Tom, "STL Caveats, " C++Report (July/August 1993)
[CARROLL93] Carroll, Martin, "Design of the USL Standard Components", C++ Report (June 1993)
[CARROLL95] Carroll, Martin, and Margaret A. Ellis, "Designing and Coding Reusable C++, Addison-Wesley Publishing Company, Reading, MA(1995)
[CHASE94] Chase, David, "Implementation of Exception Handling, Part 1", The Journal of C Language Translation (June 1994)
[CLAM93a] Clamage, Stephen D., "Implementing New ＆ Delete", C++ Report (May 1993)
[CLAM93b] Clamage, Stephen D., "Beginnings ＆ Endings", C++ Report (September 1993)
[ELLIS90] Ellis, Margaret A. and Bjarne Stroustrup, The Annotated C++ Reference Manual, Addison-Wesley Publishing Company, Reading, MA(1990)
[GOLD94] Goldstein, Theodore C. and Alan D. Sloane, "The Object Binary Interface - C++ Objects for Evolvable Shared Class Libraries", Usenix C++ Conference Proceedings, Cambridge, MA(1994)
[HAM95] Hamilton, Jennifer, Robert Klarer, Mark Mendell, and Brian Thomson, "Using SOM with C++", C++ Report (July/August 1995)
[HORST95] Horstmann, Cay S., "C++ Compiler Shootout", C++ Report (July/August 1995)
[KOENIG90a] Koenig, Andrew and Stanley Lippman, "Optimizing Virtual Tables in C++ Release 2.0", C++ Report (March 1990)
[KOENIG90b] Koenig, Andrew and Bjarne Stroustrup, "Exception Handling for C++ (Revised)", Usenix C++ Conference Proceedings (April 1990)
[KOENIG93] Koenig, Andrew, "Combining C and C++", C++ Report (July/August 1993)
[ISO-C++95] C++ International Standard, Draft (April 28, 1995)
[LAJOIE94a] Lajoie, Josee, "Exception Handling: Supporting the Runtime Mechanism", C++ Report (March/April 1994)
[LAJOIE94b] Lajoie, Josee, "Exception Handling: Behind the Scenes", C++ Report (June 1994)
[LENKOV92] Lenkov, Dmitry, Don Cameron, Paul Faust, and Michey Mehta, "A Portable Implementation of C++ Exception Handling", Usenix C++ Conference Proceeding, Portland, OR(1992)
[LEA93] Lea, Doug, "The GNU C++ Library", C++ Report (June 1993)
[LIPP88] Lippman, Stanley and Bjarne Stroustrup, "Pointers to Class Members in C++", Implementor’s Workshop, Usenix C++ Conference Proceedings (October 1988)
[LIPP91a] Lippman, Stanley, "Touring Cfront", C++ Journal, Vol.1, No.3 (1991)
[LIPP91b] Lippman, Stanley, "Touring Cfront: From Minutiae to Migraine", C++ Journal, Vol.1, No.4 (1991)
[LIPP91c] Lippman, Stanley, C++ Primer, Addison-Wesley Publishing Company, Reading, MA(1991)
[LIPP94a] Lippman, Stanley, "Default Constructor Synthesis", C++ Report (January 1994)
[LIPP94b] Lippman, Stanley, "Applying The Copy Constructor, Part1: Synthesis", C++ Report (February 1994)
[LIPP94c] Lippman, Stanley, "Applying The Copy Constructor, Part2", C++ Report (March/April 1994)
[LIPP94d] Lippman, Stanley, "Objects and Datum", C++ Report (June 1994)
[METAW94] MetaWare High C/C++ Language Reference Manual, Metaware Inc., Santa Crus, CA(1994)
[MACRO92] Jones, David and Martin J. O’Riordan, The Microsoft Object Mapping, Microsoft Corporation, 1992
[MOWBRAY95] Mowbray, Thomas J. and Ron Zahavi, The Essential Corba, John Wiley ＆ Sons, Inc. (1995)
[NACK94] Nackman, Lee R., and John J. Barton Scientific and Engineering C++, An Introduction with Advanced Techniques and Examples, Addison-Wesley Publishing Company, Reading, MA(1994)
[PALAY92] Palay, Andrew J., "C++ in a Changing Environment", Usenix C++ Conference Proceedings, Portland, OR(1992)
[POKOR94] Pokorny, Cornel, Computer Graphics, Franklin, Beedle ＆ Associates, Inc. (1994)
[PUGH90] Pugh, William and Grant Weddell, "Two-directional Record Layout for Multiple Inheritance", ACM SIGPLAN ’90 Conference, White Plains, New York(1990)
[SCHMIDT94a] Schmidt, Douglas C., "A Domain Analysis of Network Daemon Design Dimensions", C++ Report (March/April 1994)
[SCHMIDT94b] Schmidt, Douglas C., "A Case Study of C++ Design Evolution", C++ Report (July/August 1994)
[SCHWARZ89] Schwarz, Jerry, "Initializing Static Variables in C++ Libraries", C++ Report (February 1989)
[STROUP82] Stroustrup, Bjarne, "Adding Classes to C: An Exercise in Language Evolution", Software: Practices ＆ Experience, Vol.13 (1983)
[STROUP94] Stroustrup, Bjarne, "The Design and Evolution of C++", Addison-Wesley Publishing Company, Reading, MA(1994)
[SUN94a] The C++ Application Binary Interface, SunPro, Sun Microsystems, Inc.
[SUN94b] The C++ Application Binary Interface Rationale, SunPro, Sun Microsystems, Inc.
[VELD95] Veldhuizen, Todd, "Using C++ Template Metaprograms", C++ Report (May 1995)
[VINOS93] Vinoski, Steve, "Distributed Object Computing with CORBA", C++ Report (July/August 1993)
[VINOS94] Vinoski, Steve, "Mapping CORBA IDL into C++", C++ Report (September 1994)
[YOUNG95] Young, Douglas, Object-Oriented Programming with C++ and OSF/Motif, 2d ed., Prentice-Hall(1995) |
內容簡介：作者Lippman參與設計了全世界第一套C++編譯程序cfront，這本書就是一位偉大的C++編譯程序設計者向你闡述他如何處理各種explicit（明確出現于C++程序代碼中）和implicit（隱藏于程序代碼背后）的C++語意。
本書專注于C++面向對象程序設計的底層機制，包括結構式語意、臨時性對象的生成、封裝、繼承，以及虛擬——虛擬函數和虛擬繼承。這本書讓你知道：一旦你能夠了解底層實現模型，你的程序代碼將獲得多么大的效率。Lippman澄清了那些關于C++額外負荷與復雜度的各種錯誤信息和迷思，但也指出其中某些成本和利益交換確實存在。他闡述了各式各樣的實現模型，指出它們的進化之道及其本質因素。書中涵蓋了C++對象模型的語意暗示，并指出這個模型是如何影響你的程序的。
。
|
目錄：本立道生（侯捷 譯序） III
目錄 VII
前言（Stanley B. Lippman） XIII
第0章 導讀（譯者的話） XXV
第1章 關于對象（Object Lessons） 1
加上封裝后的布局成本（Layout Costs for Adding Encapsulation） 5
1.1 C++對象模式（The C++ Object Model） 6
簡單對象模型（A Simple Object Model） 7
表格驅動對象模型（A Table-driven Object Model） 8
C++對象模型（The C++ Object Model） 9
對象模型如何影響程序（How the Object Model Effects Programs） 13
1.2 關鍵詞所帶來的差異（A Keyword Distinction） 15
關鍵詞的困擾 16
策略性正確的struct（The Politically Correct Struct） 19
1.3 對象的差異（An Object Distinction） 22
指針的類型（The Type of a Pointer） 28
加上多態之后（Adding Polymorphism） 29
第2章 構造函數語意學（The Semantics of Constructors） 37
2.1 Default Constructor的構造操作 39
“帶有Default Constructor”的Member Class Object 41
“帶有Default Constructor”的Base Class 44
“帶有一個Virtual Function”的Class 44
“帶有一個Virtual Base Class”的Class 46
總結 47
2.2 Copy Constructor的構造操作 48
Default Memberwise Initialization 49
Bitwise Copy Semantics（位逐次拷貝） 51
不要Bitwise Copy Semantics！ 53
重新設定Virtual Table的指針 54
處理Virtual Base Class Subobject 57
2.3 程序轉化語意學（Program Transformation Semantics） 60
顯式的初始化操作（Explicit Initialization） 61
參數的初始化（Argument Initialization） 62
返回值的初始化（Return Value Initialization） 63
在使用者層面做優化（Optimization at the User Level） 65
在編譯器層面做優化（Optimization at the Compiler Level） 66
Copy Constructor：要還是不要？ 72
摘要 74
2.4 成員們的初始化隊伍（Member Initialization List） 74
第3章 Data語意學（The Semantics of Data） 83
3.1 Data Member的綁定（The Binding of a Data Member） 88
3.2 Data Member的布局（Data Member Layout） 92
3.3 Data Member的存取 94
Static Data Members 95
Nonstatic Data Members 97
3.4 “繼承”與Data Member 99
只要繼承不要多態（Inheritance without Polymorphism） 100
加上多態（Adding Polymorphism） 107
多重繼承（Multiple Inheritance） 112
虛擬繼承（Virtual Inheritance） 116
3.5 對象成員的效率（Object Member Efficiency） 124
3.6 指向Data Members的指針（Pointer to Data Members） 129
“指向Members的指針”的效率問題 134
第4章 Function語意學（The Semantics of Function） 139
4.1 Member的各種調用方式 140
Nonstatic Member Functions（非靜態成員函數） 141
Virtual Member Functions（虛擬成員函數） 147
Static Member Functions（靜態成員函數） 148
4.2 Virtual Member Functions（虛擬成員函數） 152
多重繼承下的Virtual Functions 159
虛擬繼承下的Virtual Functions 168
4.3 函數的效能 170
4.4 指向Member Function的指針（Pointer-to-Member Functions） 174
支持“指向Virtual Member Functions”的指針 176
在多重繼承之下，指向Member Functions的指針 178
“指向Member Functions之指針”的效率 180
4.5 Inline Functions 182
形式參數（Formal Arguments） 185
局部變量（Local Variables） 186
第5章 構造、析構、拷貝語意學（Semantics of Construction,
Destruction, and Copy） 191
純虛函數的存在（Presence of a Pure Virtual Function） 193
虛擬規格的存在（Presence of a Virtual Specification） 194
虛擬規格中const的存在 195
重新考慮class的聲明 195
5.1 “無繼承”情況下的對象構造 196
抽象數據類型（Abstract Data Type） 198
為繼承做準備 202
5.2 繼承體系下的對象構造 206
虛擬繼承（Virtual Inheritance） 210
vptr初始化語意學（The Semantics of the vptr Initialization） 213
5.3 對象復制語意學（Object Copy Semantics） 219
5.4 對象的效能（Object Efficiency） 225
5.5 析構語意學（Semantics of Destruction） 231
第6章 執行期語意學（Runtime Semantics） 237
6.1 對象的構造和析構（Object Construction and Destruction） 240
全局對象（Global Objects） 242
局部靜態對象（Local Static Objects） 247
對象數組（Array of Objects） 250
Default Constructors和數組 252
6.2 new和delete運算符 254
針對數組的new語意 257
Placement Operator new的語意 263
6.3 臨時性對象（Temporary Objects） 267
臨時性對象的迷思（神話、傳說） 275
第7章 站在對象模型的尖端（On the Cusp of the Object Model） 279
7.1 Template 280
Template的“實例化”行為（Template Instantiation） 281
Template的錯誤報告（Error Reporting within a Template） 285
Template中的名稱決議法（Name Resolution within a Template） 289
Member Function的實例化行為（Member Function Instantiation） 292
7.2 異常處理（Exception Handling） 297
Exception Handling快速檢閱 298
對Exception Handling的支持 303
7.3 執行期類型識別（Runtime Type Identification，RTTI） 308
Type-Safe Downcast（保證安全的向下轉換操作） 310
Type-Safe Dynamic Cast（保證安全的動態轉換） 311
References并不是Pointers 313
Typeid運算符 314
7.4 效率有了，彈性呢？ 318
動態共享函數庫（Dynamic Shared Libraries） 318
共享內存（Shared Memory） 318 |
| 序： |
|
