C# 编译器行为问题？

Question

大家好，下面的代码中，第二个表达式之后 d 的结果应该是什么？

        int d = 1;
        d += d++;

之后人们会假设 d 为 3，但一元增量 d++ 似乎没有生效，并且 d 保留值 2。

这个 bug 有名称吗？是否存在其他支持一元增量（如 C#）的编译器？

Answer 1

这不是一个错误，它的行为完全符合预期。

+= 运算符扩展为：

d = d + d++;

这意味着当结果分配回变量时，++ 运算符引起的更改将被覆盖。

Answer 2

如果你看一下生成的 IL，你就会明白为什么结果是 2 而不是 3。

IL_0000:  ldc.i4.1  // load constant 1 on evaluation stack
IL_0001:  stloc.0   // pop and store value in local 0
IL_0002:  ldloc.0   // load value of local 0 on evaluation stack
IL_0003:  ldloc.0   // repeat, stack is now 1, 1
IL_0004:  dup       // duplicate topmost value on evaluation stack, 
                    // i.e. stack is now 1, 1, 1
IL_0005:  ldc.i4.1  // load constant 1 on evaluation stack
IL_0006:  add       // add two topmost values on stack, 
                    // i.e. 1 and 1 and push result on stack
IL_0007:  stloc.0   // pop and store this value in local 0
IL_0008:  add       // add the two remaining values on the stack
                    // which again happens to be 1 and 1 and push result to stack
IL_0009:  stloc.0   // pop and store this value in local 0

换句话说：最终存储的值是 1 和 1 的和。

（上面的代码来自发布模式构建）

Answer 3

如果您以这种方式重写代码，它将把 d 设置为 3：

int d = 1;
d += ++d;

查看 ++ Operator 文档，以解释为什么您的示例的行为方式如此。
摘抄：

第二种形式是后缀增量
手术。操作结果
是其之前的操作数的值
已增加。

正如 @Guffa 指出的，这不是一个错误，只是 d 中后缀增量操作的结果被 += 操作覆盖。

Answer 4

我经常收到有关 ++ 运算符“损坏”的问题；几乎总是因为提出问题的人习惯了某些行为 ++ 没有明确定义的语言（例如 C++）中的工作方式。这是我最近写的关于这种情况的文章：

http://blogs.msdn.com/ericlippert/archive/2009/08/10/precedence-vs-order-redux.aspx

Answer 5

你尝试过++d吗？ d++不是之后评估的吗？

Answer 6

我认为 d++ 的行为与 ++d 不同，尽管存储在 d 中的最终结果是相同的。

Answer 7

愚蠢的代码是不可预测的。我可以推荐一下吗

d += 2;

Answer 8

d++ 和 ++d 是不同的。也称为“选择未损坏。”

Answer 9

...这就是为什么我发现后/前递增/递减运算符在与其他运算符一起用于表达式时非常不可读的原因的一个例子。您描述的行为是正确的，但很难推理，导致误解和错误。

尽管它比较冗长，但我会将其重写为：

int d = 1;
d += d;
++d;

请注意使用前增量运算符而不是后增量运算符，以便编译器认为它不需要保留旧值的副本。