C++:奇怪的 vector 行为

Question

在为我的作业编写代码时，我遇到了一种奇怪的行为。代码比较大，没必要就不贴了。

问题是当我试图从 vector 中删除一个对象时，我遇到了段错误。在尝试自己调试时，我发现了这一点:

如果我使用以下代码片段执行我的代码，我的 vector 为空，然后在第二行出现段错误(因为 vector 为空)。

cout << this->adjacencyList.empty() << endl; // yeah, I'm working with graph
cout << *(this->adjacencyList[0]) << endl; // list has pointers

但是，当我删除第二行时，它显示vector不为空，然后继续。空 vector 的守卫无法容纳它并且出现段错误。

您对这种行为有什么想法吗？如果这一点仍然含糊不清，我可以将我的完整代码作为编辑发布。

提前致谢。

编辑:

对于要求“多一点”的人。

void Node :: removeEdge (string destination) // removes an edge; edge is a class that contains a pointer to another node and its weight
{
    bool deleted = false;
    cout << *this << endl; // output stream operator is overloaded for node class and is working properly - shows it's label and edges - no error for an edge
    cout << this->adjacencyList.empty() << endl;
    // cout << *(this->adjacencyList[0]) << endl; // output stream operator is overloaded for edge class - error for an edge
    if (!this->adjacencyList.empty())
    {
        for (vector <Edge *> :: iterator itr = this->adjacencyList.begin(); itr != this->adjacencyList.end(); ++itr)
        {
            if (((*itr)->getAdjacent())->getLabel() == destination) // segfault here
            {
                Edge *temp = *itr;
                this->adjacencyList.erase (itr);
                delete temp;
                deleted = true;
            }
        }
    }
    if (!deleted)
        throw EDGE_DOES_NOT_EXIST; // one of exceptions declared in enum somewhere in my code
}

第二次编辑:

注意:我不能更改标题(它们是由助手提供的)，所以不要让我更改。

如果你对完整的代码感兴趣，你可以在这里找到

http://pastebin.com/iCYF6hdP - Exceptions.h - 所有异常

http://pastebin.com/1fcgHGDa - Edge.h - 边缘类声明

http://pastebin.com/C2DD6e3D - Edge.cpp - 边缘类实现

http://pastebin.com/ZNqQ1iHE - Node.h - 节点类声明

http://pastebin.com/kaVtZ3SH - Node.cpp - 节点类实现

http://pastebin.com/A7Fwsi4m - Network.h - 图类声明

http://pastebin.com/02LX0rjw - Network.cpp - 图类实现

http://pastebin.com/MRMn0Scz - main.cpp - 主要示例

Answer 1

我猜想，存储在 vector 第一个元素中的指针无效(可能是 NULL？)。

因此，段错误不会出现在 this->adjacencyList[0] 中，而是出现在 *(some_invalid_pointer) 中。

尝试

Edge* firstEdge = this->adjacencyList[0];
cout << *firstEdge << endl;

验证这一点。

编辑

如果段错误发生在第一个语句(赋值)中，这意味着 this 无效或者您以某种方式设法破坏了属于 vector 内部的内存>。为了验证这一点，我们必须查看所有处理您的 adjacencyList 的代码(而且我不确定 SO 人们是否有时间完成这项任务......)

注意

我在 removeEdge 中发现了一个错误，它与您的问题没有直接关系。在循环中，您使用 vector::erase 删除当前元素。这使当前迭代器之后的所有迭代器无效，因此理论上循环的其余部分是臭名昭著的“未定义行为”(TM)。在这种特定情况下(假设是“普通”标准库)，这不会导致段错误，但您可能会遗漏一些元素:

如果删除当前元素，当前迭代器(通常只是一个指针)将指向下一个元素。然后，循环增量会将其移动到该元素之后的元素，从而导致一个元素未被检查。

如果您在其他地方的代码中有类似的错误，这很可能会导致内存损坏。

提示

如果您使用的是 Microsoft C++，则可以启用已检查的迭代器(参见 here )。这些可能能够在您的代码中发现此类错误。

第二次编辑(响应代码)

Node::operator+ 中出现严重错误。

Node &operator+ (Node &l, Node &r) // merges two nodes - for network merging
{
Node newNode (l.label);
    // Doing something
return newNode;
}

这意味着，您将返回对局部变量的引用，永远不要那样做 :) ...

请注意，由于您使用的是指针 vector ，它们在析构函数中单独管理并释放，因此您不能简单地将签名更改为 Node operator+(...:在这种情况下, 将调用标准复制构造函数，它会将所有指针复制到结果对象。然后，将调用本地对象的析构函数，这将使所有指针无效。

要解决这个问题，您应该在 Node 上实现一个复制构造函数，它会真正复制邻接列表中的所有边。

或者，您可以为列表使用智能指针(auto_ptr resp. unique_ptr 或 shared_ptr)。

或者您将合并函数更改为类似 Node::mergeFrom(Node& node2) 而不是重载 + 运算符。

关于原始问题，您很容易使用当前代码处理无效的 Node 实例(因此 *this-Pointer 在 移除边缘)