转载

C++ 复制控制之复制构造函数

C++ 类用三个特殊的成员函数：复制构造函数、赋值操作符和析构函数来决定类对象之间的初始化或赋值时发生什么。所谓的“复制控制”即通过这三个成员函数控制对象复制的过程。本篇文章将介绍复制构造函数。

复制构造函数

复制构造函数是什么

复制构造函数首先是一个构造函数，它同所有其他的构造函数一样与类同名，没有返回值。它有一个唯一的参数，是该类类型的引用（一般将它声明为 const ，源于用于赋值的对象一般不用改变它本身的值）。于是复制构造函数的原型为：

class BOOK {     public:  BOOK(const BOOK& rhs); //构造函数一  BOOK(string &name,float price = 0):_bookName(name),_price(price){}; //构造函数二  BOOK():_price(0),_bookName(""){}; //构造函数三

  private:  float _price ;  string _bookName;   //.... };

什么时候被调用

复制构造函数在需要复制类对象的时候被调用，这些调用情况可以总结为：

根据一个同类型的对象显示或隐式地初始化一个对象。

当定义一个新对象并用一个同类型的对象对它进行初始化的时候，将显式使用复制构造函数，如：

BOOK book1; BOOK book2(book1);

当将该类型的对象传递给函数或从函数返回该类型的对象时，将隐式地调用复制构造函数。

作为值传递的实参传递给一个函数。
函数返回时复制一个对象。
初始化顺序容器中的元素。

如：

vector<string> svec(5);

编译器首先调用string类默认构造函数创建一个临时值，再用复制构造函数将临时值复制到每一个元素。

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

如：

BOOK books[]={   string("book1"),   string("book2"),   string("book3"),   BOOK() ｝;

book 数组的前三个元素将调用构造函数二进行隐式类型转换（C++隐式类型转换），然后调用复制构造函数进行数组元素的复制。如果类禁止隐式类型转换（构造函数使用了 e xplicit 声明），或希望不指定实参或多个实参，需要使用完整的构造函数语法，如数组最后一个元素的初始化。

如果没有为类声明复制构造函数会怎样

如果你没有声明一个复制构造函数，那么编译器会给声明一个。实际上，如果你自己没有声明，编译器会为类声明一个复制构造函数，一个赋值操作符以及一个析构函数，此外如果你没有声明任何构造函数的话，编译器也会为你声明一个合成默认构造函数。所有这些编译器自动生成的类成员函数皆为 p ubilc 且 inline 。（这部分内容可以参考《 Effective C++ 》条款 05 ）编译器创建的复制构造函数单纯地将来源对象的每一个非 static 成员拷贝到目标对象，这在很多时候是不能满足类需求的，特别是类中含有指针时，这时候就需要我们自己来写复制控制的三个特殊成员函数了。