复制控制：复制构造函数、赋值操作符、析构函数

复制构造函数（copy constructor)

具有单个形参，该形参是对该类类型的引用（常用const修饰）。

class Foo { public: Foo(); // 默认构造函数 Foo(const Foo&); // 复制构造函数 }

用于：A.根据另一个同类型的对象显式或隐式初始化一个对象。

           B.复制一个对象，将它作为实参传给一个函数。

           C.从函数返回时复制一个对象。

           D.初始化顺序容器中的元素。

           E.根据元素初始化式列表初始化数组元素。

例：

Point global; // 类类型，该类类型有一个复制构造函数 Point foo_bar(Point arg) { Point local = arg; Point *heap = new Point(global); *heap = local; Point pa[4] = { local, *heap }; return *heap; }   

如果没有定义复制构造函数，编译器会为我们合成一个，或者定义了其他构造函数，也会合成复制构造函数。

 

赋值操作符

该类型对象赋值时会发生什么

class Sales_item { public: Sales_item& operator=(const Sales_item &); } Sales_item& Sales_item::operator=(const Sales_item &rhs) { isbn = rhs.isbn; units_sold = rhs.units_sold; return *this; }   

如果类没有定义自己的赋值操作符，则编译器会合成一个。

 

 

析构函数

构造函数可以分配一个缓冲区或打开一个文件，在构造函数中分配了资源之后，需要一个对应操作自动回收或释放资源。析构函数就是这样的一个特殊函数，它可以完成所需的资源回收，作为类构造函数的补充。

 

class Sales_item { public: ~Sales_item() {} }

与复制构造函数或赋值操作符不同，编译器总是会为我们合成一个析构函数。

 

 

 

 

 

 

 

 

 

一个例子：

// 定义 Exmpl类，该类给出复制控制成员和其他构造函数。 // 用不同方式使用Exmpl类型的对象： // 作为非引用形参和引用形参传递，动态分配， // 作为函数返回值，进行赋值操作，作为元素放在vector容器中。 // 研究何时执行哪个构造函数和复制控制成员 #include <vector> #include <iostream> using namespace std; struct Exmpl { // 默认构造函数 Exmpl() { cout << "Exmpl()" << endl; } // 复制构造函数 Exmpl(const Exmpl&) { cout << "Exmpl(const Exmpl&)" << endl; } // 赋值操作符 Exmpl& operator = (const Exmpl &rhe) { cout << "operator = (const Exmpl&)" << endl; return *this; } // 析构函数 ~Exmpl() { cout << "~Exmpl()" << endl; } }; void func1(Exmpl obj) // 形参为Exmpl对象 { } void func2(Exmpl& obj) // 形参为Exmpl对象的引用 { } Exmpl func3() { Exmpl obj; return obj; // 返回Exmpl对象 } int main() { Exmpl eobj; // 调用默认构造函数创建Exmpl对象eobj func1(eobj); // 调用复制构造函数 // 将形参Exmpl对象创建为实参Exmpl对象的的副本 // 函数执行完毕后调用析构函数撤销形参Exmpl对象 func2(eobj); // 形参为Exmpl对象的引用，无需调用复制构造函数传递实参 eobj = func3(); // 调用默认构造函数创建局部Exmpl对象 // 函数返回时调用复制构造函数创建作为返回值副本的Exmpl对象 // 然后调用析构函数撤销局部Exmpl对象 // 然后调用赋值操作符， // 执行完赋值操作后， // 调用析构函数撤销作为返回值副本的Exmpl对象 Exmpl *p = new Exmpl; // 调用默认构造函数动态创建Exmpl对象 std::vector<Exmpl> evec(3); // 调用默认构造函数 // 创建一个临时值Exmpl对象 // 然后3次调用复制构造函数， // 将临时值Exmpl对象复制到 // vector容器evec的每个元素 // 然后调用析构函数撤销临时值Exmpl对象 delete p; // 调用析构函数撤销动态创建的Exmpl对象 getchar(); return 0; // evec及eobj生命期结束，自动调用析构函数撤销 // 撤销evec需要用析构函数3次 }   

 

 

 

 

 

 

 

 

 

 

 

 

输出(各个编译器可能会有不同的规则,以下输出在VC6）

Exmpl()
Exmpl(const Exmpl&)
~Exmpl()
Exmpl()
Exmpl(const Exmpl&)
~Exmpl()
operator = (const Exmpl&)
~Exmpl()
Exmpl()
Exmpl()
Exmpl(const Exmpl&)
Exmpl(const Exmpl&)
Exmpl(const Exmpl&)
~Exmpl()
~Exmpl()
~Exmpl()
~Exmpl()
~Exmpl()
~Exmpl()