Question

对于实验室作业，我正在研究堆的数组实现。我有一个类型为PrintJob *的数组。我面临的问题是，我尝试用arr[0]删除的第一个元素delete奇怪地修改了数组的第二个元素。最终，该元素到达堆的头部，将其删除会导致SIGABRT。

我本来是想也许直接从数组中删除它，delete arr[0]正在发出某种类型的错误，因为我会反复调用delete arr[0]；即使，我会在删除后立即将arr[0]的下一个最大子对象更新。因此，我尝试将其存储到一个临时变量中，然后将其删除：

void dequeue() {
    PrintJob *temp = arr[0];
////    delete arr[0];
    trickleUp(0);
    delete temp;
}

但是我很快意识到我的努力没有任何意义。我知道当程序尝试删除一次动态分配的实体两次时，就会发生SIGABRT，但是除第一个元素外，我从不碰其他任何元素。因此，我对为什么第二个元素充满垃圾值并随后抛出SIGABRT感到困惑。

这是我使用的其他一些代码：

此函数由上面的函数调用，并控制将当前索引（n）的最大子级移到其位置的过程。它会按照要求递归执行此操作。

void trickleUp(int n) {

    int c = getChild(n, true);  // get the greater child

    if (c >= MAX_HEAP_SIZE) {   // if the
        PrintJob *temp = arr[n];
////        delete arr[n];
        arr[n] = nullptr;
        delete temp;
        return;
    }

    arr[n] = arr[c];    // update the old node
    trickleUp(c); // move to the next element in the tree;
}

getChild（）是前一个函数调用的函数，该函数旨在返回当前索引ln的最大子索引（rn：左节点，n：右节点）。

int getChild(int n, bool g) {

    int ln = (2 * n) + 1, rn = (2 * n) + 2, lp = -1, rp = -1;

    if (ln < MAX_HEAP_SIZE && arr[ln]) {
        lp = arr[ln]->getPriority();
    }

    if (rn < MAX_HEAP_SIZE && arr[rn]) {
        rp = arr[rn]->getPriority();
    }

    return  ( !((lp > rp) ^ g) ? ln:rn );
}

我已经多次检查代码，并且没有看到其他逻辑错误，当然，在解决此问题之前，我将无法真正判断出问题，并且可以使用其他示例进行测试。如果您想自己编译它，那么这里是所有其余代码的链接。我也附加了一个makefile。 https://drive.google.com/drive/folders/18idHtRO0Kuh_AftJgWj3K-4OGhbw4H7T?usp=sharing

Answer 1

在代码中加上一些打印内容会产生以下输出：

set 0
set 1
set 2
set 3
set 4
swap 1, 4
swap 0, 1
copy 1 to 0
copy 4 to 1
delete 4
copy 2 to 0
copy 6 to 2
delete 6
copy 2 to 0
copy 6 to 2
delete 6
copy 2 to 0
copy 6 to 2
delete 6
copy 2 to 0
copy 6 to 2
delete 6

数字是arr的索引。如果我们向这些对象添加一些名称，则可能会清楚出了什么问题：

set 0 - A
set 1 - B
set 2 - C
set 3 - D
set 4 - E
swap 1, 4 - 1 == E, 4 == B
swap 0, 1 - 0 == E, 1 == A
copy 1 to 0 0 == A, 1 == A, pointer to E is lost
copy 4 to 1 1 == B, 4 == B
delete 4    delete B, 4 == 0, 1 still points to B
copy 2 to 0 0 == C, 2 == C, pointer to A is lost
copy 6 to 2 2 == 0
delete 6    delete null pointer, has no effect
copy 2 to 0 0 == 0, 2 == 0, pointer to C is lost
copy 6 to 2 2 == 0
delete 6    delete null pointer, has no effect
the rest just further copies around null pointers

在此特定示例中，它不会崩溃（至少对我而言），因为两次都没有删除任何内容，但希望它能清楚地说明不同数据可能如何发生。

大概是：

    arr[n] = arr[c];    // update the old node

应为：

    arr[c] = arr[n];    // update the old node

这虽然会使您的代码崩溃更快，但可能还会发现更多的逻辑问题。

C ++删除指针数组中的第一个元素会影响后面的元素

1 个答案: