青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品

以題論道----關于虛函數的一些解讀

                                    peakflys原創作品,轉載請注明源作者和源鏈接!
    virtual function是很多公司面試題的重點考察內容,雖然對于C++而言這是一個老生常談的話題了,但是工作中我發現還是有很多人理解的不透徹。
    先看下面的一個例子:
/**
 *\brief virtual function test case
 *\author peakflys
 *\date Sun Dec  1 14:52:47 CST 2013
 */
#include <iostream>
using namespace std;
class Base
{
public:
    virtual void print(const int a = 10) {cout<<"Base: "<<a<<endl;}
};
class Derive : public Base
{
public:
    virtual void print(const int a = 100) {cout<<"Derive: "<<a<<endl;}
};
int main()
{
    Base *pb = new Derive;
    pb->print();
    Base& rb = *pb;
    rb.print();
    Derive d;
    d.print();
    Base *pbb = &d; 
    pbb->print();
    Base& rbb = d;
    rbb.print();
    Base b;
    b.print();
    Derive *pd = (Derive*)&b;
    pd->print();
    Derive& rd = *(Derive*)&b;
    rd.print();
    delete pb; 
    return 0;
}
你認為運行后的結果是什么呢?
下面是在我機器上的運行結果(Linux dev 2.6.32,gcc (GCC) 4.8.1)
Derive: 10
Derive: 10
Derive: 100
Derive: 10
Derive: 10
Base: 10
Base: 100
Base: 100
上面例子主要考察的內容有四塊:虛函數的執行、引用和指針的關系、函數調用過程、類型強轉后的行為。如果你能答對所有的結果,下面的內容可以略過。
下面我們來一一回顧一下所涉及到的這四塊內容。
1、虛函數的運行機理:
虛函數是C++實現多態性的必要手段,它在運行時刻才決定具體該調用哪個函數。對于虛函數的完整細節實現標準并未給出,但是大多數編譯器廠商,包括GCC、VS的常見實現都是在含有虛函數的類對象起始地址增加一個虛表指針,虛表指針指向的數組空間稱之為虛表,這個數組包含了類對象的所有虛函數地址。詳細內容大家可以參看《Inside The C++ Object Model》的Function語義學(注:這本書里有部分結論和例子運行同現在主流編譯器的實現有出入)。
2、引用的行為
在常見的編譯器中,引用一般都是通過指針來實現的,它同指針的區別就是它比指針有更多的約束,使用上有更多的限制。
3、虛函數的調用過程:
虛函數的調用過程通常是以下三個步驟:
①、參數壓棧
②、從虛表指針指向的虛表中找出函數的地址
③、調用函數。
這些操作都是在編譯時期就確定的,所不同的是運行時刻對象不同,其對應的虛表中函數地址自然也就是運行時真實對象的函數,這也就是虛函數實現的本質。
而這個過程中,參數的入棧是對象無關的,而且是在編譯時期就確定下來的。所以上面例子中所有指針和引用所調用函數的參數,都是指針和引用本身類型對應的函數默認參數,同運行時刻他們真實指向的對象內存無關。
4、類型強轉后的行為
通常的類型強轉是告訴編譯器必須按照指定結構的內存布局來解析對應內存,正如上例中”Derive *pd = (Derive*)&b; “ ,編譯器就會把b對應的內存來當做Derive的內存布局來解析,但是內存里的內容不變,所以虛函數運行正常。
注:這種行為很危險,如果使用的內存布局并不適合真實內存,很可能造成訪問越界等問題,所以要格外小心強轉操作的使用!對于例子中的downcasting行為,建議使用C++提供的dynamic_cast來轉換。
為了大家更好的理解上面的內容,特附上使用指針和引用分別調用虛函數過程的gcc匯編代碼和注釋:
    Base *pb = new Derive;
  400b49:   bf 08 00 00 00          mov    $0x8,%edi
  400b4e:   e8 6d fe ff ff          callq  4009c0 <_Znwm@plt>
  400b53:   48 89 c3                mov    %rax,%rbx
  400b56:   48 89 df                mov    %rbx,%rdi
  400b59:   e8 f4 01 00 00          callq  400d52 <_ZN6DeriveC1Ev>   //以上均為Derive對象的構造
   400b5e:   48 89 5d e8             mov    %rbx,-0x18(%rbp)             //pb指針的賦值
    pb->print();
  400b62:   48 8b 45 e8             mov    -0x18(%rbp),%rax               //pb指針指向的內存的首地址,即Derive對象的起始地址,亦即虛表指針的地址
  400b66:   48 8b 00                mov    (%rax),%rax                        //取虛表地址
  400b69:   48 8b 00                mov    (%rax),%rax                        //取虛表中的第一項內容(因Derive和Base只有一個虛函數),即print函數地址
  400b6c:   48 8b 55 e8             mov    -0x18(%rbp),%rdx               //this指針傳入rdx
  400b70:   be 0a 00 00 00          mov    $0xa,%esi                         //參數10入棧(可見在編譯時期就已經確定了)
  400b75:   48 89 d7                mov    %rdx,%rdi                            //this指針借rdx傳給rdi
  400b78:   ff d0                   callq  *%rax                                     //調用虛函數(通過真實對象的虛表來確定的真正被調函數)
    Base& rb = *pb;
  400b7a:   48 8b 45 e8             mov    -0x18(%rbp),%rax
  400b7e:   48 89 45 e0             mov    %rax,-0x20(%rbp)
    rb.print();
  400b82:   48 8b 45 e0             mov    -0x20(%rbp),%rax
  400b86:   48 8b 00                mov    (%rax),%rax
  400b89:   48 8b 00                mov    (%rax),%rax
  400b8c:   48 8b 55 e0             mov    -0x20(%rbp),%rdx
  400b90:   be 0a 00 00 00          mov    $0xa,%esi
  400b95:   48 89 d7                mov    %rdx,%rdi
  400b98:   ff d0                   callq  *%rax                                       //以上為通過引用調用虛函數的過程,可見同指針調用的實現完全相同,注釋略
通過上面的分析,相信大家應該都能輕松的明白上面例子的運行結果,此處不再一一解讀。
                                                         --by peakflys 15:57:06 Sunday, December 01, 2013

posted on 2013-12-01 16:08 peakflys 閱讀(3002) 評論(7)  編輯 收藏 引用 所屬分類: C++

評論

# re: 以題論道----關于虛函數的一些解讀 2013-12-01 19:05 Richard Wei

effective C++ item 38  回復  更多評論   

# re: 以題論道----關于虛函數的一些解讀 2013-12-02 09:32 peakflys

僅作例子講解@Richard Wei
  回復  更多評論   

# re: 以題論道----關于虛函數的一些解讀 2013-12-03 11:21 zdd

最后一個類型轉換,這樣也可以。不知道兩者有何區別。
Derive& rd = (Derive&)b;
rd.print();  回復  更多評論   

# re: 以題論道----關于虛函數的一些解讀 2013-12-04 09:47 NWAO

".....上面例子中所有指針和引用所調用函數的參數,都是指針和引用本身類型對應的函數默認參數,同運行時刻他們真實指向的對象內存無關。"

這句話加紅一下就更好了, 很重要的,同學們可以參考Effective C++ ITEM 37.  回復  更多評論   

# re: 以題論道----關于虛函數的一些解讀 2013-12-04 23:45 vsgoster

感謝,很受用~特別是默認參數的入棧,從沒考慮過這個問題。  回復  更多評論   

# re: 以題論道----關于虛函數的一些解讀[未登錄] 2013-12-05 14:24 peakflys

@zdd 兩者沒有本質區別。
*(Derive*)&b 先取地址,強轉地址類型,然后再取內容,同匯編實現基本是一一對應起來的;
(Derive&)b是使用C式的強轉直接把內容轉成Derive的引用,編譯器幫你翻譯成的匯編代碼實現應該和上面的是一樣的。  回復  更多評論   

# re: 以題論道----關于虛函數的一些解讀 2013-12-12 00:00 Hacksign

博主的例子,有一個坑,具有默認參數的virtual函數執行靜態綁定。所以,如果去掉參數,即virtual void print(void),那么第一個print調用應該執行derive版本的print。  回復  更多評論   

<2015年1月>
28293031123
45678910
11121314151617
18192021222324
25262728293031
1234567

導航

統計

公告

人不淡定的時候,就愛表現出來,敲代碼如此,偶爾的靈感亦如此……

常用鏈接

留言簿(4)

隨筆分類

隨筆檔案

文章檔案

搜索

最新評論

閱讀排行榜

評論排行榜

青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品
  • <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>
            亚洲欧美在线免费| 99精品国产福利在线观看免费| 亚洲黄色免费| 久久精品国产亚洲精品| 欧美亚一区二区| 亚洲自拍偷拍色片视频| 亚洲午夜女主播在线直播| 国产精品美女久久久免费| 欧美一区二区观看视频| 欧美一区午夜精品| 亚洲大胆女人| 亚洲国产美女| 国产精品v欧美精品v日本精品动漫| 亚洲一区二区三区四区五区午夜| 亚洲视频综合| 在线观看欧美黄色| 亚洲精品国产视频| 国产精品视频xxxx| 免费毛片一区二区三区久久久| 久久伊人免费视频| avtt综合网| 午夜精品久久久久久久久| 在线观看视频一区| 一区二区精品在线| 红桃视频亚洲| av成人动漫| 精品成人a区在线观看| 亚洲精品影视| 好吊妞这里只有精品| 亚洲精品中文字幕在线观看| 国产日产欧产精品推荐色| 欧美成人午夜77777| 国产精品久久久久久久久免费| 久久午夜羞羞影院免费观看| 欧美日韩国产三区| 久久先锋影音| 国产精品国产亚洲精品看不卡15| 久久蜜桃av一区精品变态类天堂| 欧美日韩不卡视频| 免费欧美视频| 国产亚洲精品高潮| 日韩亚洲欧美一区二区三区| 黄页网站一区| 午夜精品视频在线观看| 亚洲网站视频福利| 免费91麻豆精品国产自产在线观看| 午夜精品偷拍| 欧美在线你懂的| 韩国福利一区| 亚洲视频狠狠| 久久一区视频| 母乳一区在线观看| 国产亚洲精品综合一区91| 一本色道久久综合亚洲精品小说| 在线观看视频免费一区二区三区| 欧美亚洲视频在线观看| 午夜精品久久久久久久男人的天堂 | 亚洲大胆人体视频| 欧美影院成人| 欧美在线视频一区二区| 国产精品视频一区二区高潮| 9色porny自拍视频一区二区| 一区二区三区蜜桃网| 欧美激情在线观看| 亚洲成色777777女色窝| 亚洲国产高清一区二区三区| 久久精品欧洲| 欧美~级网站不卡| 亚洲高清一区二| 乱码第一页成人| 欧美成人精品| 亚洲精品视频在线| 欧美巨乳在线观看| 妖精成人www高清在线观看| 韩国精品一区二区三区| 亚洲天堂免费观看| 亚洲国产专区校园欧美| 欧美精品导航| 老牛影视一区二区三区| 国产精品区一区二区三| 亚洲欧美日韩国产综合精品二区| 男人的天堂成人在线| 久久国内精品自在自线400部| 欧美日韩高清不卡| 亚洲电影在线观看| 亚洲电影在线播放| 久久精品国产亚洲a| 在线看片一区| 久久久久一区二区| 久热精品视频在线观看一区| 国产精品资源在线观看| 亚洲一区二区三区高清| 亚洲一区二区视频在线| 久久久久国产一区二区三区| 欧美承认网站| 亚洲电影免费在线| 老司机一区二区| 欧美成人激情视频免费观看| 亚洲国产小视频在线观看| 久久久中精品2020中文| 老牛国产精品一区的观看方式| 在线视频亚洲| 国产精品福利影院| 亚洲欧美久久久| 欧美在线综合| 黄色精品一区二区| 六十路精品视频| 久久免费视频这里只有精品| 一本色道久久综合亚洲精品小说| 欧美国产国产综合| 日韩视频中午一区| 亚洲欧美制服中文字幕| 国产一级一区二区| 久久深夜福利免费观看| 亚洲一区自拍| 亚洲日本欧美| 欧美日韩精品三区| 午夜精品视频在线观看| 麻豆精品精华液| 亚洲精品国精品久久99热一 | 久久综合九九| 亚洲伊人一本大道中文字幕| 久久久五月婷婷| 在线视频亚洲| 亚洲女女做受ⅹxx高潮| 久久久噜噜噜| 亚洲精品少妇30p| 欧美成人黑人xx视频免费观看| 亚洲精品综合| 国产欧美日本一区视频| 久久五月激情| 中文网丁香综合网| 精品51国产黑色丝袜高跟鞋| 国产欧美日韩视频一区二区| 麻豆视频一区二区| 亚洲一区中文| 欧美黄色精品| 亚洲欧美激情视频| 欧美天天在线| 亚洲自拍啪啪| 亚洲国产精品久久久久秋霞影院| 亚洲欧美国产精品专区久久| 在线观看亚洲视频啊啊啊啊| 欧美视频专区一二在线观看| 欧美在线三级| 欧美在线影院| 亚洲视频观看| 亚洲国产精品成人综合| 久久久在线视频| 亚洲专区欧美专区| 亚洲精品视频中文字幕| 99精品视频免费观看视频| 精品动漫一区| 国产精品视频免费一区| 欧美大色视频| 久久国产精品亚洲va麻豆| 麻豆精品一区二区av白丝在线| 欧美va亚洲va日韩∨a综合色| 午夜精品久久久久| 中国成人在线视频| 亚洲精品视频一区| 亚洲国内在线| 亚洲第一级黄色片| 99在线|亚洲一区二区| 亚洲国产精品久久久久| 国内精品久久久久影院薰衣草| 欧美日韩精品免费观看视频完整| 老司机午夜精品| 蜜臀av国产精品久久久久| 久久人人看视频| 久久亚洲欧洲| 日韩午夜在线观看视频| 午夜精品视频| 欧美一区二区三区电影在线观看| 亚洲男人天堂2024| 亚洲免费一级电影| 久久av二区| 亚洲成色777777女色窝| 欧美激情一区二区三区四区| 欧美α欧美αv大片| 欧美成人69av| 欧美大片专区| 久久精品在线观看| 亚洲高清久久久| 亚洲三级网站| 一本色道久久88精品综合| 在线视频日韩| 亚洲精品一区二区三区不| 久久国产精品久久w女人spa| 欧美制服丝袜第一页| 久久精品理论片| 久久天天狠狠| 欧美久久久久久久久久| 欧美日韩网站| 国产精品一区久久| 亚洲国产99| 亚洲私人黄色宅男| 久久精品国产精品| 91久久在线观看| 亚洲午夜精品国产|