Effective C++ 37绝不重新定义继承而来的缺省参数值
记得之前有同事吐槽过Java中居然没有缺省参数这个东西,想要达到缺省参数的目的只能靠蹩脚的函数重载。但今天发现了C++中缺省参数的坑。
C++中的virtual函数是动态绑定的,而缺省值却是静态绑定的。
举例来说:
class Shape{
public:
virturl void draw(Color c = red ) const = 0;
};
class Circle : public Shape{
public:
virturl void draw(Color c = green ) const;
};
Shape* ps;
Shape* pc = new Circle;
pc的静态类型是Sharp,而动态类型为Circle.
由于动态绑定技术,pc 可以通过虚表找到自己的虚函数,而c++因效率原因而让缺省值静态绑定,所以当pc调用draw时的默认参数是red,这一定是一个非常难以发现的BUG
如果让他们都有相同的默认参数,则又代码重复,比较好的解决方式是:
class Shape{
public:
void draw(Color c = red ) const{
ondraw(c);
}
private:
virtual void ondraw(Color c) const = 0;
};
class Circle : public Shape{
private:
virtual void ondraw(Color c) const;
};
所以,我们唯一应该覆写的东西是virtual函数,所以应该把静态绑定的东西(缺省参数)定义在non-virtual函数中。