聊一聊C++虛函數(shù)表的問題
之前只是看過(guò)C++虛函數(shù)表相關(guān)介紹，今天有空就來(lái)寫代碼研究一下。
面向?qū)ο蟮木幊陶Z(yǔ)言有3大特性：封裝、繼承和多態(tài)。C++是面向?qū)ο蟮恼Z(yǔ)言（與C語(yǔ)言主要區(qū)別），所以C++也擁有多態(tài)的特性。
C++中多態(tài)分為兩種：靜態(tài)多態(tài)和動(dòng)態(tài)多態(tài)。
靜態(tài)多態(tài)為編譯器在編譯期間就可以根據(jù)函數(shù)名和參數(shù)等信息確定調(diào)用某個(gè)函數(shù)。靜態(tài)多態(tài)主要體現(xiàn)為函數(shù)重載和運(yùn)算符重載。
函數(shù)重載即類中定義多個(gè)同名成員函數(shù)，函數(shù)參數(shù)類型、參數(shù)個(gè)數(shù)和返回值不完全相同，編譯器編譯后這些同名函數(shù)的函數(shù)名會(huì)不一樣，也就是說(shuō)編譯期間就確定了調(diào)用某個(gè)函數(shù)。C語(yǔ)言函數(shù)編譯后函數(shù)名就是原函數(shù)名，C++函數(shù)名為原函數(shù)名拼接函數(shù)參數(shù)等信息。
動(dòng)態(tài)多態(tài)即運(yùn)行時(shí)多態(tài)，在程序執(zhí)行期間(非編譯期)判斷所引用對(duì)象的實(shí)際類型，根據(jù)其實(shí)際類型調(diào)用相應(yīng)的方法。動(dòng)態(tài)多態(tài)由虛函數(shù)來(lái)實(shí)現(xiàn)。
比如
class Base{};
class A: public Base{};
class A: public Base{};
Base *base = new A; // base靜態(tài)類型為Base*，動(dòng)態(tài)類型為A*
base = new B; // base動(dòng)態(tài)類型變?yōu)锽*了
探索虛函數(shù)表結(jié)構(gòu)
之前的文件提到過(guò)，一個(gè)類占用的空間，如果有虛函數(shù)就會(huì)占用8字節(jié)的空間來(lái)存放虛函數(shù)表的地址。
虛函數(shù)表內(nèi)存空間 中依次存放著各個(gè)虛函數(shù)的指針，通過(guò)這個(gè)指針可以調(diào)用相關(guān)的虛函數(shù)。
下面通過(guò)代碼來(lái)驗(yàn)證一下上面這個(gè)內(nèi)存結(jié)構(gòu)，定義一個(gè)Base類，中間有3個(gè)方法，f1/f2/f3。
class Base {
public:
virtual void f1(){
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
virtual void f2(){
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
virtual void f3(){
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
};
實(shí)例化這個(gè)類后的內(nèi)存模型如下圖所示：
下面通過(guò)代碼來(lái)驗(yàn)證這個(gè)內(nèi)存模型。
int main() {
typedef void(*Fun)(); // Fun為f1 f2 f3的函數(shù)類型
std::cout << sizeof(Base)<< std::endl; // 輸出 8
Base b;
printf("b ptr = %p\n", &b); // b ptr = 0x7ffeee41ac30
long v_table_addr_value = *(long*)&b; // 取&b指針 前8字節(jié)的值，即虛函數(shù)表地址值
printf("vtable ptr = 0x%lx\n", v_table_addr_value); // vtable ptr = 0x557dae962d48
void *v_table_addr = (void*)v_table_addr_value; // 把這8字節(jié)值轉(zhuǎn)為地址，即為虛函數(shù)表指針
printf("vtable ptr = %p\n", v_table_addr); // vtable ptr = 0x557dae761cd4
long f1_addr_value = *(long*)v_table_addr; // 虛函數(shù)表前8字節(jié)為f1()函數(shù)指針值
printf("f1() ptr = 0x%lx\n", f1_addr_value); // f1() ptr = 0x557dae761cd4
Fun f1 = (Fun)f1_addr_value; // 虛函數(shù)表內(nèi)存第1個(gè)8字節(jié)值轉(zhuǎn)為函數(shù)指針
f1(); // 輸出：virtual void Base::f1()
long f2_addr_value = *(long*)((char*)v_table_addr + 8); // 虛函數(shù)表8-16字節(jié)為f2()函數(shù)指針值
printf("f2() ptr = 0x%lx\n", f2_addr_value); // f2() ptr = 0x557dae761d0c
Fun f2 = (Fun)f2_addr_value; // 虛函數(shù)表內(nèi)存第2個(gè)8字節(jié)值轉(zhuǎn)為函數(shù)指針
f2(); // 輸出：virtual void Base::f2()
long f3_addr_value = *(long*)((char*)v_table_addr + 16); // 虛函數(shù)表前16-24字節(jié)為f3()函數(shù)指針值
printf("f3() ptr = 0x%lx\n", f3_addr_value); // f3() ptr = 0x557dae761d44
Fun f3 = (Fun)f3_addr_value; // 虛函數(shù)表內(nèi)存第3個(gè)8字節(jié)值轉(zhuǎn)為函數(shù)指針
f3(); // virtual void Base::f3()
return 0;
}
通過(guò)上述代碼的輸出結(jié)果可以驗(yàn)證上圖的內(nèi)存模型。
繼承基類重寫虛函數(shù)
現(xiàn)在定義一個(gè)繼承類Derived，重寫了f1()函數(shù)，也就是覆蓋掉了Base類中的函數(shù)f1()。同時(shí)又新增了虛擬函數(shù)f4()。
class Base {
public:
virtual void f1(){
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
virtual void f2(){
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
virtual void f3(){
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
};
class Derived : public Base
{
public:
virtual void f1() override {
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
virtual void f4() {
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
};
通過(guò)上一節(jié)類似的代碼可以驗(yàn)證new Derived()其內(nèi)存模型為
由此可以得出以下結(jié)論：
- 虛函數(shù)按照其聲明順序放于表中。
- 父類的虛函數(shù)在子類的虛函數(shù)前面。
- 覆蓋的函數(shù)放到了虛函數(shù)表中原來(lái)父類虛函數(shù)的位置。
- 沒有被覆蓋的虛函數(shù)函數(shù)位置不變。
繼承N個(gè)基類就有N個(gè)虛函數(shù)表，接下來(lái)使用代碼去驗(yàn)證。
有3個(gè)基類Base1，Base2, Base3，都有兩個(gè)虛函數(shù)f1()、f2()。最后Derived 類繼承這3個(gè)基類。并重寫f1()函數(shù)，新增f4()函數(shù)。
class Base1 {
public:
virtual void f1() {
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
virtual void f2() {
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
};
class Base2 {
public:
virtual void f1() {
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
virtual void f2() {
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
};
class Base3 {
public:
virtual void f1() {
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
virtual void f2() {
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
};
class Derived : public Base1, public Base2, public Base3 {
public:
void f1() override {
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
virtual void f4() {
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
};
此時(shí)，sizeof(Derived) 等于24，可以基本確定類實(shí)例中有3個(gè)虛函數(shù)表指針。
下面通過(guò)代碼來(lái)檢查一下內(nèi)存數(shù)據(jù)。
int main() {
typedef void(*Fun)();
std::cout << sizeof(Derived) << std::endl; // 24
Derived *d = new Derived();
printf("b ptr = %p\n", d); // b ptr = 0x5624201d9280
long v_table1_addr_value = *(long *) d; // 第1個(gè)虛函數(shù)表地址值
printf("vtable1 ptr = 0x%lx\n", v_table1_addr_value); // vtable1 ptr = 0x56241e42ac48
long b1f1_addr_value = *(long *) v_table1_addr_value;
printf("b1f1() ptr = 0x%lx\n", b1f1_addr_value); // b1f1() ptr = 0x56241e22a170
Fun b1f1 = (Fun) b1f1_addr_value;
b1f1(); // virtual void Derived::f1()
long b1f2_addr_value = *((long *) v_table1_addr_value + 1);
printf("b1f2() ptr = 0x%lx\n", b1f2_addr_value); // b1f2() ptr = 0x56241e22a058
Fun b1f2 = (Fun) b1f2_addr_value;
b1f2(); // virtual void Base1::f2()
long b1f3_addr_value = *((long *) v_table1_addr_value + 2);
printf("b1f3() ptr = 0x%lx\n", b1f3_addr_value); // b1f3() ptr = 0x56241e22a1b4
Fun b1f3 = (Fun) b1f3_addr_value;
b1f3(); // virtual void Derived::f3()
long v_table2_addr_value = *((long *) d + 1); // 類實(shí)例內(nèi)存第2個(gè)8字節(jié)為 第2個(gè)虛函數(shù)表地址值
printf("vtable2 ptr = 0x%lx\n", v_table2_addr_value); // vtable2 ptr = 0x56241e42ac70
long b2f1_addr_value = *(long *) v_table2_addr_value;
printf("b2f1() ptr = 0x%lx\n", b2f1_addr_value); // b2f1() ptr = 0x56241e22a1ad
Fun b2f1 = (Fun) b2f1_addr_value;
b2f1(); // virtual void Derived::f1()
long b2f2_addr_value = *((long *) v_table2_addr_value + 1);
printf("b2f2() ptr = 0x%lx\n", b2f2_addr_value); // b2f2() ptr = 0x56241e22a0c8
Fun b2f2 = (Fun) b2f2_addr_value;
b2f2(); // virtual void Base2::f2()
long b2f3_addr_value = *((long *) v_table2_addr_value + 2);
printf("b2f3() ptr = 0x%lx\n", b2f3_addr_value); // b2f3() ptr = 0xfffffffffffffff0
long v_table3_addr_value = *((long *) d + 2); // 類實(shí)例內(nèi)存第3個(gè)8字節(jié)為 第3個(gè)虛函數(shù)表地址值
printf("vtable3 ptr = 0x%lx\n", v_table3_addr_value); // vtable3 ptr = 0x56241e42ac90
long b3f1_addr_value = *(long *) v_table3_addr_value;
printf("b3f1() ptr = 0x%lx\n", b3f1_addr_value); // b3f1() ptr = 0x56241e22a1a7
Fun b3f1 = (Fun) b3f1_addr_value;
b3f1(); // virtual void Derived::f1()
long b3f2_addr_value = *((long *) v_table3_addr_value + 1);
printf("b3f2() ptr = 0x%lx\n", b3f2_addr_value); // b3f2() ptr = 0x56241e22a138
Fun b3f2 = (Fun) b3f2_addr_value;
b3f2(); // virtual void Base3::f2()
return 0;
}
根據(jù)上述代碼輸出結(jié)果，可以畫出下面內(nèi)存模型。
由此可以得出以下結(jié)論：
- 有幾個(gè)基類就有幾個(gè)虛函數(shù)表，且實(shí)例中虛函數(shù)表地址值存儲(chǔ)順序就是基類繼承順序。
- 繼承類新增的虛函數(shù)
f3()排在第一個(gè)虛函數(shù)表中，且在基類虛函數(shù)后面。 - 繼承類中重寫基類的虛函數(shù)
f1()，在每個(gè)虛函數(shù)表中都覆蓋相應(yīng)的虛函數(shù)。
尋找被覆蓋的虛函數(shù)
Derived 類重寫基類Base的f1()函數(shù)后，那如果想調(diào)用基類的被覆蓋的虛函數(shù)的話，就需要明確類名字調(diào)用。
Derived *d = new Derived();
d->f1(); // virtual void Derived::f1()
d->Base::f1(); // virtual void Base::f1()
內(nèi)存空間中繼承類重寫的函數(shù)存在于虛函數(shù)表中原函數(shù)的位置，那么原虛函數(shù)的位置在哪呢？
到此這篇關(guān)于聊一聊C++虛函數(shù)表的問題的文章就介紹到這了,更多相關(guān)C++虛函數(shù)表內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！
相關(guān)文章
C++實(shí)現(xiàn)LeetCode(168.求Excel表列名稱)
這篇文章主要介紹了C++實(shí)現(xiàn)LeetCode(168.求Excel表列名稱),本篇文章通過(guò)簡(jiǎn)要的案例,講解了該項(xiàng)技術(shù)的了解與使用,以下就是詳細(xì)內(nèi)容,需要的朋友可以參考下2021-08-08
C語(yǔ)言實(shí)現(xiàn)在windows服務(wù)中新建進(jìn)程的方法
這篇文章主要介紹了C語(yǔ)言實(shí)現(xiàn)在windows服務(wù)中新建進(jìn)程的方法,涉及C語(yǔ)言進(jìn)程操作的相關(guān)技巧,需要的朋友可以參考下2015-06-06
C語(yǔ)言數(shù)據(jù)結(jié)構(gòu)中約瑟夫環(huán)問題探究
這篇文章主要介紹了C語(yǔ)言數(shù)據(jù)結(jié)構(gòu)中約瑟夫環(huán)問題，總的來(lái)說(shuō)這并不是一道難題，那為什么要拿出這道題介紹？拿出這道題真正想要傳達(dá)的是解題的思路，以及不斷優(yōu)化探尋最優(yōu)解的過(guò)程。希望通過(guò)這道題能給你帶來(lái)一種解題優(yōu)化的思路2023-01-01
C++設(shè)計(jì)模式編程中簡(jiǎn)單工廠與工廠方法模式的實(shí)例對(duì)比
這篇文章主要介紹了C++設(shè)計(jì)模式編程中簡(jiǎn)單工廠與工廠方法模式的實(shí)例對(duì)比,文中最后對(duì)兩種模式的優(yōu)缺點(diǎn)總結(jié)也比較詳細(xì),需要的朋友可以參考下2016-03-03
使用C++實(shí)現(xiàn)簡(jiǎn)單的文章生成器
這篇文章主要為大家詳細(xì)介紹了鵝湖使用C++實(shí)現(xiàn)簡(jiǎn)單的狗屁不通文章生成器,文中的示例代碼講解詳細(xì),具有一定的借鑒價(jià)值,有需要的小伙伴可以了解下2024-03-03
OpenMP中For Construct對(duì)dynamic的調(diào)度方式詳解
在本篇文章當(dāng)中主要給大家介紹 OpenMp for construct 的實(shí)現(xiàn)原理，與他相關(guān)的動(dòng)態(tài)庫(kù)函數(shù)分析以及對(duì) dynamic 的調(diào)度方式進(jìn)行分析，希望對(duì)大家有所幫助2023-02-02
在軟件開發(fā)過(guò)程中，Makefile是一個(gè)非常重要的工具，它可以幫助我們自動(dòng)化構(gòu)建、編譯、測(cè)試和部署，然而，編寫高效的Makefile文件并不是一件容易的事情。在本文中，我們將討論如何編寫高效的Makefile文件，以提高開發(fā)效率和產(chǎn)品質(zhì)量,需要的朋友可以參考下2023-05-05
關(guān)于vs strcpy_s（）和strcat_s()用法探究
這篇文章主要介紹了關(guān)于vs strcpy_s（）strcat_s()用法,本文給大家介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值，需要的朋友可以參考下2020-05-05
鏈接庫(kù)動(dòng)態(tài)鏈接庫(kù)詳細(xì)介紹
靜態(tài)鏈接庫(kù).lib和動(dòng)態(tài)鏈接庫(kù).dll。其中動(dòng)態(tài)鏈接庫(kù)在被使用的時(shí)候，通常還提供一個(gè).lib，稱為引入庫(kù)，它主要提供被Dll導(dǎo)出的函數(shù)和符號(hào)名稱，使得鏈接的時(shí)候能夠找到dll中對(duì)應(yīng)的函數(shù)映射2012-11-11
俄羅斯方塊游戲大家應(yīng)該非常熟悉，非常經(jīng)典的一款游戲，本文來(lái)詳細(xì)講解下俄羅斯方塊游戲的制作過(guò)程，趕緊來(lái)看下吧！希望能給你帶來(lái)幫助2021-08-08