我可以依靠std :: map :: operator []来触摸吗？

Question

我有一个C++程序,我想在其中插入缺少的任何键的默认值std::map.我认为最简单的方法是使用std::map::operator[]()类似POSIX touch命令 - 也就是说,如果值已经存在则保持不变,但如果不存在则创建它.对于例如,

#include <map>
#include <vector>
#include <iostream>

using namespace std;

int main()
{
    vector<int> keys = {0, 1};

    map<int, int> m;
    m[1] = 5;
    m[2] = 12;

    for (const int i : keys)
    {
        m[i]; // touch value
    }

    for (auto const & kv : m)
    {
        cout << kv.first << ", " << kv.second << endl;
    }
}

我可以确定编译器不会优化m[i];语句,因为我没有"做"任何事情吗？(没有明确指定,不读取.)

Answer 1

是的,你可以肯定.优化调用将改变程序的可观察行为,并且不允许编译器执行此操作(RVO除外).

这被称为as -if规则.

Answer 2

是的,你可以肯定.当你考虑到有问题的行等同于此时,它可能更直观:

m.operator[](i);

...如果他们做任何事情,你不希望任何函数调用从你的程序中优化出来.

Answer 3

如果你没有为它分配一些东西,那么[]运算符确实默认构造了该键所在位置的值.

参考链接

如果k与容器中任何元素的键不匹配,则该函数将使用该键插入一个新元素,并返回对其映射值的引用.请注意,即使没有为元素指定映射值(使用其默认构造函数构造元素),这也会将容器大小增加1.