Question

我有一个指向结构的指针向量。解除分配内存的第一种方法工作正常，但第二种方法在执行后会产生分段错误（核心转储）。为什么会这样？两个看起来都对我不对。用g ++编译。

struct milkNode {
    int unitCost;
    int unitsAvail;
};

int main() {

    //previous code

    for (int i = 0; i < M; ++i) {
        milkNode *cur = new milkNode;
        cur->unitCost = cost;
        cur->unitsAvail = avail;
        allNodes.push_back(cur);
    }


    //Method 1, works fine
    vector<milkNode*>::iterator iter;

    for (iter = allNodes.begin(); iter != allNodes.end(); ++iter) {
        delete *iter;
    }

    allNodes.clear();

    //Method 2, segmentation fault after execution. Compiles without errors.
    //Segmentation fault occurs just before the last "after" is printed

    /*
    vector<milkNode*>::iterator iter;
    for (iter = allNodes.begin(); iter != allNodes.end(); ++iter) {
        milkNode *delThis = allNodes.back();
        allNodes.pop_back();
        cout << "before" << endl;
        delete delThis; //Attempted to put this statement before pop_back, still seg fault.
        cout << "after" << endl;
    }*/

    return 0;
}

已经浏览过像这样的一些stackoverflow帖子：Deleting vector of pointers，但他们似乎没有回答我的问题。

Answer 1

在某些时候iter将引用列表中的最后一个元素，并在循环中弹出该元素并将其删除。这会使迭代器无效，然后您有未定义的行为 - 您不能依赖对end()的后续测试和增量。

由于您实际上并不需要迭代器，因此更换

会更容易

for (iter = allNodes.begin(); iter != allNodes.end(); ++iter) {

与

while (!allNodes.empty()) {

可以避免这个问题。

Answer 2

让我们看一下循环的“最后一次”迭代：

iter等于allNodes.end() - 1。然后，您pop_back()上的allNodes，现在iter等于allNodes.end()。最后，我们回到循环头，您将增加iter，现在是allNodes.end() + 1！

这就是你的循环失败的地方。

Answer 3

第二应该是：

while (!allNodes.empty()) {
    milkNode *delThis = allNodes.back();
    allNodes.pop_back();
    delete delThis;
}

解除指针向量的两种不同方法 - 为什么不能使用指针？

3 个答案: