• 從基類構造函數(shù)直接調(diào)用虛函數(shù)。（直接調(diào)用是指函數(shù)內(nèi)部直接調(diào)用虛函數(shù)）
• 從基類析構函數(shù)直接調(diào)用虛函數(shù)。
• 從基類構造函數(shù)間接調(diào)用虛函數(shù)。（間接調(diào)用是指函數(shù)內(nèi)部調(diào)用其他的非虛函數(shù)，其內(nèi)部直接或間接地調(diào)用了虛函數(shù)）
• 從基類析構函數(shù)間接調(diào)用虛函數(shù)。
• 通過懸空指針調(diào)用虛函數(shù)。

注意：其中1，2編譯器會檢測到此類錯誤。3，4，5編譯器無法檢測出此類情況，會在運行時報錯。

（1）虛函數(shù)表vtbl

編譯器在編譯時期為每個帶虛函數(shù)的類創(chuàng)建一份虛函數(shù)表

實例化對象時, 編譯器自動將類對象的虛表指針指向這個虛函數(shù)表

（2）構造一個派生類對象的過程

1.構造基類部分：

• 構造虛表指針，將實例的虛表指針指向基類的vtbl
• 構造基類的成員變量
• 執(zhí)行基類的構造函數(shù)函數(shù)體

2.遞歸構造派生類部分：

• 將實例的虛表指針指向派生類vtbl
• 構造派生類的成員變量
• 執(zhí)行派生類的構造函數(shù)體

（3）析構一個派生類對象的過程

1.遞歸析構派生類部分：

• 將實例的虛表指針指向派生類vtbl
• 執(zhí)行派生類的析構函數(shù)體
• 析構派生類的成員變量（這里的執(zhí)行函數(shù)體，析構派生類成員變量，兩者的順序和構造的步驟是相反的）

2.析構基類部分：

• 將實例的虛表指針指向基類的vtbl
• 執(zhí)行基類的析構函數(shù)函數(shù)體
• 析構基類的成員變量

構造函數(shù)和析構函數(shù)執(zhí)行函數(shù)體時，實例的虛函數(shù)表指針，指向構造函數(shù)和析構函數(shù)本身所屬的類的虛函數(shù)表，此時執(zhí)行的虛函數(shù)，即調(diào)用的本身的該類本身的虛函數(shù)，下面是一個【間接調(diào)用】的栗子：基類中的析構函數(shù)中，調(diào)用純虛函數(shù)（該虛函數(shù)就在基類中定義）。

#include <iostream>
using namespace std;

class Parent {
public:
	//純虛函數(shù)
    virtual void virtualFunc() = 0;
    void helper() {
        virtualFunc();
    }
    virtual ~Parent(){
        helper();
    }
};

class Child : public Parent{
    public:
    void virtualFunc() {
        cout << "Child" << endl;
    }
    virtual ~Child(){}
};


int main() {
    Child child;
	//system("pause");
    return 0;
}

運行時報錯：libc++abi.dylib: Pure virtual function called：

2.2 真題二

在構造實例過程當中一部分是初始化列表一部分是在函數(shù)體內(nèi)，你能說一下這些的順序是什么？差別是什么和this指針構造的順序

順序：

（1）初始化列表中的先初始化。

（2）執(zhí)行函數(shù)體代碼。

• 執(zhí)行類中函數(shù)體，如執(zhí)行構造函數(shù)時，所有成員已經(jīng)初始化完畢了；
• this指針屬于對象，而對象還沒構造完成前，若使用this指針，編譯器會無法識別。在初始化列表中顯然不能使用this指針，注意：在構造函數(shù)體內(nèi)部可以使用this指針。

構造函數(shù)的執(zhí)行可以分成兩個階段：

• 初始化階段：所有類類型的成員都會在初始化階段初始化，即使該成員沒有出現(xiàn)在構造函數(shù)的初始化列表中。
• 計算賦值階段：一般用于執(zhí)行構造函數(shù)體內(nèi)的賦值操作。

#include <iostream>
using namespace std;

class Test1 {
public:
    Test1(){
    	cout << "Construct Test1" << endl;
    }
	//拷貝構造函數(shù)
    Test1& operator = (const Test1& t1) {
    	cout << "Assignment for Test1" << endl;
        this->a = t1.a;
        return *this;
    }
    int a ;
};

class Test2 {
public:
    Test1 test1;
	//Test2的構造函數(shù)
    Test2(Test1 &t1) {
    	cout << "構造函數(shù)體開始" << endl;
        test1 = t1 ;
        cout << "構造函數(shù)體結(jié)束" << endl;
    }
};

int main() {
    Test1 t1;
    Test2 test(t1);
	system("pause");
    return 0;
}

分析上面的結(jié)果：

（1）第一行結(jié)果即Test t1實例化對象時，執(zhí)行Test1的構造函數(shù)；

（2）第二行代碼，實例化Test2對象時，在執(zhí)行Test2構造函數(shù)時，正如上面所說的，構造函數(shù)的第一步是初始化階段：所有類類型的成員都會在初始化階段初始化，即使該成員沒有出現(xiàn)在構造函數(shù)的初始化列表中。所以Test2在構造函數(shù)體執(zhí)行之前已經(jīng)使用了Test1的默認構造函數(shù)初始化好了t1。打印出Construct Test1。

這里的拷貝構造函數(shù)中可以使用this指針，指向當前對象。

（3）第三四五行結(jié)果：執(zhí)行Test2的構造函數(shù)。

2.3 真題三

初始化列表的寫法和順序有沒有什么關系？

構造函數(shù)的初始化列表中的前后位置，不影響實際標量的初始化順序。成員初始化的順序和它們在類中的定義順序一致。

必須使用初始化列表的情況：數(shù)據(jù)成員是const、引用，或者屬于某種未提供默認構造函數(shù)的類類型。

2.4 真題四

在普通的函數(shù)當中調(diào)用虛函數(shù)和在構造函數(shù)當中調(diào)用虛函數(shù)有什么區(qū)別？

普調(diào)函數(shù)當中調(diào)用虛函數(shù)是希望運行時多態(tài)。而在構造函數(shù)當中不應該去調(diào)用虛函數(shù)因為構造函數(shù)當中調(diào)用的就是本類型當中的虛函數(shù)，無法達到運行時多態(tài)的作用。

2.5 真題五

成員變量，虛函數(shù)表指針的位置是怎么排布？

如果一個類帶有虛函數(shù)，那么該類實例對象的內(nèi)存布局如下：

• 首先是一個虛函數(shù)指針，
• 接下來是該類的成員變量，按照成員在類當中聲明的順序排布，整體對象的大小由于內(nèi)存對齊會有空白補齊。
• 其次如果基類沒有虛函數(shù)但是子類含有虛函數(shù)：
  • 此時內(nèi)存子類對象的內(nèi)存排布也是先虛函數(shù)表指針再各個成員。

如果將子類指針轉(zhuǎn)換成基類指針此時編譯器會根據(jù)偏移做轉(zhuǎn)換。在visual studio，x64環(huán)境下測試，下面的Parent p = Child();是父類對象，由子類來實例化對象。

#include <iostream>
using namespace std;

class Parent{
public:
    int a;
    int b;
};

class Child:public Parent{
public:
    virtual void test(){}
    int c;
};

int main() {
    Child c = Child();
    Parent p = Child();
    cout << sizeof(c) << endl;//24
    cout << sizeof(p) << endl;//8

    Child* cc = new Child();
    Parent* pp = cc;
    cout << cc << endl;//0x7fbe98402a50
    cout << pp << endl;//0x7fbe98402a58
	cout << endl << "子類對象abc成員地址：" << endl;
    cout << &(cc->a) << endl;//0x7fbe98402a58
    cout << &(cc->b) << endl;//0x7fbe98402a5c
    cout << &(cc->c) << endl;//0x7fbe98402a60
	system("pause");
    return 0;
}

結(jié)果如下：

24
8
0000013AC9BA4A40
0000013AC9BA4A48

子類對象abc成員地址：
0000013AC9BA4A48
0000013AC9BA4A4C
0000013AC9BA4A50
請按任意鍵繼續(xù). . .

分析上面的結(jié)果：

（1）第一行24為子類對象的大小，首先是虛函數(shù)表指針8B，然后是2個繼承父類的int型數(shù)值，還有1個是該子類本身的int型數(shù)值，最后的4是填充的。

（2）第二行的8為父類對象的大小，該父類對象由子類初始化，含有2個int型成員變量。

（3）子類指針cc指向又new出來的子類對象（第三個），然后父類指針pp指向這個子類對象，這兩個指針的值：

• 父類指針pp值：0000013AC9BA4A48
• 子類指針cc值：0000013AC9BA4A40

即發(fā)現(xiàn)如之前所說的：如果將子類指針轉(zhuǎn)換成基類指針此時編譯器會根據(jù)偏移做轉(zhuǎn)換。我測試環(huán)境是64位，所以指針為8個字節(jié)。轉(zhuǎn)換之后pp和cc相差一個虛表指針的偏移。

（4）&(cc->a)的值即 0000013AC9BA4A48，和pp值是一樣的，注意前面的 0000013AC9BA4A40到0000013AC9BA4A47其實就是子類對象的虛函數(shù)表指針了。

三、小結(jié)

阿里常考的C++的問題集中在以下幾點：

• 虛函數(shù)的實現(xiàn)
• 虛函數(shù)使用出現(xiàn)的問題原因
• 帶有虛函數(shù)的類對象的構造和析構過程
• 對象的內(nèi)存布局
• 虛函數(shù)的缺點：相比普通函數(shù)，虛函數(shù)調(diào)用需要2次跳轉(zhuǎn)（即需要先找到對象的虛函數(shù)表，再查找該表項，即虛函數(shù)指針，即真正的虛函數(shù)地址），會降低CPU緩存的命中率。運行時綁定，編譯器不好優(yōu)化。

總結(jié)

本篇文章就到這里了，希望能夠給你帶來幫助，也希望您能夠多多關注腳本之家的更多內(nèi)容!