浅拷贝和深拷贝

1. 默认拷贝构造函数

   很多时候在我们都不知道拷贝构造函数的情况下，传递对象给函数参数或者函数返回对象都能很好的进行，这是因为编译器会给我们自动产生一个拷贝构造函数（默认拷贝构造函数），这个构造函数很简单，仅仅使用“老对象”的数据成员的值对“新对象”的数据成员一一进行赋值，它一般具有以下形式：

Rect::Rect(const Rect& r)  {      width = r.width;      height = r.height;  }  

当然，以上代码不用我们编写，编译器会为我们自动生成。但是如果认为这样就可以解决对象的复制问题，那就错了，让我们来考虑以下一段代码：

class Rect  {  public:      Rect()      // 构造函数，计数器加1      {          count++;      }      ~Rect()     // 析构函数，计数器减1      {          count--;      }      static int getCount()       // 返回计数器的值      {          return count;      }  private:      int width;      int height;      static int count;       // 一静态成员做为计数器  };  int Rect::count = 0;        //  将类Rect中的成员count初始化 int main()  {      Rect rect1;      cout<<"The count of Rect: "<<Rect::getCount()<<endl;      Rect rect2(rect1);   // 将rect1复制给rect2，此时应该有两个对象       cout<<"The count of Rect: "<<Rect::getCount()<<endl;      return 0;  }  

这段代码对前面的类，加入了一个静态成员，目的是进行计数。在主函数中，首先创建对象rect1，输出此时的对象个数，然后使用rect1复制出对象rect2，再输出此时的对象个数，按照理解，此时应该有两个对象存在，但实际程序运行时，输出的都是1，反应出只有1个对象。此外，在销毁对象时，由于会调用销毁两个对象，类的析构函数会调用两次，此时的计数器将变为负数。

说白了，就是拷贝构造函数没有处理静态数据成员。

出现这些问题最根本就在于在复制对象时，计数器没有递增，我们重新编写拷贝构造函数，如下：

class Rect  {  public:      Rect()      // 构造函数，计数器加1      {          count++;      }      Rect(const Rect& r)   // 拷贝构造函数      {          width = r.width;          height = r.height;          count++;          // 计数器加1      }      ~Rect()     // 析构函数，计数器减1      {          count--;      }      static int getCount()   // 返回计数器的值      {          return count;      }  private:      int width;      int height;      static int count;       // 一静态成员做为计数器  };  

1. 浅拷贝
   指在对象复制时，只对对象中的数据成员进行简单的赋值，默认拷贝构造函数执行的也是浅拷贝。大多情况下“浅拷贝”已经能很好地工作了，但是一旦对象存在了动态成员，那么浅拷贝就会出问题了。
2. 深拷贝
   在“深拷贝”的情况下，对于对象中动态成员，就不能仅仅简单地赋值了，而应该重新动态分配空间。

防止默认拷贝发生
通过对对象复制的分析，我们发现对象的复制大多在进行“值传递”时发生，这里有一个小技巧可以防止按值传递——声明一个私有拷贝构造函数。甚至不必去定义这个拷贝构造函数，这样因为拷贝构造函数是私有的，如果用户试图按值传递或函数返回该类对象，将得到一个编译错误，从而可以避免按值传递或返回对象。
四. 拷贝构造函数的几个细节
1. 拷贝构造函数里能调用private成员变量吗?
解答：我们知道拷贝构造函数其实就是一个特殊的构造函数，操作的还是自己类的成员变量，所以不受private的限制。

1. 以下函数哪个是拷贝构造函数,为什么?

X::X(const X&);      X::X(X);      X::X(X&, int a=1);      X::X(X&, int a=1, int b=2); 

解答：对于一个类X, 如果一个构造函数的第一个参数是下列之一:
a) X&
b) const X&
c) volatile X&
d) const volatile X&
且没有其他参数或其他参数都有默认值,那么这个函数是拷贝构造函数.

X::X(const X&);  //是拷贝构造函数      X::X(X&, int=1); //是拷贝构造函数     X::X(X&, int a=1, int b=2); //当然也是拷贝构造函数 

1. 一个类中可以存在多于一个的拷贝构造函数吗?
   解答：类中可以存在超过一个拷贝构造函数。

class X {   public:           X(const X&);      // const 的拷贝构造    X(X&);            // 非const的拷贝构造  };  

注意,如果一个类中只存在一个参数为 X& 的拷贝构造函数,那么就不能使用const X或volatile X的对象实行拷贝初始化.

class X {      public:    X();        X(X&);  };      const X cx;      X x = cx;    // error  

如果一个类中没有定义拷贝构造函数,那么编译器会自动产生一个默认的拷贝构造函数。
这个默认的参数可能为 X::X(const X&)或 X::X(X&),由编译器根据上下文决定选择哪一个。