标签：
通过一个实例稍微深入理解C++复制控制过程，参考资料《C++ primer》，介绍点基本知识：
1、在C++中类通过特殊的成员函数：复制构造函数、赋值操作符和析构函数来控制复制、赋值和撤销该类的对象时会发生什么。
2、复制构造函数（copy constructor）是一种特殊的构造函数，具有单个形参，该形参（常用const）是对该类类型的引用；
3、复制构造函数可用于：
4、如果我们在类体中没有定义复制构造函数，编译器就会为我们合成一个复制构造函数。与合成的默认构造函数不同，即使我们定义了其他构造函数，也会合成复制构造函数。
合成复制构造函数的行为：执行逐个成员初始化，将新对象初始化为原对象的副本。
有些类经常有的数据成员是指针，这时我们必须对复制对象时发生的事情加以控制，否则当复制的对象析构或者删除时，对象中的指针不再指向有效对象，则会出现悬垂指针情况，这时我们必须要定义自己的复制构造函数。
5、有些类需要完全禁止复制，例如，iostream类就不允许复制，如果不想复制，则应明确禁止，可以将复制构造函数声明为private，并且不定义。
6、赋值操作符（assignment operator）：同复制构造函数一样，如果在类体中没有定义赋值操作符，编译器也会为我们合成一个赋值操作符。它会执行逐个成员复制：右操作数对象的每个成员赋值给左操作数对象的对应成员。
如：
Sales_item& Sales_item::operator=(const Sales_item &rhs)
{
isbn = rhs.isbn;
units_sold = rhs.units_sold;
revenue = rhs.revenue;
return *this;
}
7、析构函数（destructor）：是构造函数的互补，当对象超出作用域或动态分配的对象（new、malloc）被删除时，将自动应用析构函数。
下面通过一个实例详细说明复制构造函数、赋值操作符、析构函数的调用机制，代码中已有详细解释，故在此不再赘述~
1 /************************************************ 2 * 3 * 内容摘要：定义Expm1类，该类给出复制控制成员和其他构造函数 4 * 用不同方式使用Expm1类型的对象： 5 * 作为非引用形参和引用形参传递，动态分配 6 * 作为函数返回值，进行赋值操作，作为元素放在vector容器中。 7 * 研究何时执行哪个构造函数和复制控制成员 8 *
9 * 日 期：2012.8.27 by Jacky Liu 10 * 11 ************************************************/ 12 13 #include <vector> 14 #include <iostream> 15 16 struct Expm1 17 { 18 //默认构造函数 19 Expm1() 20 { 21 std::cout<<"Expm1()"<<std::endl; 22 } 23 24 //复制构造函数 25 Expm1(const Expm1 &) 26 { 27 std::cout<<"Expm1 (const Expm1&)"<<std::endl; 28 } 29 30 //复制操作符 31 Expm1 & operator = (const Expm1 &) 32 { 33 std::cout<<"operator = (const Expm1&)"<<std::endl; 34 return *this; 35 } 36 37 //析构函数 38 ~Expm1() 39 { 40 std::cout<<"~Expm1()"<<std::endl; 41 } 42 }; 43 44 void func1(Expm1 obj) //形参为Expm1对象 45 {} 46 47 void func2(Expm1 & obj) //形参为Expm1对象的引用 48 {} 49 50 Expm1 func3() 51 { 52 Expm1 obj; 53 return obj; //返回Expm1对象 54 } 55 56 int main() 57 { 58 std::cout<<"1-------------------------------------"<<std::endl<<std::endl; 59 60 Expm1 eobj; //调用默认构造函数创建Expm1对象eobj 61 62 std::cout<<"2-------------------------------------"<<std::endl<<std::endl; 63 64 func1(eobj); //调用复制构造函数 65 //将形参Expm1对象创建为实参Expm1对象的副本 66 //函数执行完毕后调用析构函数撤销形参Expm1对象 67 68 std::cout<<"3-------------------------------------"<<std::endl<<std::endl; 69 70 func2(eobj); //形参为Expm1对象的引用，无需调用复制构造函数传递实参 71 72 std::cout<<"4-------------------------------------"<<std::endl<<std::endl; 73 74 eobj = func3(); //调用默认构造函数创建局部Expm1对象 75 //函数返回时调用复制构造函数创建作为返回值副本的Expm1对象 76 //然后调用析构函数撤销局部Expm1对象 77 //然后调用赋值操作符 78 //执行完赋值操作后 79 //调用析构函数撤销作为返回值副本的Expm1对象 80 81 std::cout<<"5-------------------------------------"<<std::endl<<std::endl; 82 83 Expm1 *p = new Expm1; //调用默认构造函数动态创建Expm1对象 84 85 std::vector<Expm1> evec(3); //调用默认构造函数创建一个临时值Expm1对象 86 //调用复制构造函数，将临时值Expm1对象复制到vector容器evec的每个元素 87 //调用析构函数撤销临时值Expm1对象 88 //按以上重复三次 89 90 std::cout<<"6-------------------------------------"<<std::endl<<std::endl; 91 delete p; //调用析构函数撤销动态创建的Expm1对象 92 93 system("pause"); 94 return 0; //eobj及evec生命期结束，自动调用析构函数撤销 95 96 }
运行结果：仔细观察运行结果的执行情况，可以深入理解C++中的复制控制机制~
标签：
原文地址：http://www.cnblogs.com/zhanjxcom/p/5565085.html
