c++ - std::map 中的项目是否永远保持在同一个地址？

Question

采用以下简单程序:

struct Foo
{
    int x;
    int y;
    int z;
    string s;
};

int main()
{
    Foo f1 = { 42,21,11, "Hello world" };
    std::map<int, Foo> foomap;

    foomap[400] = f1;
    Foo* ptr = &foomap[400]; // cache a pointer to the element we just inserted.

    cout << ptr->x << " " << ptr->y << " " << ptr->z << " " << ptr->s << std::endl;

    // fill the map up with a bunch of other random items at random indices   
    for (int x = 0; x < 10000; x++)
    {
        int i = rand();
        Foo f = { rand(), rand(), rand(), "Another string" };

        if (foomap.find(i) == foomap.end())
        {
            foomap[i] = f;
        }
    }

    Foo* ptr2 = &foomap[400];

    cout << "f1 insert location has " << ((ptr == ptr2) ? "not changed" : "changed") << std::endl;
    cout << ptr->x << " " << ptr->y << " " << ptr->z << " " << ptr->s << std::endl;

    return 0;
}

所以上面的程序缓存了一个指向 map 中某个项目的指针。然后将更多项目添加到 map 中，然后验证第一个插入的项目是否已更改位置。

当我运行它时，我有些惊讶。缓存的指针保持不变:

42 21 11 Hello world
f1 insert location has not changed
42 21 11 Hello world

我会假设随着 map 中项目数量的增长，实现可能会移动项目 - 就像 std::vector 所做的那样。

所以我的问题是:只要不从 map 中删除或替换，插入到 map 中的项目是否保证位于同一地址？或者这个实现是特定的？

Answer 1

是的， map 上的插入/放置操作永远不会使迭代器或对现有项目的引用无效。

26.2.6 Associative containers [associative.reqmts]
9 The insert and emplace members shall not affect the validity of iterators and references to the container, and the erase members shall invalidate only iterators and references to the erased elements.