《Effective C++ 》学习笔记-第六章 条款37:绝不重新定义继承而来的缺省参数值

 

绝不重新定义继承而来的缺省参数值 Never redefine a function's inherited default parameter value

 

绝对不要重新定义一个继承而来的缺省参数,因为缺省参数都是静态绑定,而virtual函数――你唯一应该覆写的东西――却是动态绑定

 

先考虑以下class继承体系:

class Shape { 
public: 
    enum ShapeColor {Red, Green, Blue}; 
    virtual void draw(ShapeColor color = Red) const = 0; 
}; 
class Rectangle : public Shape { 
public: 
    //赋予不同的缺省参数。这真糟糕! 
    virtual void draw(ShapeColor color = Green) const; 
};

class Circle: public Shape { 
public: 
    virtual void draw(ShapeColor color) const; 
    //以上这么写当客户以对象调用此函数,一定要指定参数值 
    //因为静态绑定下这个函数并不从其base继承缺省参数值 
    //但若以指针(或reference)调用此函数,可以不指定参数值 
    //因为动态绑定下这个函数会从其base继承缺省参数值 
};

 

现在考虑这些指针:

Shape* ps;                            //静态类型是Shape* 
Shape* pc = new Circle;               //静态类型是Shape* 
Shape* pr = new Rectangle;            //静态类型是Shape*

 

本例中ps,pc,pr都被声明为pointer-to-Shape类型,所以它们都是以Shape* 为静态类型。所谓动态类型则是指“目前所指对象的类型”。可以在程序执行过程中改变:

ps = pr;
ps = pc;

virtual 函数系动态绑定而来,意思是调用一个virtual 函数时, 究竟调用哪一份函数实现代码,取决于发出调用的那个对象的动态类型:

pc->draw(Shape::Red) //调用Circle::draw
pr->draw(Shape::Red) //调用Rectangle::draw

 

考虑带有缺省参数的virtual函数时,因为virtual函数是动态绑定的,而缺省参数是静态绑定的。意思是你可能在“调用一个定义于derived class内的virtual函数”的同时,却使用base class 为他所指定的缺省参数值

pr->draw(); //调用Rectangle::draw(Shape::Red)!


 

pr的动态类型是Rectangle*,所以调用的是Rectangle的virtual函数。Rectangle::draw函数的缺省参数应该是Green,但由于pr的静态类型是Shape*,所以调用的缺省参数值来自Shape class而非Rectangle class!即使把指针换成reference,问题仍然存在。为什么c++坚持以这种乖张的方式来运作呢?答案在于运行期效率


如果你遵守这条规则,并且同时提供缺省参数值给base和derived classes的用户,又会发生什么呢?

 

class Shape { 
public: 
    enum {Red, Green, Blue}; 
    virtual void draw(ShapeColor color = Red) const = 0; 
};

class Rectangle : public Shape { 
public: 
    virtual void draw(ShapeColor color = Red) const; 
};


 

糟糕的是:代码重复。更糟的是,又带有相依性;如果Shape内的缺省参数值改变了,所有“重复给定缺省参数值”的那些derived classes也必须改变,否则它们最终导致“重复定义一个继承而来的缺省参数值”。

怎么办?

当你想令virtual函数表现你所想要的行为却遭遇麻烦,聪明的做法是考虑替代设计。条款35。其中之一就是NVI手法:

令base class内的一个public non-virtual函数调用一个private virtual函数,后者可被derived classes重新定义。这里我们可以让non-virtual函数指定缺省参数,而private virtual函数负责真正的工作:

class Shape { 
public: 
    enum {Red, Green, Blue}; 
    void draw(ShapeColor color = Red) const // non-virtual function
    { 
        doDraw(color); // 调用a virtual functin
    } 
private: 
    virtual void doDraw(ShapeColor color) const = 0; // 正真完成的工作在此处
};

class Rectangle : public Shape { 
public: 
private: 
    virtual void doDraw(ShapeColor color) const;//不需指定缺省参数值 
};


由于non-virtual函数应该绝对不被derived classes覆写(条款36),这个设计很清楚的使draw函数的color缺省参数值总为Red。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值