条款37:绝不重新定义继承而来的缺省参数值 ——<<Effective C++>>
先看下面一段代码,思考输出结果
#include <iostream>
using namespace std;
class A{
public:
virtual ~A(){
}
virtual void f(int a=999){
cout<<a<<endl;
cout<<555;
}
};
class B:public A{
public:
virtual ~B(){
}
virtual void f(int a=666){
cout<<a<<endl;
cout<<888;
}
};
int main(void){
A* p=new B;
p->f();
delete p;
return 0;
}
输出结果为999
888;
执行p->f()过程中,我们先找到基类A的f()函数,发现f()为虚函数,采用动态编联,接着执行B中f()函数,输出a的值999,输出888;
为什么a值为999呢,因为在C++中,缺省参数值是静态绑定,virtual是动态绑定,也就是说,在编译期,a的缺省值就已经被确认为了999,很难相信。
为什么C++要将缺省参数值定为静态编联呢,答案在于运行期效率。如果动态绑定,那么编译器就必须有某种办法在运行期为virtual函数决定缺省值,这更慢且更复杂。