case1：非虛繼承

上面是代碼的繼承圖

#include<iostream> using namespace std; //抽象基類:動物類 class CAnimal { public:virtual void EatFood(string strSomething) = 0;virtual void Drink(string strSomething) = 0; };//CAnimal的派生類:CMammal class CMammal : public CAnimal { public:virtual void EatFood(string strSomething){cout << "CMammal::EatFood()" << endl;}virtual void Drink(string strSomething){cout << "CMammal::Drink()" << endl;} };//CAnimal的繼承類:CAfricaAnimal非洲動物 class CAfricaAnimal : public CAnimal { public:virtual void EatFood(string strSomething){cout << "CAfricaAnimal::EatFood()" << endl;}virtual void Drink(string strSomething){cout << "CAfricaAnimal::Drink()" << endl;} };//同時繼承自CMammal,CAfricaAnimal:CLion獅子類 class CLion : public CMammal, public CAfricaAnimal { public:virtual void RunCrazily(){cout << "CLion::RunCrazily()" << endl;} };int main() {CLion sinba;return 0; }通過在return 0;語句前添加一個斷點，查看sinba的值可以得到如下結果:

【疑問】但是，在Clion中定義了一個Clion自己的虛函數RunCrazily，可是從“局部變量”調試窗口中并沒有看到RunCrazily。那么虛函數RunCrazily到底存放在哪個虛函數表中呢？
【答案】通過網上查閱資料，得知：虛函數RunCrazily其實是存放在第一張虛表中的。
CLion聲明的sinba變量中的虛表指針的圖示，見下：

【已知：對象】 【得到：該對象中的所有的函數的入口地址】可以通過：子類對象，如CLion sinba； 進一步找到：子類對象中的所有的虛表指針； 進而通過虛表指針，找到：每一個虛表中存放的虛函數的入口地址，（入口地址即函數名）； 找到了虛函數入口地址后，可以：通過類型轉換，轉換成相對應的函數指針，再進行函數的調用。以下是測試代碼： int main() {CLion sinba;typedef void (*FUN)(); //用typedrf給void (*)()取名為FUNFUN run_crazily; //用FUN定義一個函數指針void (*run_crazily)()run_crazily = (FUN)(*((int*)*(int*)(&sinba)+2)); //給函數指針賦值：先把*((int*)*(int*)(&sinba)+2)從int類型強制轉換成FUN類型后，再賦值。(*run_crazily)();//用函數指針調用函數，運行結果：CLion::RunCrazily()return 0; }【解析】關于上面復雜指針轉換的分析：(int*)(&sinba)得到的是一個指向第一張虛表地址的指針，即虛表指針vptr_CMammal。對該地址取內容：*(int*)(&sinba) 可以得到第一張虛表的首地址，但應該將該值轉換成int*：(int*)*(int*)(&sinba)，使得每次指針+1操作都內存向前移動4字節。因為虛表中元素占4字節，現在把這個指針+2: (int*)*(int*)(&sinba)+2，得到指向表中第三項的指針，即指向CLion::RunCrazily()函數的指針。再用*對(int*)*(int*)(&sinba)+2指針取內容*((int*)*(int*)(&sinba)+2)，得到CLion::RunCrazily()函數的入口地址，函數的入口地址相當于函數名RunCrazily。但是：得到函數的入口地址后還不能直接調用，應該將該函數入口地址轉換成相應的函數原型(FUN)(*((int*)*(int*)(&sinba)+2))?，F在可以調用了 =========================================================================== 【擴展】 如果要得到第二張虛表中的某項函數可以按照上面分析的方法調用到：(int*)(&sinba)：一個指向第一張虛表地址的指針(這里必須轉換成int*,方便在指針移動的時候可以向前移動4字節，也就是一個虛表指針的長度）(int*)(&sinba)+1：一個指向第二張虛表地址的指針*((int*)(&sinba)+1)：對上面的地址取內容，得到第二張虛表的首地址(int*)*((int*)(&sinba)+1)+1：第二張虛表中第二項的地址(這里也必須轉換成int*再+1,原因同上面的)*((int*)*((int*)(&sinba)+1)+1):對上面的地址取內容，得到第二張虛表中第二項的入口地址(FUN)(*((int*)*((int*)(&sinba)+1)+1)):對上面的地址強制轉換成相應原型的函數指針 上面幾句話總結：要得到第m+1張虛表中的第n+1個函數的入口地址為*((int*)*((int*)(&sinba)+m)+n)，在使用之前，再進行類型轉換(FUN)(*((int*)*((int*)(&sinba)+m)+n))轉換成相對應的函數指針，用上面的函數指針進行調用。

【綜上所述】假設A、B類中都有virtual函數，C類多繼承了A類、B類（假設C類先繼承了A類），且C類中也有virtual函數，那么：
C類定義的對象中，有A類、B類的虛函數指針，（C類中獨有的虛函數指針在A類的虛函數表中）。

========================================================================================
case2：虛繼承

總結

以上是生活随笔為你收集整理的第九天2017/04/18（4、非虚继承、虚继承的本质 / sizeof）的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。