繼承後的建構函式與解構函式


若您繼承了某個類別之後,當您在生成衍生類別的物件時若不指定參數,無參數的預設建構子會被執行,而基礎類別的無參數預設建構子也會被執行,所以基於這種 特性,通常預設建構子中會撰寫一些通用的成員狀態初始,例如設定一些預設值。

如果繼承之後,您要使用衍生類別生成物件,在生成物件時指定參數,並同時執行基底類別中的某個參數建構子,您可以使用 : 運算子,例如:
// Point2D類別
class Point2D {
public:
    Point2D() {
        _x = 0;
        _y = 0;
    }
    Point2D(int x, int y) : _x(x), _y(y) {
    }
 
private:
    int _x;
    int _y;
};

// Point3D類別
class Point3D : public Point2D { // 繼承Point2D類別
public:
    Point3D() {
        _z = 0;
    }

    // 建構函式,同時指定呼叫父類別建構函式
    Point3D(int x, int y, int z) : Point2D(x, y), _z(z) {
    }

private:
    int _z;  // 新增私用資料
};


如果您使用衍生類別生成物件,則建構函式的執行順序會從基底類別的建構函式開始執行起,這是可以理解的,因為基底類別是衍生類別的基礎,一些基礎的參數或 初始狀態必須先完成,再來再完成衍生類別中的建構函式。

而在物件被消滅時,解構函式的執行順序則正好相反,是從衍生類別的解構函式開始執行,再來才是基礎類別的建構函式,因為若基底類別的解構函式如果先執行, 則衍生類別相依於基底類別的一些狀態也會被解構(例如指標),則此時再行衍生類別的解構函式,將存在著相依問題而造成錯誤。

下面這個簡單的程式可以告訴您建構函式與解構函式,在繼承之後的執行順序:

#include <iostream> 
using namespace std;

class Foo1 {
public:
Foo1() {
cout << "Foo1建構函式" << endl;
}

~Foo1() {
cout << "Foo1解構函式" << endl;
}
};

class Foo2 : public Foo1 {
public:
Foo2() {
cout << "Foo2建構函式" << endl;
}

~Foo2() {
cout << "Foo2解構函式" << endl;
}
};

int main() {
Foo2 f;

cout << endl;

return 0;
}

執行結果:

Foo1建構函式
Foo2建構函式

Foo2解構函式
Foo1解構函式