從這部分開始我們除了利用內存的信息打印來進行探索外,更多的會通過跟蹤和觀察編譯器產(chǎn)生的匯編代碼來理解編譯器對這些語言特性的實現(xiàn)方式。匯編方面知識的討論超出了本文的范圍,我只對和我們討論相關的匯編代碼進行解析。理解本文要討論的知識并不需要有很完整的匯編知識,但必須了解起碼的概念。
下面我們看看引入虛繼承后的影響。為了有所對比我們首先看看普通成員函數(shù)的調用情況。
執(zhí)行如下代碼,它包括了對象的普通成員函數(shù)調用,類的靜態(tài)成員函數(shù)調用、通過指針調用普通成員函數(shù):
c010 obj;
print_obj_adr(obj)
obj.foo();
c012::sfoo();
c010 * pt = &obj;
pt-> foo(); |
結果如下:
obj's address is : 0012f843 |
這是obj對象的內存地址。
首先我們看看對象的普通成員函數(shù)調用,obj.foo();,對應的匯編代碼為:
00422e09 lea ecx,[ebp+fffff967h]
00422e0f call 0041e289 |
第1行把對象的地址存入ecx寄存器,執(zhí)行完這行指令后,我們要以看到ecx中的值為0x0012f843,就是前面打印出的值。如果函數(shù)需要傳遞參數(shù),我們還會在前面看到一些push指令。在第2行我們可以看到call的是一個直接的地址,這也就是靜態(tài)綁定。即函數(shù)的調用地址在編譯時已經(jīng)被編譯器決議。
跟蹤進去我們要以看到是一條跳轉指令,繼續(xù)執(zhí)行可以看到真正的函數(shù)代碼部分,如下(注:為了討論方便我在第行前面加了一個行號):
01 00425fe0 push ebp
02 00425fe1 mov ebp,esp
03 00425fe3 sub esp,0cch
04 00425fe9 push ebx
05 00425fea push esi
06 00425feb push edi
07 00425fec push ecx
08 00425fed lea edi,[ebp+ffffff34h]
09 00425ff3 mov ecx,33h
10 00425ff8 mov eax,0cccccccch
11 00425ffd rep stos dword ptr [edi]
12 00425fff pop ecx
13 00426000 mov dword ptr [ebp-8],ecx
14 00426003 mov eax,dword ptr [ebp-8]
15 00426006 mov byte ptr [eax],2
16 00426009 pop edi
17 0042600a pop esi
18 0042600b pop ebx
19 0042600c mov esp,ebp
20 0042600e pop ebp
21 0042600f ret |
我們看看第7行,把ecx寄存器入棧,后面4行初始化了函數(shù)的堆棧中的保存局部變量的部分。第12行彈出ecx值,到這里時ecx的值保持為在函數(shù)調用前存入的對象內存地址,第13行就是保存this指針的值,作為一個局部變量。這樣我們就知道了vc7.1不是象傳遞普通函數(shù)那樣通過壓棧來傳遞this 指針,而是通過ecx寄存器來傳遞。第14、15行利用這個this指針給對象的成員變量進行了賦值。
再看看靜態(tài)成員函數(shù)調用的匯編代碼:
非常直接,因為它不需要處理t
從這部分開始我們除了利用內存的信息打印來進行探索外,更多的會通過跟蹤和觀察編譯器產(chǎn)生的匯編代碼來理解編譯器對這些語言特性的實現(xiàn)方式。匯編方面知識的討論超出了本文的范圍,我只對和我們討論相關的匯編代碼進行解析。理解本文要討論的知識并不需要有很完整的匯編知識,但必須了解起碼的概念。
下面我們看看引入虛繼承后的影響。為了有所對比我們首先看看普通成員函數(shù)的調用情況。
執(zhí)行如下代碼,它包括了對象的普通成員函數(shù)調用,類的靜態(tài)成員函數(shù)調用、通過指針調用普通成員函數(shù):
c010 obj;
print_obj_adr(obj)
obj.foo();
c012::sfoo();
c010 * pt = &obj;
pt-> foo(); |
結果如下:
obj's address is : 0012f843 |
這是obj對象的內存地址。
首先我們看看對象的普通成員函數(shù)調用,obj.foo();,對應的匯編代碼為:
00422e09 lea ecx,[ebp+fffff967h]
00422e0f call 0041e289 |
第1行把對象的地址存入ecx寄存器,執(zhí)行完這行指令后,我們要以看到ecx中的值為0x0012f843,就是前面打印出的值。如果函數(shù)需要傳遞參數(shù),我們還會在前面看到一些push指令。在第2行我們可以看到call的是一個直接的地址,這也就是靜態(tài)綁定。即函數(shù)的調用地址在編譯時已經(jīng)被編譯器決議。
跟蹤進去我們要以看到是一條跳轉指令,繼續(xù)執(zhí)行可以看到真正的函數(shù)代碼部分,如下(注:為了討論方便我在第行前面加了一個行號):
01 00425fe0 push ebp
02 00425fe1 mov ebp,esp
03 00425fe3 sub esp,0cch
04 00425fe9 push ebx
05 00425fea push esi
06 00425feb push edi
07 00425fec push ecx
08 00425fed lea edi,[ebp+ffffff34h]
09 00425ff3 mov ecx,33h
10 00425ff8 mov eax,0cccccccch
11 00425ffd rep stos dword ptr [edi]
12 00425fff pop ecx
13 00426000 mov dword ptr [ebp-8],ecx
14 00426003 mov eax,dword ptr [ebp-8]
15 00426006 mov byte ptr [eax],2
16 00426009 pop edi
17 0042600a pop esi
18 0042600b pop ebx
19 0042600c mov esp,ebp
20 0042600e pop ebp
21 0042600f ret |
我們看看第7行,把ecx寄存器入棧,后面4行初始化了函數(shù)的堆棧中的保存局部變量的部分。第12行彈出ecx值,到這里時ecx的值保持為在函數(shù)調用前存入的對象內存地址,第13行就是保存this指針的值,作為一個局部變量。這樣我們就知道了vc7.1不是象傳遞普通函數(shù)那樣通過壓棧來傳遞this 指針,而是通過ecx寄存器來傳遞。第14、15行利用這個this指針給對象的成員變量進行了賦值。
再看看靜態(tài)成員函數(shù)調用的匯編代碼:
非常直接,因為它不需要處理t