如果你是一位C++程序員,渴望對於底層知識獲得一個完整的瞭解,那麼本書正適閤你。
作者Lippman參與設計瞭全世界套C++編譯程序cfront,這本書就是一位偉大的C++編譯程序設計者嚮你闡述他如何處理各種explicit(明確齣現於C++程序代碼中)和implicit(隱藏於程序代碼背後)的C++語意。
《深度探索C++對象模型》專注於C++麵嚮對象程序設計的底層機製,包括結構式語意、臨時性對象的生成、封裝、繼承,以及虛擬——虛擬函數和虛擬繼承。這《深度探索C++對象模型》讓你知道:一旦你能夠瞭解底層實現模型,你的程序代碼將獲得多麼大的效率。Lippman澄清瞭那些關於C++額外負荷與復雜度的各種錯誤信息和迷思,但也指齣其中某些成本和利益交換確實存在。他闡述瞭各式各樣的實現模型,指齣它們的進化之道及其本質因素。書中涵蓋瞭C++對象模型的語意暗示,並指齣這個模型是如何影響你的程序的。
本立道生(侯捷 譯序)
前言(Stanley B. Lippman)
第0章 導讀(譯者的話)
第1章 關於對象(Object Lessons)
加上封裝後的布局成本(Layout Costs for Adding Encapsulation)
1.1 C++對象模式(The C++ Object Model)
簡單對象模型(A Simple Object Model)
錶格驅動對象模型(A Table-driven Object Model)
C++對象模型(The C++ Object Model)
對象模型如何影響程序(How the Object Model Effects Programs)
1.2 關鍵詞所帶來的差異(A Keyword Distinction)
關鍵詞的睏擾
策略性正確的struct(The Politically Correct Struct)
1.3 對象的差異(An Object Distinction)
指針的類型(The Type of a Pointer)
加上多態之後(Adding Polymorphism)
第2章 構造函數語意學(The Semantics of Constructors)
2.1 Default Constructor的構造操作
“帶有Default Constructor”的Member Class Object
“帶有Default Constructor”的Base Class
“帶有一個Virtual Function”的Class
“帶有一個Virtual Base Class”的Class
總結
2.2 Copy Constructor的構造操作
Default Memberwise Initialization
Bitwise Copy Semantics(位逐次拷貝)
不要Bitwise Copy Semantics!
重新設定Virtual Table的指針
處理Virtual Base Class Subobject
2.3 程序轉化語意學(Program Transformation Semantics)
顯式的初始化操作(Explicit Initialization)
參數的初始化(Argument Initialization)
返迴值的初始化(Return Value Initialization)
在使用者層麵做優化(Optimization at the User Level)
在編譯器層麵做優化(Optimization at the Compiler Level)
Copy Constructor:要還是不要?
摘要
2.4 成員們的初始化隊伍(Member Initialization List)
第3章 Data語意學(The Semantics of Data)
3.1 Data Member的綁定(The Binding of a Data Member)
3.2 Data Member的布局(Data Member Layout)
3.3 Data Member的存取
Static Data Members
Nonstatic Data Members
3.4 “繼承”與Data Member
隻要繼承不要多態(Inheritance without Polymorphism)
加上多態(Adding Polymorphism)
多重繼承(Multiple Inheritance)
虛擬繼承(Virtual Inheritance)
3.5 對象成員的效率(Object Member Efficiency)
3.6 指嚮Data Members的指針(Pointer to Data Members)
“指嚮Members的指針”的效率問題
第4章 Function語意學(The Semantics of Function)
4.1 Member的各種調用方式
Nonstatic Member Functions(非靜態成員函數)
Virtual Member Functions(虛擬成員函數)
Static Member Functions(靜態成員函數)
4.2 Virtual Member Functions(虛擬成員函數)
多重繼承下的Virtual Functions
虛擬繼承下的Virtual Functions
4.3 函數的效能
4.4 指嚮Member Function的指針(Pointer-to-Member Functions)
支持“指嚮Virtual Member Functions”的指針
在多重繼承之下,指嚮Member Functions的指針
“指嚮Member Functions之指針”的效率
4.5 Inline Functions
形式參數(Formal Arguments)
局部變量(Local Variables)
第5章 構造、析構、拷貝語意學(Semantics of Construction,
Destruction, and Copy)
純虛函數的存在(Presence of a Pure Virtual Function)
虛擬規格的存在(Presence of a Virtual Specification)
虛擬規格中const的存在
重新考慮class的聲明
5.1 “無繼承”情況下的對象構造
抽象數據類型(Abstract Data Type)
為繼承做準備
5.2 繼承體係下的對象構造
虛擬繼承(Virtual Inheritance)
vptr初始化語意學(The Semantics of the vptr Initialization)
5.3 對象復製語意學(Object Copy Semantics)
5.4 對象的效能(Object Efficiency)
5.5 析構語意學(Semantics of Destruction)
第6章 執行期語意學(Runtime Semantics)
6.1 對象的構造和析構(Object Construction and Destruction)
全局對象(Global Objects)
局部靜態對象(Local Static Objects)
對象數組(Array of Objects)
Default Constructors和數組
6.2 new和delete運算符
針對數組的new語意
Placement Operator new的語意
6.3 臨時性對象(Temporary Objects)
臨時性對象的迷思(神話、傳說)
第7章 站在對象模型的尖端(On the Cusp of the Object Model)
7.1 Template
Template的“實例化”行為(Template Instantiation)
Template的錯誤報告(Error Reporting within a Template)
Template中的名稱決議法(Name Resolution within a Template)
Member Function的實例化行為(Member Function Instantiation)
7.2 異常處理(Exception Handling)
Exception Handling快速檢閱
對Exception Handling的支持
7.3 執行期類型識彆(Runtime Type Identification,RTTI)
Type-Safe Downcast(保證安全的嚮下轉換操作)
Type-Safe Dynamic Cast(保證安全的動態轉換)
References並不是Pointers
Typeid運算符
7.4 效率有瞭,彈性呢?
動態共享函數庫(Dynamic Shared Libraries)
共享內存(Shared Memory)
Member Function的實例化行為(Member Function Instantiation)對於template的支持,最睏難的莫過於template function的實例化(instantiation)。目前的編譯器提供瞭兩個策略:一個是編譯時期策略,程序代碼必須在program text file中備妥可用; 另一個是鏈接時期策略,有一些meta.compilation工具可以導引編譯器的實例化行為(instantiation)。
下麵是編譯器設計者必須迴答的三個主要問題:
1.編譯器如何找齣函數的定義?
答案之一是包含template program text file,就好像它是一個header文件一樣。
Borland編譯器就遵循這個策略。另一種方法是要求一個文件命名規則,例如,我們可以要求,在Point.h文件中發現的函數聲明,其template program text一定要放置於文件Point.C或Point.cpp中,依此類推。cfront就遵循這個策略。Edison DesignGroup編譯器對這兩種策略都支持。
2.編譯器如何能夠隻實例化程序中用到的member functions?
解決辦法之一就是,根本忽略這項要求,把一個已經實例化的class的所有member functions都産生齣來。Borland就是這麼做的——雖然它也提供#pragmas讓你壓製(或實例化)特定實例。另一種策略就是模擬鏈接操作,檢測看看哪一個函數真正需要,然後隻為它(們)産生實例。cfront就是這麼做的。Edison DesignGroup編譯器對這兩種策略都支持。
3.編譯器如何阻止member definitions在多個.o文件中都被實例化呢?
解決辦法之一就是産生多個實例,然後從鏈接器中提供支持,隻留下其中一個實例,其餘都忽略。另一個辦法就是由使用者來導引“模擬鏈接階段”的實例化策略,決定哪些實例(instances)纔是所需求的。
目前,不論是編譯時期還是鏈接時期的實例化(instantiation)策略,均存在以下弱點:當template實例被産生齣來時,有時候會大量增加編譯時間。很顯然,這將是template functions第一次實例化時的必要條件。然而當那些函數被非必要地再次實例化,或是當“決定那些函數是否需要再實例化”所花的代價太大時,編譯器的錶現令人失望!
C++支持template的原始意圖可以想見是一個由使用者導引的自動實例化機製(use—directed automatic instantiation mechanism),既不需要使用者的介入,也不需要相同文件有多次的實例化行為。但是這已被證明是非常難以達成的任務,比任何人此刻所能想象的還要難(請參考[S7ROUP94])。ptlink,隨著cfront 3.0版所附的原始實例化工具,提供瞭一個由使用者驅動的自動實例化機製(use—drivenautomatic instantiation mechanism),但它實在太復雜瞭,即使是久經世故的人也沒法一下子瞭解。
……
評價四 對於像我這樣,在C++領域摸爬滾打多年的開發者來說,想要在技術上更進一步,往往需要一些能夠“點石成金”的指引。這本書恰恰就是這樣的存在。它沒有停留在教你如何寫某個特定的語法,而是深入到C++對象模型的底層機製。作者的講解方式非常有條理,從對象的誕生(構造)到消亡(析構),從數據的存儲到行為的實現,都做瞭詳盡的剖析。特彆是對於繼承和組閤的深入探討,它不僅僅是羅列概念,而是通過分析對象在內存中的結構,以及成員函數的調用流程,來解釋它們是如何在運行時工作的。我以前對多態的理解,僅停留在虛函數上,但這本書讓我明白瞭虛函數錶(vtable)的運作原理,以及它是如何實現多態性的。而且,作者還提到瞭不同編譯器在實現這些機製時的差異,這對於編寫跨平颱、高性能的代碼非常有幫助。我感覺這本書就像是一張C++對象模型的“藏寶圖”,指引我發現瞭那些隱藏在代碼之下的寶藏。它不僅提升瞭我對C++的理解深度,更重要的是,它激發瞭我對如何更優雅、更高效地使用C++的思考。
評分評價五 這本書是一次令人驚嘆的C++對象模型探索之旅。我一直對C++的底層運行機製充滿好奇,而這本書恰好滿足瞭我的求知欲。作者以極其清晰的邏輯,將C++對象模型的復雜性抽絲剝繭般地呈現齣來。我印象最深刻的是,他對不同函數調用約定(calling conventions)的講解,以及它們如何影響函數參數的傳遞和棧幀的構建,這讓我對函數調用的實際過程有瞭更深入的理解。此外,書中關於內存模型、對齊原則、以及編譯器優化對對象布局的影響,都進行瞭詳細的闡述。我曾經在調試一些內存相關的bug時感到束手無策,但讀瞭這本書之後,我開始能夠通過分析對象的內存布局,來推斷齣問題的根源。作者的寫作風格嚴謹而不失生動,他善於用形象的比喻和精煉的代碼片段來解釋抽象的概念,使得學習過程不再枯燥。讀這本書,感覺就像是在和一位經驗豐富的C++專傢進行深度交流,你不僅能學到知識,更能獲得一種解決問題的思路和方法。它讓我對C++這門語言的敬畏之心油然而生,同時也讓我對未來如何寫齣更高質量的代碼充滿瞭信心。
評分評價一 這本書簡直把我對C++的理解顛覆瞭,尤其是在對象模型這一塊。過去我總覺得C++的對象模型是個黑箱,雖然能用,但總覺得抓不住核心。讀完這本書,我纔恍然大悟,原來它背後的機製是如此的精巧和高效。作者通過大量的圖示和代碼示例,將那些抽象的概念一一具象化,讓我不再畏懼虛函數、多重繼承、模闆元編程這些曾經讓我頭疼的玩意兒。特彆是關於對象布局、內存分配、以及不同編譯器如何實現這些特性時,我仿佛看到瞭C++語言在底層是如何運作的。最讓我印象深刻的是,它並沒有僅僅停留在“是什麼”的層麵,而是深入到“為什麼”和“怎麼做”,引導讀者去思考如何寫齣更優美、更高效、更符閤C++設計哲學的代碼。讀這本書的過程,就像是在玩一個精妙的機械裝置,每解開一個齒輪,都能體會到設計的智慧。我之前在工作中遇到的很多性能瓶頸和難以調試的問題,在這本書的啓發下,都有瞭新的解決思路。強烈推薦給所有想要深入理解C++,並且希望將技術推嚮更高層次的開發者。
評分評價三 這是一本能讓你“脫胎換骨”的學習C++的書。我曾經花瞭很多時間去學習C++的各種語法和特性,但總感覺自己隻是在“使用”C++,而不是真正“理解”它。這本書的齣現,徹底改變瞭我的看法。它沒有泛泛而談,而是聚焦於C++對象模型的精髓,從最基礎的對象內存布局開始,層層遞進,講解瞭構造函數、析構函數、拷貝構造函數、賦值運算符重載等核心概念背後的實現原理。尤其令我驚嘆的是,作者對於不同類型對象在內存中的錶現,以及編譯器如何進行優化,都有著非常細緻的闡述。我之前對一些“魔法般”的C++行為感到睏惑,比如為什麼某些拷貝操作比預期的要慢,或者為什麼會齣現一些看似不閤理的內存訪問。這本書就像一把鑰匙,為我打開瞭這些謎團的大門。它讓我明白瞭,很多時候,我們編寫的代碼,最終都會被編譯成一係列底層的內存操作和函數調用,而理解這些底層邏輯,對於寫齣高質量、高性能的C++代碼至關重要。這本書的價值,在於它讓你從“知其然”上升到“知其所以然”,從而真正掌握C++這門語言。
評分評價二 這本書真的不是一本普通的技術書,它更像是一本武林秘籍,裏麵藏著C++內力的修煉心法。剛開始翻開的時候,我以為隻是又一本講解C++語法的書,但很快我就發現自己錯瞭。作者並沒有在錶麵功夫上多做停留,而是直指C++的靈魂——對象模型。他把那些看似高深的理論,用一種極其通俗易懂的方式講瞭齣來。比如,他對繼承和多態的解釋,不再是簡單的文字描述,而是通過詳細的對象內存布局和函數調用過程來展現,讓我瞬間理解瞭虛函數錶(vtable)和運行時類型信息(RTTI)的真正含義。還有關於“this”指針的講解,我過去隻是知道它指嚮當前對象,但這本書讓我明白瞭它在不同場景下是如何工作的,以及它與成員函數的調用機製之間的緊密聯係。我特彆喜歡作者那種循序漸進的講解方式,每深入一層,都會讓你對C++有新的認知。讀完之後,我感覺自己看待C++代碼的眼光都變瞭,不再是孤立地看一個個函數和類,而是能夠從更宏觀、更底層的角度去審視它們的設計。這本書給我帶來的不僅僅是知識,更是一種對C++工程實踐的深刻反思。
評分經典書籍,學習c++原理的好書
評分太陽公公米糕 粘米糕加上鹹蛋黃 也不錯
評分非常好很專業很有用
評分同事評價很高呢,早點看完。
評分可以可以看起來不錯的樣子哦
評分可以可以可以可以可以。。
評分還可以吧,字數限製。
評分哈哈哈紅紅火火恍恍惚惚
評分很好很好很好很不錯很不錯
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有