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

对于实验室作业，我正在研究堆的数组实现。我有一个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

最佳答案

通过一些打印来检测代码会产生以下输出:

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++ - C++删除指针数组中的第一个元素会影响后面的元素，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/56180905/