本文主要是介绍条款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手法。
这篇关于条款37:绝不重新定义继承而来的缺省参数的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!