本节书摘来自异步社区出版社《Imperfect C++中文版》一书中的第2章，第2.3节，作者： 【美】Martin D.Carroll , Margaret A.Ellis，更多章节内容可以访问云栖社区“异步社区”公众号查看。

2.3 Nice类

C++代码设计与重用
2.3 Nice类
我们都知道类会提供某些函数，这些函数要么是在类的代码中被显式声明为公共的（public）或保护的（protected），要么是由编译器在程序需要这些代码时隐式生成的。例如，下面这个类：

class X{
    public:
         X();
         void f();
    };

它提供了一个缺省构造函数、函数f、一个拷贝构造函数、一个赋值运算符和一个析构函数。而且最后3个函数会在程序需要它们的时候由编译器自动生成。

请考虑下面这个通常有用的函数：

template<class T>
void swap(T& t1, T& t2){
     T t=tl;
     tl=t2;
     t2=t; 
     }

如果x1和x2是某个类X的两个对象，那么我们就可以通过调用swap函数来交换它们的值：

swap(x1, xz);

为了使上面这行代码能够通过编译，类X必须提供一个拷贝构造函数、一个赋值运算符和一个析构函数。

现在让我们再来研究另一个通常有用的类：

template<class T>
    class Array {
    private:
         T* rep;
    public:
         Array(int size) {
              rep = new T[size];
              //...
         }
         int size() const;
         T operator[](int i) const;
         //...
    };

基于上面代码段，如果想创建一个含有20个X对象的Array数组，我们可以这样编写代码：

Array<X>array(20);

为了使上面这行代码可以顺利通过编译，X必须提供一个缺省构造函数—否则Array构造函数中的new调用将会是非法调用。

最后，考虑下面一个通常有用的函数：

template<class T>
    bool linear_search(const Array<T>& a, const T& t) {
         for(i = 0; i<a.size(); ++i)
              if(a[i] ==t)
                   return true;
         return false;
    }

为了在array数组中查找一个值为x的X对象，我们可以编写如下代码：

if(1inear_search(array, x))
         //...

为了使这行代码能顺利通过编译，类X必须提供相等运算符，或者能够转型一个新的类型，而该类型提供了相等运算符。

下列函数的使用范围非常广；以至于，如果一个类提供了下列所有函数，我们就称这个类为nice类：

缺省构造函数；
拷贝构造函数；
赋值运算符；
相等运算符；
析构函数。
非nice类限制了类的使用性，这种限制有时候是很严重的。因此，可重用类应该尽可能地设计成nice类。

本文仅用于学习和交流目的，不代表异步社区观点。非商业转载请注明作译者、出处，并保留本文的原始链接。