看條款38 的時候不是很理解, 于是寫了個測試代碼
#include<iostream>
using namespace std;
class A{
public:
virtual void show(int a=145)
{
cout<<"A: a="<<a<<endl;
}
};
class B: public A
{
public:
void show(int b)
{
cout<<"B: b="<<b<<endl;
}
};
class C: public B
{
public:
void show(int c=999)
{
cout<<"C: c="<<c<<endl;
}
};
class D: public C
{
public:
void show()
{
cout<<"D:\n";
}
};
void main()
{
A *pp;
A a;
B b;
C c;
D d;
a.show();
pp = &a; pp->show();
// b.show(); // error C2660: 'B::show' : function does not take 0 arguments
pp = &b; pp->show();
c.show();
pp = &c; pp->show();
d.show();
pp = &d; pp->show();
C *pc= &d;
pc->show();
system("pause");
}
輸出結果是
A: a=145
A: a=145
B: b=145
C: c=999
C: c=145
D:
C: c=145
C: c=999
回顧條款
虛函數是動態綁定而缺省參數值是靜態綁定的. 為什么C++堅持這種有違常規的做法呢？答案和運行效率有關。如果缺省參數值被動態綁定，編譯器就必須想辦法為虛函數在運行時確定合適的缺省值，這將比現在采用的在編譯階段確定缺省值的機制更慢更復雜。做出這種選擇是想求得速度上的提高和實現上的簡便，所以大家現在才能感受得到程序運行的高效；
所以
a. 靜態綁定 .vs. 動態綁定
A *pp
= new B;
這里 pp 靜態綁定是 A* , 而動態綁定卻是 B*
B *pb = new B;
這里 pb 靜態綁定和動態綁定是一樣的都是 B*
b. 缺省值是靜態綁定的, 而非動態綁定
所以
d.show() 輸出 D: 因為show 被 D override
pp
= &d; pp->show();
pp 被動態綁定到D *, 但是show 的缺省值卻是A* 的 145, 所以輸出的是 C: c=145, 而不是999 ( 函數 show 被C 給override 了)
而 C *pc = &d; pc->show() , pc 靜態綁定為C*, 而動態綁定為 D* , 所以輸出的是 C: c=999 , 999 是 C* 靜態綁定的缺省值
c. 所以調用b.show 的時候出現了如下的錯誤
// b.show(); // error C2660: 'B::show' : function does not take 0 arguments
因為 B* 沒有靜態綁定的函數
結論就是
決不要重新定義繼承而來的缺省參數值
ref:
從這里學了不少:)
http://bbs.chinaunix.net/viewthread.php?tid=439188