类设计者的核查表----c++沉思录笔记

类的设计时需要弄清楚一些问题，这些问题没有确切的答案，关键是要思考他们，并确认你所作的事情是处于有意识的决定。

主要从类的构造函数、析构函数、复制构造函数和赋值操作符、数据成员及const修饰成员函数等五个方面来考虑。

1、类的构造函数

      类的构造函数主要从是否需要构造函数、是否需要无参的构造函数、是不是每个构造函数初始化所有的数据成员3个方面来核查。

       （1）、是否需要类的构造函数：有些类太简单，它们的结构就是它们的接口，所以不需要构造函数。构造函数是用来隐藏足够负责类的内部工作方式。

       （2）、是否需要无参构造函数：如果类有了构造函数，你想声明该类的对象可以不必显式的初始化它们，则必须显式的写一个无参构造函数。

                       X x;  X x[100];

       （3）、是不是每个构造函数初始化所有的数据成员：构造函数的用途是用一种明确的状态来设置对象。对象的状态由对象的数据成员进行反映。因此每个构造函数都要负责

                   为所有的数据成员设置经过明确定义的值，如果没有，可能导致错误；当然，有时，类会有一些数据成员，它们只在它们的对象存在了一定时间之后才有意义。思考

                  这 点能促进你对自己设计类的了解。

2、类的析构函数

    类的析构函数主要考虑是否需要析构函数、析构函数是虚的吗。

      （1）、是否需要析构函数：问一问该类是否分配了资源，而这些资源又会不会由成员函数自动释放，特别是哪些构造函数里包含了new表达式的类，通常要在析构函数中加上相应的delete表达式，所以需要一个析构函数。

      （2）、类的析构函数是虚的吗：有些类需要虚析构函数只是为了声明它们的析构函数是虚的，决不会用作基类的类是不需要虚析构函数的。任何虚函数只有在继承的情况下才有用。在继承情况下，用基类的指针指向继承类的对象，对这个指针进行delete时，你就需要给基类加上虚析构函数。虚析构函数通常是空的。

3、类的复制构造函数和赋值操作符

    类的复制构造函数和赋值操作符经常放在一起考虑，因为它们实现的功能很相似，复制构造函数在类的对象声明时并初始化调用，赋值操作符在类的对象声明后进行赋值调用。

主要考虑是否需要复制构造函数和赋值操作符、赋值操作符能正确的将对象赋值给对象本身吗、复制构造函数和赋值操作符的参数类型中加上const了吗。

      （1）、类是否需要复制构造函数和赋值操作符：关键在于复制该类的对象是否相当于复制其数据成员和基类对象，如果并不相当，就需要复制构造函数。如果你的类在构造

函数分配了资源，则可能需要一个显式的复制构造函数来管理资源。有析构函数(除了空的虚析构函数)的类通常用析构函数来释放构造函数分配的资源，这也通常说明需要一个复制构造函数。如果需要复制构造函数，同理多半也会需要赋值操作符。如果不想用户能够复制类的对象，就声明类的复制构造函数和赋值操作符为私有的。

      （2）、赋值操作符能正确的将对象赋值给对象本身吗：赋值总是用新值取代目标对象的旧值。我们奉行的是“先释放旧值，再复制”的行事规程，那么就可能在还没有实施复制之前就把原对象销毁了。

      （3）、复制构造函数和赋值操作符的参数类型上加上了const了吗：毕竟复制对象不会改变原对象，实际上，由于绑定一个非const引用到一个临时对象是非法的，使用非const引用参数的复制构造函数不会允许复制特殊表达式的结果，同理适用于赋值操作符。

4、类的数据成员

    类的数据成员最初级的考虑是是否是私有的。就是考虑封装。

5、其他

    这些考虑的内容比较杂，无法用const修饰成员函数来概括。它有四个点：类是否需要定义关系操作符、删除数组是否用delete[]、成员函数有引用参数，是否应该是const引用、是否需要声明成员函数为const。

      （1）、类是否需要定义关系操作符：C++支持模板，通用库中包含容器类，有些容器依赖于它们所包含的元素类型的操作。通常要求容器能够判断两个值是否相等，还常常需要容器具有判断一个值是否大于或者小于另一个值的能力。即使不希望用户直接使用操作符，也可能需要这些关系操作符，只要它们想创建你的类型的有序集合，你就必须提供关系操作符。

      （2）、删除数组是否用delete[]。

      （3）、成员函数有引用参数，是否应该是const引用：只有当函数想改变参数时，它才应该有不用const声明的引用参数。考虑x+y的结果不是左值，不能绑定一个非const引用到自身，所以类似x+y+z的表达式就变得不可能了。

      （4）、是否声明成员函数为const：如果确信一个成员函数不用修改它的对象，就可以声明它为const，这样就把它用于const对象了。