c++ - 指向模板参数类型的指针

Question

我正在尝试制作我自己的容器，它只是一个 std::unordered_map 的包装器，它使用 std::vector 跟踪插入顺序.

这是我的(简化的)类(class):

template <class tKey, class tValue>
class OrderedMap
{
public:
    typedef size_t tSize;
    inline bool contains(const tKey& key) const { return map_.count(key) > 0; }
    inline tValue& at(const tSize& index) { return vector_[index]; }
    inline tValue& operator [](const tKey& key)
    {
        if(!contains(key)) { throw std::out_of_range("Unknown key"); }
        return *map_[key];
    }
    inline void push_back(const tKey& key, const tValue& value)
    {
        vector_.push_back(value);
        map_[key] = &vector_[size()-1];
    }
    inline void set(const tKey& key, const tValue& value)
    {
        if(!contains(key)) push_back(key, value);
        else *map_[key] = value;
    }

private:
    std::vector<tValue> vector_;
    std::unordered_map<tKey, tValue*> map_;
};

问题是当我尝试执行此代码示例时:

OrderedMap<std::string, std::vector<std::string> > myContainer;
myContainer.set("1", {"11", "12"});
myContainer.set("2", {"21", "22"});
auto myValues = myContainer["1"];

当我尝试访问数据时出现错误。在此示例中，当程序试图将数据复制到 myValues 时，它触发了一个异常，告诉我 vector 太长，但在我的代码的其他地方它以 < em>在 operator [] 中取消引用指针时出现读取访问冲突错误。

很明显我在某处犯了错误，但我找不到，那么我的代码有什么问题吗？我是否遗漏了有关模板参数和引用它们的内容？

编辑:我在 Windows 上使用 MSVC 12.0 进行编译。

Answer 1

将指针/引用/迭代器存储到不断增长的 vector 中的元素通常是一个非常糟糕的主意。在

inline void push_back(const tKey& key, const tValue& value)
{
    vector_.push_back(value);
    map_[key] = &vector_[size()-1];
}

您将元素添加到 vector 中，然后将指向该元素的指针存储在 map 中。这样做的问题是，如果您不断向 vector 中添加项目， vector 将需要增长，这意味着分配新的内存。这意味着 vector 中的元素不再位于它们以前所在的位置，这意味着 map 中的所有指针现在都悬空(指向垃圾)。

简单的解决方法是将元素存储在两个地方。您还可以创建一个 std::shared_ptr 并将 shared_ptr 存储在两个容器中。