读书笔记_Effective_C++_条款三十七：绝不重新定义继承而来的缺省参数值

先看下面的例子：

 enum MyColor

 {

     RED,

     GREEN,

     BLUE,

 };

 class Shape

 {

 public:

     void virtual Draw(MyColor color = RED) const = ;

 };

 class Rectangle: public Shape

 {

 public:

     void Draw(MyColor color = GREEN) const

     {

         cout << "default color = " << color << endl;

     }

 };

 class Triangle : public Shape

 {

 public:

     void Draw(MyColor color = BLUE) const

     {

         cout << "default color = " << color << endl;

     }

 };

 int main()

 {

     Shape *sr = new Rectangle();

     Shape *st = new Triangle();

     cout << "sr->Draw() = "; // ？

     sr->Draw();

     cout << "st->Draw() = "; // ？

     st->Draw();

     delete sr;

     delete st;

 }

问号所在处的输出是什么？

要回答这个问题，需要回顾一下虚函数的知识，如果父类中存在有虚函数，那么编译器便会为之生成虚表与虚指针，在程序运行时，根据虚指针的指向，来决定调用哪个虚函数，这称之与动态绑定，与之相对的是静态绑定，静态绑定在编译期就决定了。

实现动态绑定的代价是比较大的，所以编译器在函数参数这部分，并没有采用动态绑定的方式，也就是说，默认的形参是静态绑定的，它是编译期就决定下来了。

我们看下这两行代码，分析一下：

 Shape *sr = new Rectangle();

 Shape *st = new Triangle();

sr的静态类型是Shape*，动态类型才是Rectangle*，类似地，st的静态类型是Shape*，动态类型是Triangle*。这里没有带参数，所以使用的是默认的形参，即为静态的Shape::Draw()里面的缺省值RED，所以两个问题所在处的输出值都是0。

正因为编译器并没有对形参采用动态绑定，所以如果对继承而来的虚函数使用不同的缺省值，将会给读者带来极大的困惑，试想一下下面两行代码：

 Shape *sr = new Rectangle(); // 默认值是RED

 Rectangle *rr = new Rectangle(); // 默认值是GREEN

如果一定要为虚函数采用默认值，那么只要在父类中设定就可以了，可以借用条款35所说的NVI方法，像下面这样：

 class Shape

 {

 public:

     void DrawShape(MyColor color = RED)

     {

         Draw(color);

     }

 private:

     virtual void Draw(MyColor color) const =

     {

         cout << "Shape::Draw" << endl;

     }

 };

 class Rectangle: public Shape

 {

 private:

     void Draw(MyColor color) const

     {

         cout << "Rectangle::Draw" << endl;

     }

 };

 class Triangle : public Shape

 {

 private:

     void Draw(MyColor color) const

     {

         cout << "Triangle::Draw" << endl;

     }

 };

 int main()

 {

     Shape *sr = new Rectangle();

     Shape *st = new Triangle();

     cout << "sr->DrawRectangle() = "; // Rectangle::Draw

     sr->DrawShape();

     cout << "st->DrawTriangle() = "; // Triangle::Draw

     st->DrawShape();

     delete sr;

     delete st;

 }

因为前面条款已经约定non-virtual函数不会被覆写，所以这样就不用担心在子类中出现定义不同缺省形参值的问题了。

最后总结一下：

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

巴特西

读书笔记_Effective_C++_条款三十七：绝不重新定义继承而来的缺省参数值

最新文章

热门文章