当你定义一个新class,也就定义了一个新type。你应该带着和“语言设计者当初设计语言内置类型时”一样的谨慎来研讨class的设计。
那么,如何设计高效的class?
你可以进行如下提问,而你的回答往往导致你的设计规范:
1.新type的对象应该如何被创建和销毁?
这会影响到你的class的构造函数和析构函数以及内存分配函数和释放函数(operator new,operator new[ ],operator delete和operator delete[ ])的设计。
2.对象的初始化和对象的赋值该有什么样的差别?
这个答案决定你的构造函数和赋值(assignment)操作符的行为,以及其间的差异。
3.新type的对象如果被passed by value(以值传递),意味着什么?
决定copy构造函数用来定义一个type的pass-by-value该如何实现。
4.什么是新type的“合法值”?
对class的成员变量而言,通常只有某些数值集是有效的。那些数值集决定了你的class必须维护的约束条件(invariants),也就决定了你的成员函数(特别是构造函数、赋值操作符和所谓"setter"函数(存值函数))必须进行的错误检查工作。它也影响函数抛出的异常、以及(极少被使用的)函数异常明细列(exception specifications)。
5.你的新type需要配合某个继承图系(inheritance graph)吗?
若你继承自某些既有的class,你就受到那些class的设计的束缚,特别是受到“它们的函数是virtual或non-virtual”的影响。若你允许其他class继承你的class,那会影响你所声明的函数——尤其是析构函数——是否为virtual。
6.你的新type需要什么样的转换?
你的type与其他type之间需要有转换行为吗?若你希望允许类型T1被隐式转换为T2,就必须在class T1内写一个类型转换函数(operator T2)或在class T2内写一个non-explicit-one-argument(可被单一实参调用)的构造函数。若你只允许explicit构造函数存在,就得写出专门负责执行转换的函数,且不得为类型转换操作符(type conversion operators)或non-explicit-one-argument构造函数。
7.什么样的操作符和函数对此新type而言是合理的?
这个问题的答案将决定你的class会声明那些函数。其中哪些该是member函数。
8.什么样的标准函数应该驳回?
那些正是必须声明为private的函数。
9.谁该取用新type的成员?
这个问题可以帮助你决定哪个成员为public,哪个为protected,哪个为private。它也帮助你决定哪一个class和/或function应该是friends,以及将它们嵌套于另一个之内是否合理。
10.什么是新type的“未声明接口”(undeclared interface)?
它对效率、异常安全性以及资源运用(例如多任务锁定和动态内存)提供何种保证?你在这些方面提供的保证将为你的class实现代码加上相应的约束条件。
11.你的新type有多么一般化?
若你并非定义一个新type,而是定义一整个type家族。你就不该定义一个新class,而是应该定义一个新的class template。
12.你真的需要一个新type吗?
若只是定义新的derived class以便为既有的class添加机能,那么说不定单纯定义一或多个non-member函数或template,更能够达到目标。
总结
class的设计就是type的设计。在定义一个新type之前,请确定你已经考虑过本条款覆盖的所有讨论主题。