Effective C++(19) 设计class犹如设计type

问题聚焦:
    这一节不涉及代码,但是我们需要明确的一点是,思想比代码要重要得多。
    设计优秀的classes是一项艰巨的工作,就像设计好的types一样。
    我们应该带着和“语言设计者当初设计语言内置类型时”一样的谨慎来研讨class的设计。



那么,如何设计高效的classes呢?

下面几乎每一个针对class设计的提问,往往就是你所需要遵守的设计规范。

1 新type的对象应该如何被创建和销毁?
    这会影响到你的class的构造函数和析构函数以及内存分配函数和释放函数的设计。

2 对象的初始化和对象的赋值该有什么样的差别?
    这个答案决定你的构造函数和赋值操作符的行为,以及其间的差异。
    很重要的一点:别混淆了“初始化”和“赋值”,因为它们对应于不同的函数调用。

3 新type的对象如果被passed by value,意味着什么?
    记住,拷贝构造函数用来定义一个type的pass-by-value该如何实现。

4 什么是新type的合法值?
    对class的成员变量而言,通常只有某些值集是有效的。
    那些值集决定了你的class:
  •     必须维护的约束条件
  •     决定了你的成员函数必须进行的错误检查工作
  •     影响函数抛出的异常
  •     函数异常明细列表
5 你的新type需要配合某个继承图系吗?
    如果你继承自某些既有的classes,你就受那些classes的设计的束缚,特别是受到它们的函数是virtual或non-virtual的影响。
    如果你允许其他classes继承你的class,那会影响你所声明的函数,尤其是析构函数。

6 你的新type需要什么样的转换?
    你的type生存于其他一堆types之间,因此彼此该有转换行为吗?
    如果你希望允许类型T1被隐式转换为类型T2,就必须在class T1内写一个类型转换函数或在class T2内写一个non-explicit-one-arument的构造函数。

7 什么样的操作符和函数对此新type而言是合理的?
    这个问题的答案决定你将为你的class声明哪些函数。其中某些该是member函数,某些则不是。

8 什么样的标准函数应该被驳回?
    那些正是你必须声明为private的函数。

9 谁该取用新type的成员?
    这个提问可以帮你你决定哪个成员为public,哪个为protected,哪个为private。
    它也帮助你决定哪一个classes和/或functions应该是friends,以及将它们嵌套于另一个之内是否合理。

10 什么是新type的“未声明接口”?
    它对效率,异常安全性以及资源运用提供何种保证?
    你在这些方面提供的保证将成为你的class实现代码加上相应的约束条件。

11 你的新type有多么一般化?
    或许你其实并非定义一个新type,而是定义个整个types家族。果真如此,你就不应该定义一个新class,而是应该定义一个新的class template。

12 你真的需要一个新type吗?
    如果只是定义新的derived class 以便为既有的class 加机能, 那么说不定单纯定义一或多个non-member函数或templates,更能打到目标。


这些问题不容易回答,所以定义出高效的classes是一种挑战。


小结:
class 的设计就是type的设计。
在定义一个新type或class之前,请认真考虑本节的12个问题。


参考资料:
《Effective C++ 3rd》

 

posted @ 2014-02-11 09:44  suzhou  阅读(303)  评论(0编辑  收藏  举报