c++ - 调试断言失败(_BLOCK_TYPE_IS_VALID)...此解决方案有效吗？

Question

免责声明:这是一项家庭作业。我们必须创建一个使用类对象来保存数字的计算器。我们有一个名为 Element 的类，它进入数据库并包含一个名为 Container 的类，该类存储数字数据。

我在这段代码中遇到了上述错误。容器在这里声明:

bool assign(const char* lhs, const char* rhs) {
    Container value;
    bool isValid = parse(rhs, value);
    if (isValid)
    {
            // Code omitted, but you add it to a database
        return true;
    }
    return false;
}

调用这个:

bool parse(const char* input, Container& output)
{
    if (IsANumber(input)) // Outside script that checks if input is a scalar
    {
        output = Container(input);
        return true;
    }
}

基本上，这部分脚本(其中我只发布了一小部分)读取expression，如果有效，则返回一个包含input的Container对象.我收到上面的错误，这是由我的析构函数引起的:

Container::~Container()
{
    delete[] data;
}

其中data是存放input的指针。我必须注释掉析构函数的主体，否则我的代码不起作用。我假设析构函数正在尝试删除 Container，但失败了，因为 data 实际上并不存在(出于我不明白的原因)。我可以通过做这样的事情来避免这个问题:

bool parse(const char* input, Container& output)
{
    if (IsValid(input))
    {
        Container* temp = new Container(input);
        output = *temp;
        return true;
    }
}

这会将 temp 添加到堆中并避免删除问题。但我不禁觉得这是内存泄漏，因为 temp 永远不会被删除。谁能指出我正确的方向？

下面是容器类的所有构造函数、复制构造函数和析构函数代码:

// null constructor
Container::Container()
{
    m_nRow = 0;
    m_nCol = 0;
    data = new double[1];
    *(data) = 0;
}

// scalar constructor
Container::Container(double d)
{
    m_nRow = 1;
    m_nCol = 1;
    data = new double[1];
    *(data) = d;
}

// Copy constructor
Container::Container(const Container& copy)
{
    m_nRow = copy.m_nRow;
    m_nCol = copy.m_nCol;

    data = new double[m_nRow * m_nCol];
    for (int i = 0; i < m_nRow; i++)
    {
        for (int j = 0; j < m_nCol; j++)
        {
            *(m_aData + i * m_nCol + j) = *(copy.m_aData + i * m_nCol + j);
        }
    }
}

Container::~Container()
{
    //delete[] data;
}

Answer 1

这一行有问题:

output = Container(input);

您没有声明复制赋值运算符，因此您获得了默认的成员到成员赋值运算符。 data 指针将被复制。由于您使用的是在函数末尾超出范围的本地对象，因此 data 被删除。后来，当输出被破坏时，你遇到了双重删除问题。这就是为什么通过引入动态分配而不是释放它，它“解决”了这个问题。

您应该声明一个复制赋值运算符，以便像在复制构造函数中一样复制数据内容。

您缺少 rule of three 的一部分.当需要声明拷贝构造函数和析构函数时，还需要拷贝赋值运算符。

你的复制构造函数也有泄漏，你应该在重新分配之前删除数据。

在您发表评论后进行编辑

您在复制构造函数中存在泄漏，因为在您的其他构造函数中，您分配了一个包含 1 个元素的数组。在复制构造函数中，您无需先删除先前分配的数据数组即可分配其他大小。

为了声明一个复制赋值运算符，你通常会像这样返回一个引用:

CMatrix& CMatrix::operator=(const CMatrix& mat)

但理论上您不需要分配新对象。尽管分配和交换是一种常见的实现模式。