代碼
#include <string>
#include<stdio.h>
#include<string.h>
#include<iostream>
using namespace std;
class Base{
public:
Base(){}
Base(bool arg)
{
foo();
}
virtual void foo(int i = 42)
{
cout << "Base,i=" << i << endl;
}
};
class Derived:public Base{
public:
Derived(){}
Derived(bool arg) :Base(arg)
{
foo();
}
virtual void foo(int i = 12)
{
cout << "Derived:i=" << i << endl;
}
};
int main()
{
Base*b = new Derived(true);
b->foo();
cin.get();
return 0;
}
問題分析
1.構(gòu)造函數(shù)和析構(gòu)函數(shù)中不能調(diào)用虛函數(shù)
眾所周知议纯，在C++中多態(tài)（基類指針指向子類對象）是通過指針或者引用來實(shí)現(xiàn)的亿昏。在上述代碼中Base*b = new Derived(true);正是C++多態(tài)的體現(xiàn)股冗。
另外單從繼承體系來說夺鲜，對象的構(gòu)造順序是先構(gòu)造父對象再構(gòu)造子對象放案，而析構(gòu)剛好相反姚建。
在這里，父類Base中包含一個(gè)虛函數(shù)吱殉，在調(diào)用該構(gòu)造函數(shù)時(shí)無法表現(xiàn)出多態(tài)特性掸冤。原因如下
（1）在父類構(gòu)造階段子類成員變量是未初始化的厘托，此時(shí)如下降至子類，去調(diào)用尚未初始化的局部變量是一種危險(xiǎn)的行為（未初始化的局部變量值為隨機(jī)值）贩虾，所以C++明確不讓你走這條路催烘。
（2）在父類構(gòu)造階段，只有父類對象缎罢，因此編譯器會將虛函數(shù)解析至父類伊群，此時(shí)若有運(yùn)行時(shí)類型信息如dynaminc_cast或typeid，也會被視為父類類型策精。
析構(gòu)函數(shù)原因類似舰始，子類析構(gòu)完成后，其成員變量都將呈現(xiàn)未定義值的行為咽袜。
需要注意的是：間接調(diào)用虛函數(shù)也是不被允許的丸卷。
2.默認(rèn)參數(shù)是在編譯期確定的
首先需要明確一點(diǎn)：默認(rèn)參數(shù)值是靜態(tài)綁定的，屬于靜態(tài)類型询刹，而虛函數(shù)是動態(tài)綁定的谜嫉，屬于動態(tài)類型。靜態(tài)類型是指聲明時(shí)所采用的的類型凹联；
而動態(tài)類型是在運(yùn)行期所指對象的類型沐兰。
如Base*b = new Derived(true);所示，b的靜態(tài)類型為Base*蔽挠，而動態(tài)類型為Derived*住闯。因此在調(diào)用b->foo()時(shí)，會輸出42（父類函數(shù)中的默認(rèn)參數(shù)）因?yàn)樗伸o態(tài)類型決定澳淑。
原因如下：
出現(xiàn)這種方式比原，主要原因是運(yùn)行期效率。如果缺省參數(shù)值是動態(tài)綁定的杠巡，編譯器就必須有某種方法在運(yùn)行期為虛函數(shù)決定適當(dāng)?shù)膮?shù)默認(rèn)值量窘。這比目前實(shí)行的“”編譯期決定”的機(jī)制更慢，而且更復(fù)雜氢拥。因此為了程序執(zhí)行速度和編譯器實(shí)現(xiàn)的簡易度蚌铜，C++做了這樣的取舍。
