C++调用类get函数后map存储的Node值异常变动

你遇到的输出异常本质是类成员中存储的指针指向了生命周期已经结束的栈临时对象，也就是常说的悬空指针问题。

触发原理 #

对应到你的set方法实现：

void set(int key, int value) {
    Node n = Node(value);
    m.insert(pair<int,Node*>(key, &n));
}

• 代码里的n是定义在函数内部的栈局部变量，它的生命周期完全受函数作用域限制，只有在set方法执行期间存在有效内存地址
• 当set方法执行完毕退出时，该变量所在的栈帧会被系统回收，之前n占用的内存会被标记为可重新分配使用
• 此时map中保存的&n指针，就成了指向无效内存的悬空指针，后续通过这个指针读取值的行为都是未定义的

输出现象匹配 #

你观察到的打印变化完全符合悬空指针的典型行为：

• 第一次调用cout << t.m[1]->value时，原来存放n的栈内存还没被其他栈操作覆盖，所以还能读到之前存的4
• 后续执行get、cout输出等操作时，新的函数栈帧会复用刚才被回收的内存块，此时读到的就是被覆盖后的随机栈垃圾值（也就是示例中的32766）

修复方案 #

方案1：直接存储对象值（最简单安全） #

去掉不必要的裸指针，直接在map中存Node实例，由编译器自动管理对象的生命周期：

class C {
    public:
        // 将map的存储类型从Node*改为Node本身
        map<int, Node> m;
        C() {};

        void set(int key, int value) {
            m[key] = Node(value);
        }       

        int get(int key) {
            return m[key].value;
        }
};

额外提示：原代码中用m.insert存在逻辑缺陷——如果map中已经存在对应key，insert操作不会覆盖原有值，换成m[key] = xxx的写法可以正确覆盖已有条目，更符合set操作的常规预期。

方案2：需要指针语义时用智能指针管理 #

如果确实需要存储指针对象（比如涉及多态场景），可以用C++标准库的智能指针自动管理内存，从根源上避免悬空指针和内存泄漏：

#include <memory>
class C {
    public:
        // 用独占智能指针管理Node对象
        map<int, unique_ptr<Node>> m;
        C() {};

        void set(int key, int value) {
            m[key] = make_unique<Node>(value);
        }       

        int get(int key) {
            return m[key]->value;
        }
};

方案3：手动堆分配（需注意内存泄漏风险） #

如果必须手动维护裸指针，需要在堆上分配对象，并在类的析构函数中主动释放内存：

class C {
    public:
        map<int, Node*> m;
        C() {};
        // 必须实现析构函数释放所有堆上分配的Node，否则会造成内存泄漏
        ~C() {
            for (auto& item : m) {
                delete item.second;
            }
            m.clear();
        }

        void set(int key, int value) {
            Node* n = new Node(value);
            m[key] = n;
        }       

        int get(int key) {
            return m[key]->value;
        }
};

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