Javascript中的预增量

Question

我刚刚在 Javascript 中遇到了一个关于预增量的“功能”。在我使用过的所有其他语言中，它就像我想象的那样。例如。在 C++ 中：

#include <iostream>

int main()
{
    int i = 0;

    i += ++i;

    std::cout << i << std::endl; // Outputs 2.
}

所以，++i 不会复制变量，因此输出为 2。

在 PHP 中相同：

<?php

$i = 0;

$i += ++$i;

echo $i; // Outputs 2.

但是，在 Javascript 中：

var i = 0;

i += ++i;

console.log(i); // Outputs 1.

所以它看起来像在 Javascript 中，它复制了 i 并且不引用变量。这是故意的吗？如果是，为什么？

Answer 1

来自 EcmaScript 标准：

11.4.4 前缀自增运算符

产生式 UnaryExpression : ++ UnaryExpression 的评估如下：

1. 设 expr 为计算 UnaryExpression 的结果。
2. 如果以下条件都为真，则抛出 SyntaxError 异常： �
   • Type(expr) is Reference is true
   • IsStrictReference(expr) 为真
   • Type(GetBase(expr)) 是环境记录
   • GetReferencedName(expr) 是“eval”或“arguments”
3. 让 oldValue 为 ToNumber(GetValue(expr))。
4. 使用与 + 运算符相同的规则（参见 11.6.3），让 newValue 为将值 1 与 oldValue 相加的结果。
5. 调用 PutValue(expr, newValue)。
6. 返回新值。

和

11.13.2 复合赋值 (op=)

产生式AssignmentExpression : LeftHandSideExpressionAssignmentOperatorAssignmentExpression，其中AssignmentOperator为@=，@表示上述运算符之一，计算如下：

1. 令 lref 为计算 LeftHandSideExpression 的结果。
2. 设 lval 为 GetValue(lref)。
3. 设 rref 为评估 AssignmentExpression 的结果。
4. 设 rval 为 GetValue(rref)。
5. 令 r 为将运算符 @ 应用于 lval 和 rval 的结果。
6. 如果以下条件都为真，则抛出 SyntaxError 异常：
   • Type(lref) is Reference is true
   • IsStrictReference(lref) 为真
   • Type(GetBase(lref)) 是环境记录
   • GetReferencedName(lref) 是“eval”或“arguments”
7. 调用 PutValue(lref, r)

因此，var i = 0; i += ++i 是：

i = 0;
lvalue = value(i), which is 0;
rvalue = value(++i), which is: increment i, then value of i (1);
thus, rvalue = 1;
i = lvalue (0) + rvalue (1), which is 1.

完全按照规范。

但是，在 C++ 中，这被特别定义为未定义的行为，因此在不同的编译器上，您可能还会得到 1. 或 99。或者它可能会使您的计算机着火。所有这些都是符合标准的编译器。因此，大多数人会建议您只在语句中使用一次前/后自增变量。

Answer 2

我相信这是因为 javascript 将var i = 0; i += ++i; 视为这样：

var i = 0;
++i = 1;
i += 1;

因为++i在执行+=之前把i变成了1，所以是0 + 1 = 1

其实我越想它，它为什么会做其他事情呢？

有两个任务发生，一个必须在另一个之前完成。所以这两个选项是：

• 首先执行 ++i，并使其 i = i + 1 其中 i 从 0 开始并等于 到 1

或

• 首先执行 +=，并使其 i = 0 + (++i)，这也等同于 1