台大资工媒体实验室.pptVIP

C++ Object Model 台大資工多媒體實驗室 林昂賢 Preview What is C++ object model ? Class and object data member access single object layout Inheritance object layout polymorphism virtual C++ object model C++ compiler底層的實做機制，用來實做各物件的運作模型，使之能具備C++諸多物件導向的性質。 物件模型底層的實做機制並未標準化，各家compiler作法不一。 但解答許多問題必須根源與我們對C++ object model的瞭解。 Class Class是一種abstract data type. 在class宣告時，包含兩種成員： 1.data member ：描述class object之屬性。 2.member function：描述class object之行為。 利用class這樣的abstract data type，我們可以定義出(造出）許多的這種 type 的instantiation叫做object。 Static Data Member 屬於class層級的資料，所有object共享一份static data member。 存取static member不需要透過任何的object，在無任何object時已透過member selection operators 來存取。 所有的存取都會被compiler轉化為extern實體的直接參考動作 Nonstatic Data Member 對於nonstatic data member的存取，實際上是透過implicit的this指標來完成。 存取會轉換成 Single Object layout 一個object的實體之內只含class 之 nonstatic data member及某些輔助機制(vptr)。 Class member functions 獨立於object實體之外是獨一無二的一份函示實體（即多個object共享相同的函示實體。） 同一個access section的data members排列順序根據其宣告順序而定。 Access section的排列順序無強制規定。 Single Object layout(cont. 2) Class CPoint3d{ public: //….. Private: float x; static int size = 250; int y; void draw(); static int point- count(); private: char z; }; Inheritance 繼承之於Nonstatic data members，是指base object members存在在derived object 中。 繼承之於Member functions，是指繼承了對base class’s member function的呼叫權利。 繼承之於Static data member，是指繼承了對bass class static data member的存取權利。 物件模型在繼承下Layout的原則 C++保證，『出現在derived class中的bass class subobject有其完整之原樣性』。 Derived class layout = [ direct bass class ]s + [ 自己新增的data member (nonstatic data or vptr) ] 單一繼承的物件模型 單一繼承：指每一個class的direct bass class只能有一個，繼承的深度沒有限制。 多重繼承的物件模型 多重繼承：指每一各class有兩個以上的direct base class，繼承的深度沒有限制。 虛擬繼承 Shared subobject 繼承的機制。 多重繼承與虛擬多重繼承的比較： 虛擬繼承的物件模型(1) 下面是Cvertex3d虛擬繼承的架構： 虛擬繼承的物件模型(2) Polymorphism(1) 多型：以同一指標指向不同型別的物件。 群：一群“同型”但不全然相同的個體。Ex.一群大學生。 多型抽象目的：利用“群”的觀念，實現general演算法，並保有“個體”間的差異。 不同的derived class object彼此之間有差異，但屬於相同的bass class“群” 。 多型實做方式：bass point代表群，供general演算法來使用，bass point可指向向其derived c