下面的代码(可用作控制台应用程序):

static void Main(string[] args)
{
    int i = 0;
    i += i++;
    Console.WriteLine(i);
    Console.ReadLine();
}

i的结果是0。我以为会有2个(和我的一些同事一样)。可能编译器创建了某种结构,导致i为零。

我期望2的原因是,在我的思路中,右边的语句会先求值,使I加1。然后加上i,因为i已经是1了,所以是1加1。所以1 + 1 = 2。很明显,事实并非如此。

你能解释编译器做什么或者在运行时发生了什么吗?为什么结果是零?

某种免责声明:我非常清楚您不会(而且可能不应该)使用此代码。我知道我永远不会。尽管如此,我觉得了解它为什么会以这样的方式工作以及究竟发生了什么是很有趣的。


当前回答

上面的答案有很多很好的推理,我只是做了一个小测试,想和你分享

int i = 0;
i+ = i++;

这里result i显示0 result。 现在考虑以下情况:

案例1:

i = i++ + i; //Answer 1

之前我认为上面的代码类似于这个,所以第一眼看答案是1,而这个I的真正答案是1。

案例2:

i = i + i++; //Answer 0 this resembles the question code.

这里的增量操作符没有出现在执行路径中,不像前面的情况,i++有机会在加法之前执行。

我希望这对你有所帮助。谢谢

其他回答

变量后面的++操作符使其成为后加式。增量操作发生在语句中的其他所有操作之后,包括加法和赋值操作。相反,如果你把++放在变量之前,它会在i的值被计算之前发生,并给你预期的答案。

后修正自增操作符++,在表达式中给变量一个值,然后对i再次执行你分配的返回0(0)值的自增操作,这将覆盖增加的1(1),所以你得到0。您可以在++ operator (MSDN)中阅读更多关于自增操作符的信息。

i++的意思是:返回i的值,然后增加它。

I += i++表示: 取i的当前值。 添加i++的结果。

现在,让我们加入i = 0作为起始条件。 I += i++现在是这样计算的:

i的当前值是多少?它是0。存储它,这样我们就可以将i++的结果添加到它。 Evaluate i++(求值为0,因为这是i的当前值) 加载存储值并将第2步的结果添加到其中。(0加0)

注意:在第2步结束时,i的值实际上是1。但是,在第3步中,通过在i的值增加之前加载它来丢弃它。

与i++不同,++i返回的是增加后的值。

因此,i+= ++i会得到1。

运行代码的反汇编:

int i = 0;
  xor         edx, edx
  mov         dword ptr i, edx         // set i = 0
i += i++;
  mov         eax, dword ptr i         // set eax = i (=0)
  mov         dword ptr tempVar1, eax  // set tempVar1 = eax (=0)
  mov         eax, dword ptr i         // set eax = 0 ( again... why??? =\ )
  mov         dword ptr tempVar2, eax  // set tempVar2 = eax (=0)
  inc         dword ptr i              // set i = i+1 (=1)
  mov         eax, dword ptr tempVar1  // set eax = tempVar1 (=0)
  add         eax, dword ptr tempVar2  // set eax = eax+tempVar2 (=0)
  mov         dword ptr i, eax         // set i = eax (=0)

等价的代码

它编译成与下面代码相同的代码:

int i, tempVar1, tempVar2;
i = 0;
tempVar1 = i; // created due to postfix ++ operator
tempVar2 = i; // created due to += operator
++i;
i = tempVar1 + tempVar2;

分解第二个代码(只是为了证明它们是相同的)

int i, tempVar1, tempVar2;
i = 0;
    xor         edx, edx
    mov         dword ptr i, edx
tempVar1 = i; // created due to postfix ++ operator
    mov         eax, dword ptr i
    mov         dword ptr tempVar1, eax
tempVar2 = i; // created due to += operator
    mov         eax, dword ptr i
    mov         dword ptr tempVar2, eax
++i;
    inc         dword ptr i
i = tempVar1 + tempVar2;
    mov         eax, dword ptr tempVar1
    add         eax, dword ptr tempVar2
    mov         dword ptr i, eax

打开拆卸窗口

大多数人不知道,甚至不记得,他们可以使用Visual Studio反汇编窗口看到最终的内存汇编代码。它显示的是正在执行的机器代码,而不是CIL。

在调试时使用这个:

调试(菜单)-> Windows(子菜单)->拆卸

那么后缀++发生了什么?

后缀++表示我们想在求值…之后增加操作数的值。每个人都知道……让人有点困惑的是“评估之后”的含义。

那么“评估之后”是什么意思呢?

操作数在同一行代码上的其他用法必须受到影响: A = i++ + i,第二个i受增量影响 Func(i++, i)第二个i受到影响 在同一行中的其他用法是关于短路运算符的,如||和&&: (false && i++ != i) || i == 0第三个i不受i++的影响,因为它没有被计算

那么i+ = i++;是什么意思呢?

这和i = i+ i++;

求值顺序为:

存储i + i(即0 + 0) 增量i (i变成1) 将步骤1的值赋给i (i变为0)

并不是说增量被丢弃了。

i = i++ + i;是什么意思?

这与前面的例子不同。第三个i受到增量的影响。

求值顺序为:

存储i(那是0) 增量i (i变成1) 存储步骤1 + i的值(即0 + 1) 将第3步的值赋给i (i变成1)

因为i++首先返回值,然后对其递增。但是当i被设为1后,你把它设回0。