复制的 std::list 中的垃圾

我的图形类看起来像：

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,...

如何解决这个问题？

gdb可能会感到困惑实施细节 the std::list。例如。老人SGI STL list http://www.sgi.com/tech/stl/stl_list.h被实施为循环列表。在 - 的里面list对象，只有一个_List_node<_Tp>指针称为_M_node。构造函数将内部_M_next最终节点元素的指针等于_M_node本身。

标准库实现的原因std::list使用这种循环实现是为了避免最终元素的特殊情况（例如，他们也可以使用带有 a 的哨兵元素nullptr下一个指针）。马特·奥斯汀有一个不错的ACCU演示 http://www.accu-usa.org/Slides/SinglyLinkedLists.ppt关于此（但链接当前指向损坏的文件，请参阅存档版本在这里 http://web.archive.org/web/20090618135116/http://www.accu-usa.org/Slides/SinglyLinkedLists.ppt).

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

您可能应该自己验证这一点<list>系统上标准库的标头。错误报告gdb也可能是有序的。