C++中存储动态分配值的map如何在析构函数中正确释放内存

直接调用map::clear()无法释放所有内存，必须先遍历map的所有元素，挨个delete动态分配的User对象，再执行clear操作。

原理说明 #

STL容器的生命周期管理仅负责容器自身存储的元素内存：你声明的std::map<int, User*>容器内存储的元素是std::pair<const int, User*>类型，调用clear()时，只会销毁所有pair对象、释放map用来存储这些pair的内存，不会对pair中存储的User*指针指向的堆内存做任何释放操作，直接调用clear()会导致所有动态创建的User对象内存泄漏。

正确的析构函数实现示例 #

class Manager {
private:
    std::map<int, User*> users;
public:
    // ... 其他成员函数，包括你提到的registerUser
    ~Manager() {
        // 遍历释放所有堆上的User对象
        for (auto& entry : users) {
            delete entry.second;
        }
        // 清空map（非必须，成员变量销毁时会自动执行，此处仅为逻辑清晰）
        users.clear();
    }

    // 注意：按照三五法则，如果你实现了自定义析构函数，还需要处理拷贝构造、拷贝赋值运算符，
    // 避免默认浅拷贝导致多个Manager对象持有同一块User内存，析构时出现double free问题，
    // 不需要拷贝语义的话可以直接删除：
    Manager(const Manager&) = delete;
    Manager& operator=(const Manager&) = delete;
};

更安全的优化方案 #

如果使用C++11及以上版本，建议将map的value类型替换为智能指针，无需手动管理内存：

// 修改成员变量声明
std::map<int, std::unique_ptr<User>> users;

此时map调用clear()时，std::unique_ptr会自动销毁持有的User对象，无需手动遍历delete，也不需要手写析构函数，还能天然避免浅拷贝导致的double free问题（std::unique_ptr不支持拷贝语义）。

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