c++ - 尽管右侧出现异常，但 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

在 C++17 之前，赋值运算符的左右两侧没有顺序。

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

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

见 this evaluation order reference了解更多详情(尤其是第 20 点)。