C++對象布局及多態(tài)實(shí)現(xiàn)之動態(tài)和強(qiáng)制轉(zhuǎn)換-基礎(chǔ)電子

精品文檔-下載后可編輯C++對象布局及多態(tài)實(shí)現(xiàn)之動態(tài)和強(qiáng)制轉(zhuǎn)換-基礎(chǔ)電子從這部分開始我們除了利用內(nèi)存的信息打印來進(jìn)行探索外，更多的會通過跟蹤和觀察編譯器產(chǎn)生的匯編代碼來理解編譯器對這些語言特性的實(shí)現(xiàn)方式。匯編方面知識的討論超出了本文的范圍，我只對和我們討論相關(guān)的匯編代碼進(jìn)行解析。理解本文要討論的知識并不需要有很完整的匯編知識，但必須了解起碼的概念。下面我們看看引入虛繼承后的影響。為了有所對比我們首先看看普通成員函數(shù)的調(diào)用情況。執(zhí)行如下代碼，它包括了對象的普通成員函數(shù)調(diào)用，類的靜態(tài)成員函數(shù)調(diào)用、通過指針調(diào)用普通成員函數(shù)：C010obj;PRINT_OBJ_ADR(obj)obj.foo();C012::sfoo();C010*pt=obj;pt-foo();

結(jié)果如下：

obj'saddressis:0012F843

這是obj對象的內(nèi)存地址。首先我們看看對象的普通成員函數(shù)調(diào)用，obj.foo();，對應(yīng)的匯編代碼為：

00422E09leaecx,[ebp+FFFFF967h]00422E0Fcall0041E289

第1行把對象的地址存入ecx寄存器，執(zhí)行完這行指令后，我們要以看到ecx中的值為0x0012F843，就是前面打印出的值。如果函數(shù)需要傳遞參數(shù)，我們還會在前面看到一些push指令。在第2行我們可以看到call的是一個直接的地址，這也就是靜態(tài)綁定。即函數(shù)的調(diào)用地址在編譯時(shí)已經(jīng)被編譯器決議。跟蹤進(jìn)去我們要以看到是一條跳轉(zhuǎn)指令，繼續(xù)執(zhí)行可以看到真正的函數(shù)代碼部分，如下(注：為了討論方便我在第行前面加了一個行號)：

0100425FE0pushebp0200425FE1movebp,esp0300425FE3subesp,0CCh0400425FE9pushebx0500425FEApushesi0600425FEBpushedi0700425FECpushecx0800425FEDleaedi,[ebp+FFFFFF34h]0900425FF3movecx,33h1000425FF8moveax,0CCCCCCCCh1100425FFDrepstosdwordptr[edi]1200425FFFpopecx1300426000movdwordptr[ebp-8],ecx1400426003moveax,dwordptr[ebp-8]1500426006movbyteptr[eax],21600426009popedi170042600Apopesi180042600Bpopebx190042600Cmovesp,ebp200042600Epopebp210042600Fret

我們看看第7行，把ecx寄存器入棧，后面4行初始化了函數(shù)的堆棧中的保存局部變量的部分。第12行彈出ecx值，到這里時(shí)ecx的值保持為在函數(shù)調(diào)用前存入的對象內(nèi)存地址，第13行就是保存this指針的值，作為一個局部變量。這樣我們就知道了VC7.1不是象傳遞普通函數(shù)那樣通過壓棧來傳遞this指針，而是通過ecx寄存器來傳遞。第14、15行利用這個this指針給對象的成員變量進(jìn)行了賦值。再看看靜態(tài)成員函數(shù)調(diào)用的匯編代碼：

00422E14call0041DD84

非常直接，因?yàn)樗恍枰幚韙his指針，跟蹤到函數(shù)的匯編代碼，可以看到同樣不需要處理this指針。具體的代碼這里就不列出來了。再看看通過指針調(diào)用普通成員函數(shù)pt-foo();，產(chǎn)生的匯編代碼如下：

00422E25movecx,dwordptr[ebp