您的位置:首页 > 其它

条款19:设计class犹如设计type

2014-05-29 19:47 211 查看
条款19:设计class犹如设计type
当你定义了一个新的class时,也就定义了一个新的type。身为c++程序员,你有许多时间主要用来扩张你的类型系统。这意味着你并不只是class设计者,还是type设计者。重载函数和操作符,控制内存的分配和归还,定义对象的初始化和终结…全都在你的手上。因此你应该带着和“语言设计者当初设计语言内置类型时”一样的谨慎来研讨class的设计。

几乎每一个class设计都需要面对以下提问。

1、 新type的对象应该如何创建和销毁?
2、 对象的初始化和对象的赋值该有什么样的差别?
这决定了class的构造函数和赋值(assignment)操作符的行为,以及其间的差别,很重要的是不要混淆了初始化和赋值。
3、 新type的对象如果被passed by value(以值传递),意味着什么?
copy的构造函数定义了一个type的pass-by-value该如何实现。
4、 什么是新type的合法值?
对class的成员变量而言,通常只有某些数值集是有效的。那些数值集决定了你的class必须维护的约束条件,也就觉得了你的成员函数(特别是构造函数,赋值操作符以及所谓的seter函数)必须进行的错误检查。
5、 你的新的type需要配合某个继承体系吗?
如果你继承自某些既有的class,你就受到那些class的设计的束缚,特别是他们的函数是virtual或no-virtual的影响。如果允许其他的classes继承你的class,那么你所声明的函数——尤其是析构函数——是否为virtual。
6、 你的新type需要什么样的转换?
如果你希望类型T1之物被隐式转换为T2之物,就必须在T1内些一个类型转换函数operator T2或在T2内部写一个non-explicit-one-argument(可被单一实参调用)的构造函数。如果你只允许explicit构造函数存在,就得写出专门负责转换的函数,且不得为类型转换操作符(type conversion operator)或non-explicit-one-argument构造函数。尽量避免隐式转换。
7、 什么样的操作符和函数对此新的type而言是合理的?
8、 什么样的标准函数应该被驳回?
那些正是你声明为private的函数,比如,构造函数可能会声明为private,也就是不允许进行new操作。
9、 谁该取用type的成员?
这可以决定哪些成员是public,那些成员是protected,那些为private,也可以决定哪些classes和function是friends。
10、 声明式新type的未声明接口?
11、 你的新type有多么的一般化?
或许你其实并不是定义一个新type,而是定义一整个types家族。果真如此你就不应该定义一个新的class,而应该定义一个新的class template。
12、 你真的需要一个新的type吗?
如果只是定义新的derived class以便为既有的class添加新机能,那么说不定单纯定义一个或多个non-members函数或template更能达到目的。
记住
Class设计就是type的设计。在定义一个新的type之前,请确定已经考虑本条款覆盖的所有内容。
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: