在C中, "數據"和"處理數據的操作"是分開聲明的, 語言本身并沒有支持"數據和函數"之間的關聯性. 這種稱為"procedural", 由一組算法函數所驅動, 他們處理的是共同的外部數據.

而C++, 則在程序風格, 更在程序的思考上有明顯的差異, 它以ADT或class hierarchy的數據封裝建立數據和操作的關聯性. 在軟件工程的眼光來看更為合理.

但是程序員往往出于效率和簡易性考慮而選擇C.

?

那么使用C++是否就一定意味著低效了...

其實C++在布局以及存儲時間上的額外負擔主要是由"virtual"引起的,

• the virtual function mechanism in its support of an efficient run-time binding, and

• a virtual base class in its support of a single, shared instance of a base class occurring multiple times within an inheritance hierarchy.

一般而言, 并沒有什么天生的理由說C++一定比C龐大或遲緩.

?

對象模型

作為此書討論的基礎, 首先要來分析一下C++的對象模型. 所謂對象模型, 就是在內存中怎么樣來存儲一個對象.

對于對象的存儲, 下面有3種模型

簡單對象模型

這個模型, 顧名思義, 就是為了盡量減低C++編譯器的設計復雜度而開發的, 當然簡單帶來的是空間和執行期的低效.

這個模型中, 對象就是一系列slots, slot中存放了指向members的指針, members按程序中的聲明順序排列.

對象中并不實際存放members, 只是存放member的指針, 這樣的好處是member的類型不會影響對象的存儲空間.

但是降低了訪問效率,? 和存儲效率, 由于需要通過指針間接訪問, 并要額外存儲指針.

?

表格驅動對象模型

這個模型, 相對于簡單模型, 更加抽象, 它會把data member和function member分別放在兩個table中,

The member function table 和簡單模型一樣存放的是函數指針. The data member table 直接存放的是data本身.

而對象本身只存放這兩個table的指針, 這樣最大的好處是, 對象大小是固定的, 無論members怎樣改變.

?

C++對象模型

C++模型從簡單對象模型派生而來, 并對內存空間和存取時間做了優化. 各個member的存儲方法如下,

Nonstatic data members are allocated directly within each class object.

Static data members are stored outside the individual class object.

Static and nonstatic function members are also hoisted outside the class object.

Virtual functions are supported in two steps:

A table of pointers to virtual functions is generated for each class (this is called the virtual table ).

A single pointer to the associated virtual table is inserted within each class object (traditionally, this has been called the vptr ).The type_info object associated with each class in support of runtime type identification (RTTI) is also addressed within the virtual table, usually within the table's first slot.

如下圖所示, 對于C++對象模型, 對象內只會保存Nonstatic data members和vptr, 這個模型的優點是在于空間和存取時間的效率, 缺點是由于考慮存取效率把Nonstatic data members直接存放在對象中, 導致任何數據成員的改動都會影響類對象的大小. 此處表格驅動對象模型就提供了較大的彈性, 不過魚和熊掌不能兼得. 在設計時, 就需要根據實際需要進行取舍, C++更看重效率, 而CORBA這樣的組件平臺, 就會選擇耦合度更低的表格驅動模型, 以利于當類成員改變后, 可以不需重新編譯客戶代碼(因為對于這種模型, 對象大小是不變的).

繼承的對象模型

前面討論了基本的C++對象模型, 如果加入了繼承語言特性, 對象模型又要做什么樣的改動

這個問題就是怎樣在內存中存放父類, 派生類, 以及建立之間的關系.

簡單的想法就是, 在對象中增加一個slot去存放父類對象指針, 有幾個父類就增加幾個slots

更透明的方法是, 專門生成一個base class table來存放所有父類指針, 并在對象中增加一個bptr來指向這個table.

這個方法的問題就是由于間接性導致的效率問題, 但優點就是對象對于繼承的一致的表現方式, 可以任意修改父類, 而不會影響該類對象本身

?

前面說了C++更看重效率, 所以它沒有采用任何的間接方法,

The data members of the base class subobject are directly stored within the derived class object.

缺點很明顯,就是任意base class發生改變, 所有用到該類的派生類都需要重新編譯.

關于C++對于虛基類的處理會在后面章節討論...

轉載于:https://www.cnblogs.com/fxjwind/archive/2011/07/05/2098638.html

總結

以上是生活随笔為你收集整理的Inside C++ object Model--对象模型概述的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。