Class
的设计就是type
的设计。在定义一个新type
之前,请确定你已经考虑过本条款覆盖的所有讨论主题。
因此,如何设计高效的classes
,必须考虑以下问题:
-
新
type
的对象应该如何被创建和销毁?
这会影响到你的class
的构造函数和析构函数以及内存分配函数和释放函数的设计。(可参考第8章条款49-52) -
对象的初始化和对象的赋值该有什么样的差别?
这决定你的构造函数和赋值操作符的行为以及其间的差距。别混淆了初始化和赋值,因为它们对应于不同的函数调用。(可参考条款4) -
新
type
的对象如果被以值传递,意味着什么?
记住,copy构造函数用来定义一个type
的pass-by-value该如何实现。 -
什么是新
type
的“合法值”?
对class的成员变量而言,通常只有某些数值集是有效的。那些数值决定了你的class
必须要维护的约束条件,即你的成员函数(特别是构造函数、赋值操作符和setter函数)必须进行的错误检查。它也影响了函数抛出的异常以及函数异常明细列。 -
你的新
type
需要配合某个继承图系吗?
如果你允许其他classes
继承你的class
,那会影响你所声明的函数,尤其是析构函数是否是virtual。(可参考条款7) -
你的新
type
需要什么样的转换?
如果你只允许explicit构造函数存在,就得写出专门负责执行转换的函数,且不得为类型转换操作符或non-explicit-argument构造函数。(可参考条款15) -
什么样的操作符和函数对此新的
type
而言是合理的?
这个问题答案决定你将为你的class
声明哪些函数。其中某些该是成员函数,某些则否。(可参考条款23/24/46) -
什么样的标准函数应该驳回?
那些正是你必须声明为private
的。(可参考条款6) -
谁该取用新
type
的成员?
这可帮你决定哪个成员为public
,protected
,private
,哪个classes
或function
应该是friends
,以及将他们嵌套于另一个之内是否合理。 -
什么是新
type
的“未声明接口”?
它对异常安全性,效率以及资源运用提供何种保障?你在这方面提供的保证将为你的class
实现代码加上相应的约束条件。(可参考条款29) -
你的新
type
有多么一般化?
或许你并非定义一个新的type
,而是定义一整个types
家族,所有你该定义一个新的class template
。说不定单纯定义一个或多个non-member
函数或templates
,更能达到目标。 -
你真的需要一个新type吗?
如果只是定义新的derived class 以便为既有的
class
添加机能,那么说不定单纯定义一或多个non-member函数或templates,更能够达到目标。