2

我的图形类看起来像：

class Graph {
  public:
    typedef unsigned int size_type;
    typedef std::list<size_type> Neighbours;

  protected:
    size_type m_nodes_count, m_edges_count;

  public:
    Graph(size_type nodes_count = 0) :
      m_nodes_count(nodes_count), m_edges_count(0) {}

    virtual bool is_edge(size_type from, size_type to) = 0;
    virtual Neighbours neighbours(size_type node) = 0;

    virtual Graph& add_edge(size_type from, size_type to) = 0;
    virtual void delete_edge(size_type from, size_type to) = 0;

    size_type nodes_count() { return m_nodes_count; }
    size_type edges_count() { return m_edges_count; }

    virtual ~Graph() {}
};

class AdjList : public Graph {
  private:
    typedef std::list<size_type> Row;
    std::vector<Row> m_list;

  public:
    AdjList(size_type nodes_count) : Graph(nodes_count) {
      m_list.resize(nodes_count);
    }

    AdjList(const AdjList& g) : AdjList(g.m_nodes_count) {
      for (int i = 0; i < nodes_count(); i++)
        std::copy(g.m_list[i].begin(), g.m_list[i].end(), std::back_inserter(m_list[i]));
    }

    virtual bool is_edge(size_type from, size_type to) override {
      return std::find(m_list[from].begin(), m_list[from].end(), to) != m_list[from].end();
    }

    virtual Graph& add_edge(size_type from, size_type to) override {
      if (!is_edge(from, to) && !is_edge(to, from)) {
        m_list[from].push_back(to);
        m_list[to].push_back(from);
        m_edges_count++;
      }

      return *this;
    }

    virtual void delete_edge(size_type from, size_type to) override {
      m_list[from].remove(to);
      m_list[to].remove(to);
      m_edges_count--;
    }

    virtual Neighbours neighbours(size_type node) {
      return m_list[node];
    }
};

但是当我尝试获取时，graph.neighbours(v)我会得到大量垃圾：

(gdb) p graph
$1 = {<Graph> = {_vptr.Graph = 0x406210 <vtable for AdjList+16>, m_nodes_count = 3, m_edges_count = 3}, m_list = std::vector of length 3, capacity 3 = {std::list = {[0]
 = 2, [1] = 1},
    std::list = {[0] = 0, [1] = 2}, std::list = {[0] = 0, [1] = 1}}}
(gdb) p graph.neighbours(0)
$2 = std::list = {[0] = 2, [1] = 1, [2] = 4294956560, [3] = 2, [4] = 1,
  [5] = 4294956560, [6] = 2, [7] = 1, [8] = 4294956560, [9] = 2, [10] = 1,
  [11] = 4294956560, [12] = 2, [13] = 1, [14] = 4294956560, [15] = 2,
  [16] = 1, [17] = 4294956560, [18] = 2, [19] = 1, [20] = 4294956560,
  [21] = 2, [22] = 1, [23] = 4294956560, [24] = 2, [25] = 1,...

如何解决？

4

2 回答 2

3

gdb可能被实现细节弄糊涂了std::list。例如，旧的SGI STLlist被实现为循环列表。在list对象内部，只有一个_List_node<_Tp>名为 的指针_M_node。构造函数将_M_next最终节点元素的内部指针与_M_node自身相等。

标准库实现使用这种循环实现的原因是为了避免最终元素的特殊情况（例如，它们也可以使用带有下一个指针std::list的哨兵元素）。nullptrMatt Austern 对此有一个很好的ACCU 演示（但该链接当前指向损坏的文件，请参阅此处的存档版本）。

这个循环实现解释了为什么您的gdb输出g.neighbors()具有重复模式[0] = 2, [1] = 1, [2] = 4294956560, /* etcetera */. 值 4294956560 只是_M_node你的内部变量的内存地址std::list，所以如果gdb只做简单的指针追逐，它会混淆。请注意，它小于2^32，即您可能正在为 32 位编译它。

您可能应该在您自己<list>的系统标准库的标头中验证这一点。一个错误报告gdb也可能是为了。

于 2013-06-17T18:27:57.010 回答
0

我认为问题出在复制构造函数上，只需这样做：

AdjList(const AdjList& g) : AdjList(g.m_nodes_count) {
    m_list = g.m_list ; 
}

该operator=()方法应该创建一个Vector<Row>具有相同节点的新方法g.m_list。

于 2013-06-17T15:00:04.963 回答