条款37：绝不重新定义继承而来的缺省参数

先上代码：

class Base
{
public:
virtual int getVal(int i = 0)
{
cout<<"基类函数"<<endl;
return i;
}
};

class Derived:public Base
{
public:
int getVal(int i = 1)
{
cout<<"派生类函数"<<endl;
return i;
}
};

int main()
{
Base* pb = &d;
cout<<pb->getVal()<<endl;
return 0;
}

 

有没有觉得很奇怪，根据动态绑定的原则，这里的确调用的是派生类的getVal函数，可是为什么会输出0呢？如果把这里的指针换成引用，也会得出相同的结果。原因出在：virtual函数是动态绑定的，但是函数的默认参数却是静态绑定的！所以当编译器看到pb是Base*这个类型时，在调用函数时，就会选择基类的默认参数。

这是多么容易出错的一件事啊！调用派生类的函数，但是他的参数的默认值却是基类提供的。但编译器也有自己的苦衷：运行期效率。

那么我们似乎应该将派生类的默认参数改成与基类相同，但是这又带来其他的问题，其中最严重的是：如果基类的默认参数需要修改，那你不得不修改所有派生类的默认参数！

一种比较好的替代方案是前面介绍的NVI手法：

class Base
{
public:
int getVal(int i = 0)
{
doGetVal(i);
return i;
}
private:
virtual int doGetVal(int i)
{
cout<<"基类函数"<<endl;
return i;
}
};

class Derived:public Base
{
private:
virtual int doGetVal(int i)
{
cout<<"派生类函数"<<endl;
return i;
}
};

此时，基类和派生类就使用了共同的默认参数了。

总之，virtual函数是动态绑定，但是函数的默认参数是静态绑定的。所以绝不要重新定义派生类的函数的默认参数值，而且最好使用NVI手法。