hosteons中文网

同类对象之间可以通过赋值运算符=互相赋值。如果没有经过重载，=的作用就是把左边的对象的每个成员变量都变得和右边的对象相等，即执行逐个字节拷贝的工作，这种拷贝叫作“浅拷贝”。

有的时候，两个对象相等，从实际应用的含义上来讲，指的并不应该是两个对象的每个字节都相同，而是有其他解释，这时就需要对=进行重载。

上节我们定义了 String 类，并重载了=运算符，使得 char * 类型的字符串可以赋值给 String 类的对象。完整代码如下：

#include <iostream>
#include <cstring>
using namespace std;
class String {
private:
    char * str;
public:
    String() :str(NULL) { }
    const char * c_str() const { return str; };
    String & operator = (const char * s);
    ~String();
};
String & String::operator = (const char * s)
//重载"="以使得 obj = "hello"能够成立
{
    if (str)
        delete[] str;
    if (s) {  //s不为NULL才会执行拷贝
        str = new char[strlen(s) + 1];
        strcpy(str, s);
    }
    else
        str = NULL;
    return *this;
}
String::~String()
{
    if (str)
        delete[] str;
};
int main()
{
    String s;
    s = "Good Luck,"; //等价于 s.operator=("Good Luck,");
    cout << s.c_str() << endl;
    // String s2 = "hello!";   //这条语句要是不注释掉就会出错
    s = "Shenzhou 8!"; //等价于 s.operator=("Shenzhou 8!");
    cout << s.c_str() << endl;
    return 0;
}

对于上面的代码，如果让两个 String 对象相等（把一个对象赋值给另一个对象），其意义到底应该是什么呢？是两个对象的 str 成员变量都指向同一个地方，还是两个对象的 str 成员变量指向的内存空间中存放的内容相同？如果把 String 对象理解为存放字符串的对象，那应该是后者比较合理和符合习惯，而前者不但不符合习惯，还会导致程序漏洞。

按照上面代码中 String 类的写法，下面的程序片段会引发问题：

String s1, s2;
s1 = "this";
s2 = "that";
s2 = s1;

执行完上面的第 3 行后，s1 和 s2 的状态如图 1 (a) 所示，它们的 str 成员变量指向不同的存储空间。

图1：浅拷贝导致的错误