前言
我们在编写程序的时候，无论哪一种语言，总是会告诉你这种语言应该有的类型。我们将它们直接拿来使用，可是从来没有考虑过这些类到底是怎么设计出来的！
所幸的是：在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，更能达到目标。