拷贝构造和赋值这两个操作总是被成对地声明并且兼容,为什么要自定义这两个操作呢?看下面的例子。

// MyString.cpp : 定义控制台应用程序的入口点。
//
#include "stdafx.h"
#include <stdio.h>
#include <string.h>
class MyString
{
public:
    MyString(const char *str = NULL);
    MyString(const MyString &other);
    ~MyString(void);
    MyString & operator = (const MyString &other);
    int OutputStr(void);
private:
    char *m_data;
};
MyString::MyString(const char *str)//普通的构造函数
{
    if (str == NULL)
    {
        m_data = new char[1];
        *m_data = '/0';
    }
    else
    {
        int length = strlen(str);
        m_data = new char[length + 1];
        strcpy(m_data, str);
    }
}
MyString::MyString(const MyString &other)//拷贝构造函数
{
    int length = strlen(other.m_data);
    m_data = new char[length + 1];
    strcpy(m_data, other.m_data);
}
MyString::~MyString(void)
{
    delete [] m_data;
}
MyString & MyString::operator = (const MyString &other)//赋值操作
{
    if (this == &other)
    {
        return *this;
    }
    delete [] m_data;
    int length = strlen(other.m_data);
    m_data = new char[length + 1];
    strcpy(m_data, other.m_data);
    return *this;
}
int MyString::OutputStr(void)
{
    int length = 0;
    length = strlen(m_data);
    printf("the output string is : %s", m_data);
    return length;
}
int _tmain(int argc, _TCHAR* argv[])
{
    MyString str("hello, world");//进入普通构造函数
    MyString str2 = str;//初始化,进入拷贝构造函数
    MyString str3(str);//初始化,进入拷贝构造函数
    str2 = str;//赋值,进入赋值操作
    str2.OutputStr();
    //MyString *str = new MyString("hello, world");//普通构造函数
    //MyString *str2 = new MyString(*str);//拷贝构造函数
    //*str2 = *str;//赋值操作
    //str2->OutputStr();
    getchar();
    return 0;
}

假如: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"

这种情况至少有两个问题。

  1. str2曾指向的内存永远不会被删除,因而会永远丢失,造成内存泄漏;
  2. 现在str1和str2包含的指针指向同一个字符串,那么只要其中一个离开了它的生存空间,其析构函数就会删除掉另一个指针还指向的那块内存。

发表评论

电子邮件地址不会被公开。 必填项已用*标注

鄂ICP备17003086号. Copyright © 2016. All Rights Reserved.