几乎每一个你自己写的类都会有一个或多个构造函数，一个析构函数和一个拷贝赋值运算符。不要惊奇，那是些就像你的面包黄油一样的函数，他们控制着基本的操作，如创建一个新的对象并确保已被初始化，消除一个函数并确保它被完全清除，以及为对象赋予一个新值。这些函数中出现错误，将引起你的类出现影响深远的，而且令人不快的反弹，所以保证他们正确是生死攸关的事情。本章中，我将对如何组装这些函数以成为一个好的类的中枢骨干提供一些指导。

　　什么时候一个空的类将变得不空？答案是当 C++ 得到了它。如果你自己不声明一个拷贝构造函数，一个拷贝赋值运算符和一个析构函数，编译器就会为这些东西声明一个它自己的版本。而且，如果你自己连一个构造函数都没有声明，编译器就会为你声明一个缺省构造函数。所有这些函数都被声明为 public 和 inline（参见 Item 30）。作为结果，如果你写

class Empty{};

　　在本质上和你如下写是一样的：

class Empty {
　public:
　　Empty() { ... } // default constructor
　　Empty(const Empty& rhs) { ... } // copy constructor
　　~Empty() { ... } // destructor - see below
　　// for whether it’s virtual
　　Empty& operator=(const Empty& rhs) { ... } // copy assignment operator
};

　　这些函数只有在它们被需要的时候才会生成，但是并不需要做太多的事情，就会用到它们。下面的代码会促使每一个函数生成：

Empty e1; // default constructor;
// destructor

Empty e2(e1); // copy constructor

e2 = e1; // copy assignment operator

　　假设编译器为你写成了这些函数，那么它们做些什么呢？缺省构造函数和析构函数主要是给编译器一个地方放置“幕后的”诸如调用基类和 non-static 数据成员的构造函数和析构函数的代码。注意，生成的析构函数是非虚拟（non-virtual）的，除非它从一个基类继承而来，而基类声明了一个虚析构函数（这种情况下，函数的虚拟性来自基类）。

　　编译器版本的拷贝构造函数和拷贝赋值运算符，只是简单地从原对象拷贝每一个 non-static 数据成员到目标对象。例如，考虑一个将名字和类型为 T 的对象联系起来的 NamedObject 模板：

template<typename T>
class NamedObject {
　public:
　　NamedObject(const char *name, const T& value);
　　NamedObject(const std::string& name, const T& value);
　　..
　private:
　　std::string nameValue;
　　T objectValue;
};

　　因为 NamedObject 中声明了构造函数，编译器就不会再生成缺省构造函数。这一点非常重要，它意味着如果你足够谨慎地设计你的类，使它需要构造函数参数，你就不必顾虑编译器会不顾你的决定，轻率地增加一个不需要参数的构造函数。

　　NamedObject 既没有声明拷贝构造函数也没有声明拷贝赋值运算符，所以编译器将生成这些函数（当然是在需要的时候）。看，这就是拷贝构造函数的用法：

NamedObject<int> no1("Smallest Prime Number", 2);
NamedObject<int> no2(no1); // calls copy constructor

 1/2    1 2 下一页 尾页