C++ 中动态值的清晰映射

Question

我已经看到很多网站都在讨论为包含地图的类实现 d'tor 的正确方法。 但不适用于动态分配地图本身的值的情况。

例如，让Manager是一个包含map<int, User*>类，其中User是我稍后将动态分配的某个类。

根据练习规则，它应该处理registerUser(string name)函数，该函数创建一个新的User实例并将其添加到地图中。

就像是：

User* registerUser(std::string userName) {
    User* pNewUser = new User(userName);

    // Setting some stuff

    auto ret = users.insert(std::pair<int, User*>(pNewUser->id, pNewUser));

    // Finishing and returning a pointer to the new allocated User
}

对于问题本身：

d'tor 是否应该在users.clear()之外做一些特别的事情？

内存会被成功释放还是我应该遍历元素并删除它们？

先感谢您 ：）

Answer 1

不必要时不要使用指针。 std::map已经为您管理其元素的生命周期：

struct User {
    std::string name;
    int id;
    static int id_counter;
    User(const std::string& name) : name(name),id(id_counter++) {}
};

struct manager {
    std::map<int,User> users;

    User& registerUser(std::string userName) {                    
        User u(userName);
        auto ret = users.emplace(u.id,u);
        return ret.first->second;
    }
};

如果你因为奇怪的不切实际的练习要求（或者因为地图应该保存多态对象）而被迫使用std::map<int,User*>并且你不能使用智能指针，那么你需要delete你new编辑的内容. 地图只管理它的元素，而不是它们可能指向的东西：

struct manager {
    std::map<int,User*> users;

    User& registerUser(std::string userName) {               
        User* u = new User(userName);
        auto ret = users.emplace(u->id,u);
        return *(ret.first->second);
    }

    ~manager() {
        for (const auto& user : users){
            delete user.second;
        }
    }

    // the compiler generated assignment and copy would not do the right thing
    manager(const manager&) = delete;
    manager& operator=(const manager&) = delete;
};

不确定你在哪里读到的关于将map作为成员持有并需要调用clear() 。 那是无稽之谈。 该map有一个自动调用的析构函数，并且该地图在其自身之后已经进行了清理。

最后但并非最不重要的一点是，您需要阅读 3 规则（ 什么是三规则？ ），因为单独的析构函数不足以正确管理作为成员的原始指针。 正如评论中提到的，当您通过编译器生成的复制构造函数或赋值复制manager器时，会发生不好的事情。 请注意，上述第一个版本并非如此。 如果可能，您应该尝试遵循 0 规则（ https://en.cppreference.com/w/cpp/language/rule_of_three向下滚动）。

Answer 2

d'tor 是否应该在users.clear()之外做一些特别的事情？

通常，这取决于您的代码如何处理堆分配对象的所有权； 任何时候你通过new （也就是在堆上分配）调用构造函数时，你应该知道代码中的哪个组件对新创建的对象拥有所有权，因此负责删除该对象。

对于这个特定的玩具问题，您的Manager类还应该通过以您喜欢的方式迭代所有元素并调用delete处理对象的delete 。 请注意，某些其他组件仍然可以保留这些User指针之一，这将在最好的情况下通过访问无效内存而导致崩溃，并在最坏的情况下运行正常（或开始核战争，因为这是在未定义行为的范围）。 最先进的解决方案是使用某种智能指针。

当然，正如463035818_is_not_a_number在他的回答中所说的那样，你不需要调用users.clear() 。 由于map将被自动删除，因为它是一个静态分配的变量（但不一定是map的内容） 。