读书笔记_Effective_C++_条款三十七:绝不重新定义继承而来的缺省参数值
2014-03-13 23:51
375 查看
先看下面的例子:
问号所在处的输出是什么?
要回答这个问题,需要回顾一下虚函数的知识,如果父类中存在有虚函数,那么编译器便会为之生成虚表与虚指针,在程序运行时,根据虚指针的指向,来决定调用哪个虚函数,这称之与动态绑定,与之相对的是静态绑定,静态绑定在编译期就决定了。
实现动态绑定的代价是比较大的,所以编译器在函数参数这部分,并没有采用动态绑定的方式,也就是说,默认的形参是静态绑定的,它是编译期就决定下来了。
我们看下这两行代码,分析一下:
sr的静态类型是Shape*,动态类型才是Rectangle*,类似地,st的静态类型是Shape*,动态类型是Triangle*。这里没有带参数,所以使用的是默认的形参,即为静态的Shape::Draw()里面的缺省值RED,所以两个问题所在处的输出值都是0。
正因为编译器并没有对形参采用动态绑定,所以如果对继承而来的虚函数使用不同的缺省值,将会给读者带来极大的困惑,试想一下下面两行代码:
如果一定要为虚函数采用默认值,那么只要在父类中设定就可以了,可以借用条款35所说的NVI方法,像下面这样:
因为前面条款已经约定non-virtual函数不会被覆写,所以这样就不用担心在子类中出现定义不同缺省形参值的问题了。
最后总结一下:
绝对不要重新定义一个继承而来的缺省参数值,因为缺省参数值都是静态绑定,而virtual函数——你唯一应该覆写的东西——却是动态绑定。
enum MyColor { RED, GREEN, BLUE, }; class Shape { public: void virtual Draw(MyColor color = RED) const = 0; }; 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 = 0 { 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++_条款三十六:绝不重新定义继承而来的non-virtual函数
- 《Effective C++ 》学习笔记-第六章 条款37:绝不重新定义继承而来的缺省参数值
- Effective C++条款 37:绝不重新定义继承而来的缺省参数值
- 面试题:一个短小强悍的C++面试题---违背Effective C++的条款37:绝不重新定义继承而来的缺省参数值
- Effective C++条款 37:绝不重新定义继承而来的缺省参数值
- Effective C++条款37:绝不重新定义继承而来的缺省参数值
- [effectiv c++]条款37:绝不重新定义继承而来的缺省参数值(动态绑定,静态绑定,多态性)
- 读书笔记《Effective C++》条款37:绝不重新定义继承而来的缺省参数值
- 面试题:一个短小强悍的C++面试题---违背Effective C++的条款37:绝不重新定义继承而来的缺省参数值
- Effective C++ Item 37 绝不重新定义继承而来的缺省参数值
- 条款37:绝不重新定义继承而来的缺省参数值(Never redefine a function's inherited default parameter value)
- C++之绝不重新定义继承而来的缺省参数值(37)---《Effective C++》
- 读书笔记 effective c++ Item 37 永远不要重新定义继承而来的函数默认参数值
- effective C++ 条款 37:绝不重新定义继承而来的缺省参数值
- 读书笔记《Effective C++》条款36:绝不重新定义继承而来的non-virtual函数
- 条款36、绝不重新定义继承而来的缺省参数值
- 条款37:绝不重新定义继承而来的缺省参数值
- 条款37:绝不重新定义继承而来的缺省参数值
- C++ 绝不重新定义继承而来的缺省参数值
- 《effective C++》:条款37——绝不重新定义继承而来的缺省参数值