[Effective C++ --019]设计class犹如设计type

前言

我们在编写程序的时候，无论哪一种语言，总是会告诉你这种语言应该有的类型。我们将它们直接拿来使用，可是从来没有考虑过这些类到底是怎么设计出来的！

所幸的是：在OOP中，每当我们定义一个新的class，也就相当于定义了一个新type。

那么，一个好的type是怎样设计出来的呢？我们需要考虑哪些事情呢？

1，新type的对象应该如何创建和销毁？

包括构造和析构函数，内存分配和释放函数（operator new， operator delete，operator new[], operator delete[]）等。

2，对象的初始化和对象的赋值有什么样的区别？

构造函数和赋值操作符的行为以及其间的差异。

3，新type的对象如果被pass-by-value（以值传递），意味着什么？

copy构造函数用来定义一个type的pass-by-value该如何实现。

4，什么是新type的合法值？

对class的成员变量而言，通常只有某些值是有效的。决定了你的成员函数（特别是构造函数、赋值操作符和所谓的setter函数）必须进行错误检查工作。

它也影响函数抛出的异常以及函数异常明细列(exception specifications)

5，你的新type需要继承某个继承图系吗？

如果继承某些既有的class，你就受那些class的设计的束缚，特别是它们的函数是virtual或non-virtual的影响。如果你允许其他class继承你的class，那会影响你所声明的函数（尤其是析构函数）是否为virtual。

6，你的新的type需要什么样的转换？

如果希望允许类型T1被隐式转换为类型T2， 就必须在class T1内写一个类型转换函数（operator T2）或在class T2中写一个non-explicit-one-argument(可被单一实参调用)的构造函数。或者一个专门执行显示转化的函数。

7，什么样的操作符和函数对此新type而言是合理的？

class该声明哪些函数。

8，什么样的标准函数应该驳回？

那些正是你应该声明为private的。如不希望拷贝构造函数

9，谁该取用新type的成员？

决定哪个成员为public， protected， private，决定哪些classes和/或functions应该是friends。

10，什么是新type的“未声明接口”？

对效率、异常安全性、以及资源运用提供何种保证？这些保证将为你的代码加上相应的约束条件。

11，你的新type有多么一般化？

是不是一整个types家族，决定是不是要定义一个class template而非class。

12，你真需要一个type吗？

如果只是定义新的derived class以便为既有的class添加机能， 那么说不定单纯定义一个或多个non-member函数或templates，更能达到目标。