String 类的实现（2）深度拷贝详解

我们已经知道了浅拷贝存在的问题，即多次析构同一空间。这个问题是类的成员函数引起的，就是前面浅拷贝里相当于编译器自动合成的函数，确切的说，浅拷贝里的问题是由隐士拷贝构造函数和隐士赋值运算符引起的。

拷贝构造函数用于将一个对象拷贝到新创建的对象中。也就是说，他用于初始化过程中，最常见的是将新对象显式地初始化为现有的对象。每当程序生成了副本对象时，编译器也将使用拷贝构造函数。默认的拷贝构造函数逐个的拷贝非静态成员（即浅拷贝），拷贝的是成员的值。（由于按值传递对象将调用拷贝构造函数，因此应该按引用传递对象。这样可以节省调用构造函数的时间以及存储新对象的空间。）

默认的赋值运算符是通过自动为类重载赋值运算符实现的。它的原型是：Class_name & Class_name ::operator=(const Class_name &);它接受并返回一个指向类对象的引用。将已有的对象赋给另一个对象时，将使用重载的赋值运算符；初始化对象时不一定会使用。如：String s1=s2;也可能分两步来处理这条语句：使用拷贝构造函数创建一个临时对像，然后通过赋值将临时对象的值复制到新对象中。即初始化总会调用拷贝构造函数，而使用=时也可能调用赋值运算符。

解决方法：深度复制（deep copy）。定义一个显式拷贝构造函数，拷贝字符串并将副本的地址赋给str成员，而不仅仅是拷贝字符串地址。这样每个对象都有自己的字符串，而不是引用另一个对象的字付串。则调用析构函数都将释放不同的字符串而不是去释放已经释放的字符串。代码如下：

1     String(const String& s)
         :_pStr()
     {
         if (this != &s)
         {
             strcpy(_pStr, s._pStr);
         }
     }

必须定义拷贝构造函数的原因在于，一些类成员是使用new初始化的、指向数据的指针，而不是数据本身。

总结：如果类中包含了使用new初始化的指针成员，应当定义一个拷贝构造函数，以拷贝指向的数据，而不是指针；浅拷贝仅浅浅的拷贝指针信息，而不会深入”挖掘“以拷贝指针引用的结构。

默认赋值运算符存在的问题与默认拷贝构造函数相同：数据受损。试图删除已经删除的数据导致的结果是不正确的，因此可能改变内存中的内容，导致程序异常终止。解决方法是提供深度拷贝的赋值运算符定义。

     String& operator=(const String& s)
     {
         if (this != &s)
         {
             ];
             strcpy(temp, s._pStr);
             delete[] _pStr;
             _pStr = temp;
         }
         return *this;
     }

注意：

•由于目标对象可能引用了以前分配的数据，所以函数应使用delete[]来释放这些数据。

•函数应该避免将对象赋值给本身；否则，给对象重新赋值前，释放内存操作可能删除对象的内容，

•函数返回一个指向调用对象的引用。

按照之前讨论的方法重新定义赋值运算符和拷贝构造函数，还有更简洁的方法如下：

     String(const String& s)
         :_pStr(NULL)     //
     {
         String strtemp(s._pStr);
         std::swap(_pStr, strtemp._pStr);
     }

     String& operator=(const String& s)
     {
         if (this != &s)
         {
             String strtemp(s);
             std::swap(_pStr, strtemp._pStr);
         }
         return *this;
     }

     String& operator=(String s)
     {
         std::swap(_pStr, s._pStr);
         return *this;
     }

此外，还有一些深度拷贝的不同方法将在下一篇介绍。