析构函数的模板专门化

Question

我正在构建一个 hashmap 类，它可以将不同类型的字符串键和整数、布尔值、字符串或指针作为其值，并且我想让它发挥作用。对于我使用它的程序，我创建了指针并将其传递到哈希图中。当我需要破坏地图时，问题就来了。如果哈希图的类型是指针，我需要在删除它的容器之前删除它（值）。

所以我现在的代码是这样的： 我有一个 hashNode** 抽屉，我将其用作二维数组来保存指向地图中 hashNodes 的指针。这些相同的指针也保存在另一个 hashNode** 数组中，该数组在将它们添加到映射时存储它们（为了轻松/快速地增长和复制哈希映射）。

template <typename V>
class str_map {
public:
    // ...
    virtual ~str_map() {
        str_map<V>::~str_map();
    }
    // ....
};

然后我有很多这样的方法： 一个用于常规值：

template <>
str_map<int>::~str_map() {
    for(int i=0; i < count && array[i] != NULL; i++){
        delete array[i];
    }
    delete array;
    delete drawers;
}

一个用于指针：

template <>
str_map<str_map<int>*>::~str_map() {
    for(int i=0; i < count && array[i]->val() != NULL; i++)
        delete array[i]->val();
    for(int i=0; i < count && array[i] != NULL; i++){
        delete array[i];
    }
    delete array;
    delete drawers;
}

是否有另一种更好的方法来正确解构 str_map 类的实例，以便正确处理所有内存？或者至少有一种方法可以让这项工作发挥作用？

Answer 1

您的容器应该处理值。就是这样，不多也不少。如果有人想插入指针，让他们。不要对他们可能指向或未指向的任何内容拥有所有权。

哈希映射的用户需要了解如何管理其内存的生命周期。它们应该使用智能指针，因此您的类只需复制它们，然后智能指针管理内存。

准则是管理一种资源，或者根本不管理任何资源。如果您管理多种资源，那么您就注定会失败。

我怀疑delete array应该是delete [] array;。这意味着您确实应该使用 std::vector 。同样，要么管理一种资源，要么根本不管理。 std::vector 管理一个资源，因此您不必这样做。等等。