臺大資工多媒體實(shí)驗(yàn)室課件

C++ObjectModel臺大資工多媒體實(shí)驗(yàn)室PreviewWhatisC++objectmodel?ClassandobjectdatamemberaccesssingleobjectlayoutInheritanceobjectlayoutpolymorphismvirtualC++objectmodelC++compiler底層的實(shí)做機(jī)制，用來實(shí)做各物件的運(yùn)作模型，使之能具備C++諸多物件導(dǎo)向的性質(zhì)。物件模型底層的實(shí)做機(jī)制並未標(biāo)準(zhǔn)化，各家compiler作法不一。但解答許多問題必須根源與我們對C++objectmodel的瞭解。StaticDataMember屬於class層級的資料，所有object共享一份staticdatamember。存取staticmember不需要透過任何的object，在無任何object時(shí)已透過memberselectionoperators來存取。所有的存取都會被compiler轉(zhuǎn)化為extern實(shí)體的直接參考動作Ex. CPoint3D::size=300;NonstaticDataMember對於nonstaticdatamember的存取，實(shí)際上是透過implicit的this指標(biāo)來完成。存取會轉(zhuǎn)換成&(this)+(datamemberoffset)由於offset在compilertime就可算出，其效率等於存取一個(gè)Cstructmember.SingleObjectlayout一個(gè)object的實(shí)體之內(nèi)只含class之nonstaticdatamember及某些輔助機(jī)制(vptr)。Classmemberfunctions獨(dú)立於object實(shí)體之外是獨(dú)一無二的一份函示實(shí)體（即多個(gè)object共享相同的函示實(shí)體。）同一個(gè)accesssection的datamembers排列順序根據(jù)其宣告順序而定。Accesssection的排列順序無強(qiáng)制規(guī)定。Inheritance繼承之於Nonstaticdatamembers，是指baseobjectmembers存在在derivedobject中。繼承之於Memberfunctions，是指繼承了對baseclass’smemberfunction的呼叫權(quán)利。繼承之於Staticdatamember，是指繼承了對bassclassstaticdatamember的存取權(quán)利。物件模型在繼承下

Layout的原則C++保證，『出現(xiàn)在derivedclass中的bassclasssubobject有其完整之原樣性』。Derivedclasslayout=[directbassclass]s+[自己新增的datamember(nonstaticdataorvptr)]單一繼承的物件模型單一繼承：指每一個(gè)class的directbassclass只能有一個(gè)，繼承的深度沒有限制。ClassCPoint2d{public:…..protected:floatx;floaty;}oPt2d;floatx;floaty;oPt2dClassCPoint3d:publicCPoint2d{public:…protected:floatz;}oPt3d;oPt3dfloatx;floaty;floatz;虛擬繼承Sharedsubobject繼承的機(jī)制。多重繼承與虛擬多重繼承的比較：多重繼承虛擬多重繼承iosiosiosostreamistreamistreamostreamiostreamiostream虛擬繼承的物件模型(1)下面是Cvertex3d虛擬繼承的架構(gòu)：ClassPoint2d{public:…protected:floatx;floaty;};ClassVertex:publicvirtualPoint2d{public:…protected:vertex*next;};ClassVertex3d:publicvirtualVertex,publicPoint3d{public:…protected:floatz;};ClassPoint3d:publicvirtualPoint2d{public:…protected:floatz;};虛擬繼承的物件模型(2)Vptr_Point2dfloatxfloatyPointoPt2dVptr_Point2dfloatxfloatyfloatzvpbassPoint2dvptr_point3dvptr_VertexvpbassPoint2dVertex*nextFloatmumbleVertex3doV3dVptr_Point2dfloatxfloatyvptr_VertexvpbassPoint2dVertex*nextVertexoVVptr_Point2dfloatxfloatyfloatzvpbassPoint2dvptr_point3dPoint3doPt3dPolymorphism(2)Ex.Bassclass魚，

driveclass大肚魚，金魚，鯊魚 魚的point可以指向大肚魚、金魚、鯊魚魚的object。利用演算法：『由第一隻魚到最後一隻魚，魚開始游泳』可使所有的魚都開始游泳，但不同類的魚會依照自己的方式來游。演算法簡潔，且保持個(gè)體之間的特性。演算法設(shè)計(jì)者不需瞭解物件的如何實(shí)做。C++如何支援多型經(jīng)由隱含轉(zhuǎn)型動作，允許derivedclassobject轉(zhuǎn)化給basetypepoint來指。經(jīng)由虛擬機(jī)制喚起指標(biāo)所指之object的虛擬函式實(shí)體。Object保有type-info。Dynamic_cast可對Objectpoint做型別轉(zhuǎn)換的安全檢查。當(dāng)deriveobject

assign給basspointer時(shí)，需暗含thispoint位移調(diào)整時(shí)，稱unnaturalpolymorphism。暗含的位移調(diào)整工作由complier偷偷插入程式之中。Ex. Vertext*pVertex=newVertext3d;UnnaturalpolymorphismfloatzvpbassPoint2dvptr_point3dvptr_VertexvpbassPoint2dVertex*nextVertex**pVertexthispointer(offset)Vertex3dobjectVirtualfunctioninObjectmodel每個(gè)object內(nèi)有一個(gè)vptr指標(biāo)，指向virtualfunctiontable。每一個(gè)class有一個(gè)virtualfunctiontable(供object之vptr所指）內(nèi)含class之中有作用的virtualfunction的address。Virtualfunctiontable的index0存放的是type-info用以支援runtimetypeidentification(RTTI)。C++物件模型兩種datamember:static/nonstaticdata;三種member

function:static/nonstatic/virtualfunction;ClassPoint{public: point(floatxtal); virtual~Point(); floatx()const; staticintPointCount();p