连续调用返回类成员指针的函数后指针异常的原因及解决

异常行为的原因 #

你遇到的问题核心是std::vector的扩容机制导致野指针：
当调用push_back向nodeArray添加元素时，如果当前vector的容量不足以容纳新元素，它会在内存中重新分配一块更大的连续空间，把原有所有元素拷贝/移动到新空间，然后释放旧的内存块。
第一次调用insertNode返回的aptr指向旧内存里的Node对象，第二次push_back触发扩容后，旧内存被释放，aptr就变成了野指针。后续对这个指针的访问属于未定义行为，表现出来就是内容被“修改”。

你犯的C++错误 #

• 不熟悉std::vector的内存管理特性：vector的元素存储在连续内存中，扩容会导致元素地址变化，因此返回vector元素的指针/引用是不安全的（除非能保证后续不会触发扩容）。
• insertNode参数采用传值方式：Node n会创建传入Node的拷贝，额外增加了开销，完全没必要。
• getNodes函数返回整个vector的拷贝：vector<Node> getNodes()会复制所有节点，效率低下，也可能带来不必要的对象拷贝问题。

优化insertNode函数的几种方案 #

方案1：返回节点索引（最简单，适合初学者） #

放弃返回指针，改为返回节点在nodeArray中的下标。因为vector的下标不会因为扩容而失效（只要元素没被删除），后续通过下标访问节点即可。

修改Graph类定义：

//graph.h
class Graph {
private:
    vector<Node> nodeArray; 
public:
    Graph();
    // 修改返回值为size_t类型的下标
    size_t insertNode(Node n); 
    // 提供通过下标获取节点的方法
    Node& getNode(size_t index); 
    void connectNodes(size_t aIdx, size_t bIdx, int edgeWeight);
};

实现insertNode和connectNodes：

//graph.cpp
size_t Graph::insertNode(Node n) {
    nodeArray.push_back(std::move(n)); // 用move减少拷贝开销
    return nodeArray.size() - 1;
}

Node& Graph::getNode(size_t index) {
    // 可添加越界检查，比如assert(index < nodeArray.size())
    return nodeArray[index];
}

void Graph::connectNodes(size_t aIdx, size_t bIdx, int edgeWeight) {
    Node& a = getNode(aIdx);
    Node& b = getNode(bIdx);
    // 这里实现添加边的逻辑，比如a.insertEdge(Edge(...))
}

测试代码修改：

SECTION("connects two nodes with an edge") {
    Graph g;
    Node a("Johannesburg", 5, 10);
    Node b("Cape Town", 26, 10);

    size_t aIdx = g.insertNode(std::move(a));
    size_t bIdx = g.insertNode(std::move(b));
    g.connectNodes(aIdx, bIdx, 1); 
}

方案2：使用智能指针存储节点 #

把nodeArray改为存储std::unique_ptr<Node>（或shared_ptr），这样vector扩容时只会移动指针本身，不会移动Node对象，指针指向的内存地址不会变，返回raw指针或智能指针都安全。

修改Graph类：

//graph.h
#include <memory>
class Graph {
private:
    vector<std::unique_ptr<Node>> nodeArray; 
public:
    Graph();
    Node* insertNode(Node n); 
    void connectNodes(Node* a, Node* b, int edgeWeight);
};

实现insertNode：

//graph.cpp
Node* Graph::insertNode(Node n) {
    nodeArray.emplace_back(std::make_unique<Node>(std::move(n)));
    return nodeArray.back().get();
}

这种方式不需要修改测试代码，原有的指针使用逻辑可以保留，同时避免了扩容导致的指针失效问题。

方案3：提前预留vector容量 #

如果能提前预估节点数量，可以在Graph构造函数中调用nodeArray.reserve(N)（N是预估的节点数），这样vector不会触发扩容，返回的指针就不会失效。但这种方式不够灵活，如果实际节点数超过预留值，还是会出现同样的问题。

内容的提问来源于stack exchange，提问作者Blargian