c++ - 是在索引一个新的 map 元素并将读取它的东西分配给它未定义的行为，还是只是未指定的？

Question

回答后this question , 关于所讨论的代码是否为未定义行为的问题进行了长时间的讨论。这是代码:

std::map<string, size_t> word_count;
word_count["a"] = word_count.count("a") == 0 ? 1 : 2;

首先，众所周知，这至少是未指定的。结果因首先评估作业的哪一侧而异。在我的回答中，我遵循了四个结果案例中的每一个，首先评估哪一方的因素以及该元素是否在此之前存在。

还有一个简短的表格出现了:

(x = 0) = (x == 0) ? 1 : 2; //started as
(x = 0) = (y == "a") ? 1 : 2; //changed to

我声称它更像这样:

(x = 0, x) = (x == 0) ? 1 : 2; //comma sequences x, like [] should

最终，我找到了一个似乎对我有用的例子:

i = (++i,i++,i); //well-defined per SO:Undefined Behaviour and Sequence Points

回到最初，我将其分解为相关的函数调用，以便于理解:

operator=(word_count.operator[]("a"), word_count.count("a") == 0 ? 1 : 2);
   ^       inserts element^                        ^reads same element
   |
assigns to element

如果 word_count["a"] 不存在，有人认为它会被分配给 twice 而中间没有排序。如果我认为是真实的两件事实际上是:

1. When a side is picked to be evaluated, the whole side has to be evaluated before the other side can start.

2. 诸如 word_count["a"] = 1 的构造表现出明确定义的行为，即使在插入元素然后分配给的情况下也是如此。

这两个说法是真的吗？最终，这实际上是未定义的行为吗？如果是，为什么第二个语句有效(假设有效)？如果第二个为假，我相信世界上所有的 myMap[i]++; 都是病式的。

有用链接:Undefined behavior and sequence points

Answer 1

行为未指定，但并非未定义。

注意，在表达式中:

word_count["a"] = word_count.count("a") == 0 ? 1 : 2;
//              ^

用^标记的赋值运算符是内置赋值运算符，因为std::map的运算符[ ] 返回一个 size_t&。

根据 C++11 标准关于内置赋值运算符的第 5.17/1 段:

The assignment operator (=) and the compound assignment operators all group right-to-left. [..] In all cases, the assignment is sequenced after the value computation of the right and left operands, and before the value computation of the assignment expression. With respect to an indeterminately-sequenced function call, the operation of a compound assignment is a single evaluation.

这意味着在内置赋值中，例如:

a = b

首先对操作数进行求值(顺序不定)，然后进行赋值，最后对整个赋值表达式进行值计算。

考虑原始表达式:

word_count["a"] = word_count.count("a") == 0 ? 1 : 2;
//              ^

由于上面引用的段落，在任何情况下都不会对同一对象有两个未排序的赋值:标记为 ^ 的赋值将始终在之后排序operator [] 执行的赋值(作为左侧表达式求值的一部分)，以防键 "a" 不存在于 map 。

但是，根据首先评估赋值的哪一侧，表达式将有不同的结果。因此，行为是未指定的，但不是未定义的。