Effective C++:条款37:绝不又一次定义继承而来的缺省參数值
因为又一次定义继承而来的non-virtual函数是不对的(见上一个条款),所以这个条款就将问题局限于:绝不又一次定义继承一个带有缺省參数值的virtual函数。
(一)
virtual函数是动态绑定的,而缺省參数却是静态绑定。
对象的所谓静态类型,是它在程序中被声明时所採用的类型。
你可能会在“调用一个定义于derived
class 内的virtual函数”的同一时候,却使用了base
class为它所指定的缺省參数值。
(二)
为什么继承而来的virtual函数的缺省參数值不能被又一次定义呢?
事实上原因也挺简单:缺省參数是静态绑定,而virtual函数是动态绑定. 所谓对象的静态绑定也叫前期绑定,它是说该对象类型和行为在程序编译期间就能够确定,比如:
class Shape{
public:
enum Color{RED,GREEN,BLUE};
virtual void draw(Color color = RED)const = 0;
...
};
class Circle : public Shape{
public:
//哦欧! 居然改变缺省參数值
virtual void draw(Color color = GREEN)const{ ... }
};
class Rectangle : public Shape{
public:
//没用指定參数类型,须要用户去明白的指定其值
//静态绑定下不继承基类的缺省值,若以指针或引用调用则不须要指定缺省值,由于动态绑定
//继承基类的參数缺省值
virtual void draw(Color color)const{ ... }
};
看一下以下几个指针:
Shape* ps;
Shape* pc = new Circle;
Shape* pr = new Rectangle;
这里的ps,pc,pr无论它详细指向的是什么对象,他们的静态类型都是Shape*。而动态类型就是它们真正指向的对象的类型。故pc的动态类型为Circle*,而pr的动态类型为Rectangle*,ps因为没有指向不论什么对象,所以此时没有动态类型。
(三)看以下这个语句!
pc->draw(); //注意调用的是: Circle::draw(RED)
怎么会调用Circle::draw(RED)呢!?为什么不是Circle::draw(GREEN)?
原因:
(1)首先依据其调用语句用指针这一事实,我们就知道了其调用的版本号应该是该指针的动态类型的函数版本号,即Circle::draw,这个问题不大。
(2)以下我们来看它的传值參数,前面我们提到缺省參数值是静态绑定的,而pc的静态类型是Shape*,所以该參数的传入值是Shape的该函数版本号的缺省值。
那为什么C++坚持以这种乖张的方式来运作呢?答案在于执行期效率,假设缺省值也是动态绑定的,那么编译期就必需要有办法在执行期为virtual函数决定适当的參数缺省值.假设这样做的话,就要比眼下实现的"在编译期决定"的机制更慢并且更复杂,考虑到执行速度和实现上的简易性,C++放弃了这种做法。
(四)解决方法!
如今,为了遵循本款约定却同一时候提供缺省參数值给你的基类和父类,,代码就这样了:
class Shape{
public:
enum Color{RED,GREEN,BLUE};
virtual void draw(Color color = RED)const = 0;
...
};
class Circle:public Shape{
public:
virtual void draw(Color color = RED)const {...}
};
明显的是代码反复嘛!何况你要是想改变缺省值的话,必需要同一时候改变基类和子类函数的缺省值,一不小心,就会出现漏改或写错的情况,导致意想不到的错误出现.有没用一种更方便的写法呢?当然,你还记得NVI手法吗?额..,(non-virtual
interface),要是忘记的话,回过头看看条款35,用这样的手法的话,我们写下代码例如以下:
class Shape{
public:
enum Color{RED,GREEN,BLUE};
void draw(Color color = RED) const{
...
doDraw(color);
...
}
...
private:
virtual void doDraw(Color color) const = 0;
};
class Circle:public Shape{
...
private:
virtual void doDraw(Color color){ ... }
};
因为draw是non-virtual而non-virtual绝对不会被又一次改写(条款36),所以color的缺省值总是为RED。
请记住:
(1)绝对不要又一次定义一个继承而来的缺省參数值,由于缺省參数值都是静态绑定,而virtual函数-你唯一应该覆写的东西-却是动态绑定。
Effective C++:条款37:绝不又一次定义继承而来的缺省參数值的更多相关文章
- Effective C++ Item 37 绝不又一次定义继承而来的缺省參数值
本文为senlie原创,转载请保留此地址:http://blog.csdn.net/zhengsenlie 经验:绝对不要又一次而来的缺省參数值.由于缺省參数值都是静态绑定,而 virtual 函数 ...
- effective C++中条款37:绝不又一次定义继承而来的缺省參数值
virtual 函数会动态绑定,而virtual函数的缺省參数值是静态绑定的. 用一个base类型的指针p去指向一个derived类对象.通过p调用虚函数时,会动态绑定到实际所指对象中的函数:用一个d ...
- Effective C++ Item 36 绝不又一次定义继承而来的 non-virtual 函数
本文为senlie原创.转载请保留此地址:http://blog.csdn.net/zhengsenlie 经验:绝对不要又一次定义继承而来的 non-virtual 函数 --> Item 7 ...
- 《effective C++》:条款37——绝不重新定义继承而来的缺省参数值
引子: 阿里的一道题: #include <IOSTREAM> using namespace std; class A{ public: ) { cout<<"a~ ...
- Effective C++ -----条款37:绝不重新定义继承而来的缺省参数值
绝对不要重新定义一个继承而来的缺省参数值,因为缺省参数值都是静态绑定,而virtual函数-----你唯一应该覆写的东西-----却是动态绑定.
- Effective C++ -----条款32:确定你的public继承塑模出is-a关系
“public继承”意味is-a.适用于base classes身上的每一件事情一定也适用于derived classes身上,因为每一个derive class对象也都是一个base class对象 ...
- 条款37:绝不重新定义继承而来的缺省参数值(Never redefine a function's inherited default parameter value)
NOTE: 1.绝不重新定义一个继承而来的缺省参数值,因为缺省参数值都是静态绑定的,而virtual 函数-----你唯一应该覆盖的东西----却是动态绑定的.
- More Effective C++ 条款0,1
More Effective C++ 条款0,1 条款0 关于编译器 不同的编译器支持C++的特性能力不同.有些编译器不支持bool类型,此时可用 enum bool{false, true};枚举类 ...
- [More Effective C++]条款22有关返回值优化的验证结果
(这里的验证结果是针对返回值优化的,其实和条款22本身所说的,考虑以操作符复合形式(op=)取代其独身形式(op),关系不大.书生注) 在[More Effective C++]条款22的最后,在返回 ...
随机推荐
- webservice跨域上传图片
1.上传文件,在一般处理程序中处理 //1.接收post过来的文件 HttpPostedFile file = context.Request.Files[]; || file.ContentLeng ...
- IOS实现UIButton图文混排、自定义按钮按下和正常状态下不同的背景颜色、根据文字长度自定义UIButton长度
在一些项目中,我们需要自定义自己的UIButton,使Button上面同时具有图片和文字描述,实现自定义UIButton的图文混排. 首先我们需要定义一个继承自UIButton的类,同时实现自己的in ...
- ##DAY8 界面通信
##DAY8 界面通信 注意:延展中写的东西只能在类内使用 #pragma mark ———————属性传值—————————— (第一个页面往第二个页面传值) 一.属性传值:(第一个页面往第二个页面 ...
- ExtJs005继承
Ext.onReady(function () { //extend 继承 Ext.define('Person', { config: { name: 'aaa' }, //给当前定义的类加一个构造 ...
- 浅谈Servlet(三)
一.三种作用域 作用域:web开发中用于存储和获得数据. 1.request 一次请求有效,在forward跳转时可用request作用域传递数据. 2.session client不变,sessio ...
- Android应用开发提高篇(4)-----Socket编程(多线程、双向通信)
链接地址:http://www.cnblogs.com/lknlfy/archive/2012/03/04/2379628.html 一.概述 关于Socket编程的基本方法在基础篇里已经讲过,今天把 ...
- 【Java】 实现一个简单文件浏览器(2)
接着上篇文章 接下来说下程序右侧的文件内容表格如何实现 FileTable类: FileTable基础于JTable类,构造函数里用setDefaultRenderer设置每行默认的渲染器为FileT ...
- If We Were a Child Again
Description The Problem The first project for the poor student was to make a calculator that can jus ...
- cocos2dx定时器
cocos2dx三种定时器的使用以及停止schedule,scheduleUpdate,scheduleOnce 首先,什么是定时器呢?或许你有时候会想让某个函数不断的去执行,或许只是执行一次,获取你 ...
- 转: bower 客户端库管理工具
概述 常用操作 库的安装 库的搜索和查看 库的更新和卸载 列出所有库 配置文件.bowerrc 库信息文件bower.json 相关链接 概述 注:bower下载安装依赖库实际上是使用git进行下载. ...