尽管右侧出现异常，C中的赋值仍会发生

Question

我有一些（C 14）代码如下所示：

map<int, set<string>> junk;
for (int id : GenerateIds()) {
    try {
        set<string> stuff = GetStuff();
        junk[id] = stuff;
    } catch (const StuffException& e) {
        ...
    }
}

有时GetStuff（）会抛出一个异常，这很好，因为如果是这样，我不希望垃圾映射中的值。

但是一开始我在循环中写了这个，这不起作用:

junk[id] = GetStuff();

更准确地说，即使GetStuff（）抛出异常，也会创建junk[id]（并分配一个空集）。

这不是我所期望的：我希望它们以同样的方式运行。

这里有没有我误解的C原则？

Answer 1

您误解了操作符[]在std：：map。

它返回对映射项的引用。因此，您的代码首先在该位置插入一个默认项，然后调用< code>operator=来设置一个新值。

要使其按预期方式工作，您需要使用std:：map:：insert（*）：

junk.insert(std::make_pair(id, GetStuff()));

警告:如果< code>id尚未映射，则< code>insert将只添加值。

Answer 2

std：：map：：operator[]

返回对映射到与 key 等效的键的值的引用，如果此类键尚不存在，则执行插入。

junk[id]导致上述插入，之后已经发生GetStuff（）抛出。请注意，在C 14中，这些事情发生的顺序是实现定义的，因此使用不同的编译器您的junk[id]=GetStuff（）；如果GetStuff（）抛出，可能不会进行插入。

Answer 3

在C17之前，赋值运算符的左侧和右侧之间没有排序。

在C 17中首次引入了显式排序(首先计算右侧)。

这意味着评估顺序未指定，这意味着由实现按照它想要的顺序执行评估，在这种情况下，它首先评估左侧。

有关更多详细信息（特别是第20点），请参见本评估订单参考。