尽管右侧有异常，但仍发生C ++中的赋值

我有一些（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 ++原理吗？

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

在C ++ 17中，首先引入了显式排序（首先评估了右侧）。

这意味着未指定评估顺序，这取决于实现以所需顺序执行评估，具体而言，在这种情况下，它首先评估左侧。

有关更多详细信息，请参见此评估订单参考（尤其是要点20）。

std :: map :: operator []

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

junk[id]导致上述插入，之后已经发生GetStuff()抛出。请注意，在C ++ 14中，这些事情发生的顺序是由实现定义的，因此对于其他编译器junk[id] = GetStuff();，如果GetStuff()抛出，则可能不会插入。

你误会了如何operator[]在工作std::map。

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

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

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

警告：insert仅在id尚未映射时才添加值。