C++ 带指针的拷贝构造函数

Question

我理解深度复制指针的必要性(在您想要对象的完整拷贝的情况下)，我的困惑来自于以下内容(完全虚构的示例)。

#include "stdafx.h"
#include <string>

class a
{
public:

    a::a(std::string _sz) : 
        m_sz(_sz)
        ,m_piRandom(new int)
    {
        *m_piRandom = 1;
    };

    ~a()
    {
        delete m_piRandom;
        m_piRandom = NULL;
    };

    a::a(const a &toCopy)
    {
        operator=(toCopy);
    }

    a& a::operator=(const a &toAssign)
    {
        if (this != &toAssign)
        {
            m_sz = toAssign.m_sz;
            if (m_piRandom)
            {
                // Need to free this memory! 
                delete m_piRandom;
                m_piRandom = NULL;
            }

            m_piRandom = new int(*toAssign.m_piRandom);
        }
        return *this;
    }

    void SetInt(int i)
    {
        if (!m_piRandom)
        {
            m_piRandom = new int;
        }
        *m_piRandom = i;
    }

private:

    std::string m_sz;
    int* m_piRandom;
};


int _tmain(int argc, _TCHAR* argv[])
{
    a Orig = a("Original");
    a New = a("New"); 
    New.SetInt(9);
    New = Orig;

    return 0;
}

现在在我的示例中，我想测试我有一个分配了一些内存的对象的场景，在这种情况下:

a New = a("New"); 
New.SetInt(9); // This new's the memory

分配内存，然后当我们说:New = Orig; 我预计会发生内存泄漏，因为如果我盲目地新建 m_piRandom = new int(*toAssign.m_piRandom) ; 我会失去它之前指向的内存..

所以我决定在赋值运算符中加入以下内容:

if (m_piRandom)
            {
                // Need to free this memory! 
                delete m_piRandom;
                m_piRandom = NULL;
            }

当以下代码被调用时(第一行!)a Orig = a("Original"); 这会导致代码崩溃，因为它调用复制构造函数(我将其称为赋值运算符以减少重复) 并且指针 m_piRandom 设置为 0xcccccccc。不为空。因此它会尝试删除从未分配的内存。我希望它在到达 New = Orig; 时能够正常工作，因为它会在分配拷贝之前先删除它。任何人都可以阐明这一点，我想我最担心的是 m_piRandom 不是 NULL，我还尝试为默认构造函数定义一个默认为 NULL 的指针，但这没有帮助。为完全人为的代码道歉..

谢谢

Answer 1

您的第一个错误是您根据赋值运算符实现了复制构造函数。复制构造函数基于某个其他对象创建一个新对象，而赋值运算符清除和更改已创建对象的位。

因此，您正确的复制构造函数将是:-

a::a(const a &toCopy) : m_sz(toCopy.m_sz), m_piRandom(new int)
{
    *m_piRandom = toCopy.m_piRandom;
}

实现这个之后你可以简化你的赋值运算符:

a& a::operator=(const a &toAssign)
{
    if (this != &toAssign)
    {
        m_sz = toAssign.m_sz;
        if (m_piRandom)           //<<<<< No need to check this as it should always be
        {                         //<<<<< initialized by constructors.
            delete m_piRandom;    
            m_piRandom = NULL;
        }

        m_piRandom = new int(*toAssign.m_piRandom);
    }
    return *this;
}

删除这些冗余后，您的赋值运算符看起来像

a& a::operator=(const a &toAssign)
{
    if (this != &toAssign)
    {
        m_sz = toAssign.m_sz;
        m_piRandom = new int(*toAssign.m_piRandom);
    }
    return *this;
}