拷贝构造和赋值这两个操作总是被成对地声明并且兼容,为什么要自定义这两个操作呢?看下面的例子。
假如:MyString类没有声明拷贝构造和赋值操作。
MyString str1("hello");
MyString str2("world");
其结果就会如下所以:
str1: m_data ——>"hello/0"
str2: m_data ——>"world/0"
对象str1的内部是一个指向包含字符串"hello"的内存的指针,
对象str2的内部是一个指向包含字符串"world"的内存的指针。
如果进行下面的赋值:
str2 = str1;
因为没有自定义operator=可以调用,C++会生成并调用一个缺省的operator=操作符。这个缺省的赋值操作符
会执行从str1的成员到str2的成员的逐个成员的赋值操作,对指针(str1.m_data和str2.m_data)来说就是位
拷贝(位拷贝拷贝的是地址,而值拷贝则拷贝的是内容)。赋值后的结果如下所示:
str1: m_data ——>"hello/0"
str2: m_data ——>"hello/0"
这种情况至少有两个问题。第一,str2曾指向的内存永远不会被删除,因而会永远丢失,造成内存泄漏;第二,
现在str1和str2包含的指针指向同一个字符串,那么只要其中一个离开了它的生存空间,其析构函数就会删除掉
另一个指针还指向的那块内存。
2010-12-28