做一个std::map中的项目永远保持在同一地址

Do items in a std::map stay at the same address forever?

本文关键字:项目 永远 地址 map 一个 std      更新时间:2023-10-16

>采用以下简单程序:

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;
}

因此,上面的程序缓存了一个指向地图中项目的指针。然后将更多项目添加到地图中,然后验证第一个插入的项目是否已更改位置。

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

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

我本来会假设随着地图中项目数量的增加,实现可能会移动项目——就像 std::vector 绝对一样。

所以我的问题是:只要不从地图中删除或替换插入到地图中的项目是否保证位于同一地址? 还是此实现是特定的?

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

26.2.6 关联容器
9 insertemplace成员不得影响迭代器和对容器的引用的有效性,erase成员只能使迭代器和对已删除元素的引用无效。