gnu C++ hash_map：擦除一个键：定义？

Question

考虑以下程序，这是一个尝试重现某些遗留代码问题的最小示例：

#include <iostream>
#include <ext/hash_map>

// Define a hash for std::string class so we can use it as keys
// in hash_map below.
namespace __gnu_cxx {
    template <>
        struct hash<std::string> {
            size_t operator() (const std::string& x) const {
                return hash<const char*>()(x.c_str());
            }
        };
}

// Data class contains a string
class Data {
    public:
        std::string s;
        Data() { s = "foobar"; }
        Data(std::string s_) : s(s_) {}
};

// Map keyed by string.  Values are Data instances
typedef __gnu_cxx::hash_map<std::string, Data> DataMap;

int main()
{
    DataMap m;
    std::string key = "test";

    // I am storing a "Data" instance d, for "key".  d.s is the same as key.
    Data d = Data(key);
    m[key] = d;

    DataMap::iterator it = m.find(key);
    if (it == m.end()) {
        std::cerr << "not there " << std::endl;
        return 1;
    }
    Data *dp = &it->second;
    // Question about the following line.  Is the behavior well-defined?
    m.erase(dp->s);

    return 0;
}

我将我的类Data 实例存储在hash_map 中。我使用key 搜索特定数据成员，然后使用m.erase(dp->s) 删除该值。 m.erase(dp->s) 将删除dp 指向的对象。我可以在调用erase() 时使用dp->s，还是必须先复制然后erase()：

std::string key_to_delete = dp->s;
m.erase(key_to_delete);

Answer 1

查看implementation，似乎即使在删除节点（it 指向的对）之后，传递给erase 函数的键仍然被引用。如果dp 被删除，那么对dp->s 的引用将变得无效。然而hash_map 的实现仍在尝试取消引用它。失败。

您需要传递一些保证在调用erase 时保持有效的内容。

你可以

m.erase(key);

或者你可以使用find返回的迭代器来进行擦除：

m.erase(it);