三元运算符未按预期处理后增量

Question

所以这可能是一个愚蠢的问题，但我时不时地遇到这种语法错误，似乎无法吸取教训-因为我根本不明白为什么这不起作用。

由于某种原因，三元运算符不能处理增量或减量。

在控制台中，我发现了这些结果:

  // Firstly
var iteration = undefined; 

  // Expected increment, unexpected result
iteration = iteration == undefined ? 0 : iteration++;  //returns 0 every time

  // Then I thought maybe ternary doesn't return assignments
iteration = iteration == undefined ? 0 : iteration+=1; //increments iteration

  // Works as expected
iteration = iteration == undefined ? 0 : iteration+1;  //increments iteration

在搜索答案时，我发现另一个用户对意外行为有同样的体验。

经过更多的搜索，我发现前增量工作正常:

iteration = iteration == undefined ? 0 : ++iteration; //increments iteration

在试图确定预增量的工作原理时，遇到了这个答案。

这让我明白了为什么它能工作，而后增量不能。我想，如果三进制的操作顺序是那样的话，在某个时候，递增的值可能会被初始值覆盖，但这是我能想到的全部。

但实际上，我从后增量中获得的预期行为是返回迭代，然后对其进行迭代......后。

例如，这段代码：

var bar = undefined;
//foo is set immediately and bar is incremented after it is returned
foo = bar == undefined ? bar=0 : bar++; //sets foo to be what bar was before the increment

希望你能在这里忍受我。我确实明白，在找到了许多可靠和直接的方法来完成这项工作后，我不需要答案，但我只是困惑为什么会这样。

问题：

为什么三元运算符不更新返回的后增量(或后缀)值——在它已经被返回之后？

对这一回答的评论指出

计数器计算为计数器的当前值，然后将其递增。在递增后，您将把计数器的旧值重新分配给计数器。

但我仍然不知道为什么操作顺序会这样。

另一个有用的前递增与后递增C（具有讽刺意味的搞笑答案）

Answer 1

在赋值表达式中，首先计算整个右侧，然后将其结果值赋给左侧。这意味着后增量表达式需要首先被求值并转换成一个值，该值随后将被分配给左侧。post increment操作符不知道它属于哪个更大的表达式。它将被自动评估。即，它不会首先返回它的值，然后完成赋值操作，然后完成后递增操作。当对表达式< code>iteration 求值时，< code>iteration的值将递增，并且该表达式会立即产生< code>iteration的原始值。

Answer 2

无论解释器在调用前增量或后增量的表达式上运行，都会在解析表达式之前立即重新分配变量。例如：

iteration = iteration == undefined ? 0 : iteration++;

就像

function doPostIncrement() {
  const preIncrementValue = increment;
  increment = increment + 1;
  return preIncrementValue;
}
iteration = iteration == undefined ? 0 : doPostIncrement();

此外，分配解析为值，所以

iteration = iteration == undefined ? 0 : iteration+=1; //increments iteration

就像

function addOneToIncrementAndReturnIncrement() {
  increment = increment + 1;
  return increment;
}
iteration = iteration == undefined ? 0 : addOneToIncrementAndReturnIncrement();

它实际上不是函数调用，但也没有什么不同，因为重新分配是在函数解析之前完成的，或者在前/后增量表达式解析之前完成的。