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

结论1：Class的设计就是type的设计。

在定义一个新type之前，请考虑如下问题：

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

这会影响到class的构造函数和析构函数以及内存分配函数和释放函数（operator new，operator new[]，operator delete和operator delete[]）的设计。

2、对象的初始化和对象的赋值该有什么样的差别？

这决定构造函数和赋值操作符的行为，以及其间的差异。重要的是别混淆了“初始化”和"赋值“,因为它们对应于不同的函数调用。

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

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

4、什么是新type的”合法值“？

对class的成员变量而言，通常只有某些数值集是有效的。那些数值集决定了class必须维护的约束条件，也就决定了成员函数（特别是构造函数、赋值操作符和所谓的”setter"函数）必须进行的错误检查工作。它也影响函数抛出的异常，以及函数异常明细列（exception specifications)。

5、新的type需要配合某个继承图系吗？

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

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

如果希望允许类型T1被隐式转换为类型T2，就必须在class T1内写一个类型转换函数（operator T2) 或在class T2 内写一个non-explicit-one-argument（可被单一实参调用）的构造函数。如果只允许explicit构造函数存在，就得写出专门负责执行转换的函数，且不得为类型转换操作符或non-explicit-one-argument构造函数。

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，更能够达到目标。