c++ - 调用 delete[] 时某些东西导致堆损坏，但我正确设置了数组的维度

Question

我发现 delete[] 上的堆损坏错误是由于在我没有分配任何东西的地方写的(根据这些帖子:First post，Second post)，问题是即使在试图在这种情况下找到问题，我仍然无法找到它。

我要创建一个简单的数据库表，作为函数的参数，我得到一行数据，该行的数据必须与列数据类型相对应。

所以基本上我在其他数组(二维数组)上创建了一个指针数组，这样每个数组都是行。

这是表类的声明:

class DLL_SPEC Table {
public:

    void insert(Object** row);

    void remove(int rowid);

    Iterator* select();

    void commit();

    void close();

    int getRowCount() const;

    FieldObject** getFields() const;

    int getFieldCount() const;

    void setName(std::string name) { _nameOfTable = name; };
    void setNumberOfFields(int numberOfFields) { _numberOfFields = numberOfFields; }
    void setNumberOfRows(int numberOfRows) { _numberOfRows = numberOfRows; }
    void setFields(FieldObject** fields) { _fields = fields; }

    Iterator* select(Condition* condition) { throw 0; }
    int findRowId(Condition* condition) { throw 0; }
    void update(Condition* condition, std::function<void(Object**)> callback) { throw 0; }
private:
    std::string _nameOfTable;
    int _numberOfFields;
    int _numberOfRows;
    FieldObject** _fields;

    Object*** _rowValues;
};

这是导致 delete[] tmpArray 堆损坏错误的插入方法。

void Table::insert(Object** row)
{
    Object*** tmpArray = new Object**[_numberOfRows + 1];
    Object** checkedRow = new Object*[_numberOfFields];
    // extend the array by 1 new row
    for (size_t i = 0; i < _numberOfRows; i++)
    {
        tmpArray[i] = new Object*[_numberOfFields];
    }

    for (size_t i = 0; i < _numberOfRows; i++)
    {
        for (size_t j = 0; j < _numberOfFields; j++)
        {
            tmpArray[i][j] = _rowValues[i][j];
        }
    }
    // check if the new row contains correct values for table
    for (size_t i = 0; i < _numberOfFields; i++)
    {
        if (StringObject* v = dynamic_cast<StringObject*>(row[i]))
        {
            if (v->isType(_fields[i]->getType()))
            {
                checkedRow[i] = v;
            }
            continue;
        }
        if (IntObject* v = dynamic_cast<IntObject*>(row[i]))
        {
            if (v->isType(_fields[i]->getType()))
            {
                checkedRow[i] = v;
            }
            continue;
        }
        if (DoubleObject* v = dynamic_cast<DoubleObject*>(row[i]))
        {
            if (v->isType(_fields[i]->getType()))
            {
                checkedRow[i] = v;
            }
            continue;
        }
        throw std::invalid_argument("The fields of this table don't match with the data you want to enter.");
    }
    tmpArray[_numberOfRows + 1] = checkedRow;
    _numberOfRows++;
    _rowValues = tmpArray;

    delete[] tmpArray;
    delete[] checkedRow;
}

Answer 1

你为 tmpArray 分配了一些空间

Object*** tmpArray = new Object**[_numberOfRows + 1];

在你写入的函数的末尾

tmpArray[_numberOfRows + 1] = checkedRow;

写入超出分配空间的末尾(下标从 0 到 _numberOfRows)导致未定义的行为。

此外，即使它没有在这里崩溃，稍后也会因为您将 tmpArray 分配给 _rowValues 然后删除 tmpArray，留下 _rowValues 悬空会在您取消引用该指针时导致 future 出现问题。