下面的代码(可用作控制台应用程序):
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 a = 1;
int b = a++;
是1，因为a在被a后面的++加起来之前是1，人们称之为后缀符号。还有一种前缀表示法，情况正好相反:如果++位于前面，表达式将返回操作之后的值:
int a = 1;
int b = ++a;
这里B是2。
对于你的代码，这意味着
int i = 0;
i += (i++);
i++返回0(如上所述)，因此0 + 0 = 0。
i += (++i); // Here 'i' would become two
Scott Meyers在“有效的c++编程”中描述了这两种符号之间的区别。在内部，i++ (postfix)记住i的值，并调用前缀符号(++i)并返回旧值i。这就是为什么你应该总是在for循环中使用++i(尽管我认为所有现代编译器都在for循环中将i++转换为++i)。
其他回答
要非常小心:阅读C常见问题:你试图做的事情(同一个变量的赋值和++混合)不仅没有指定，而且也是未定义的(这意味着编译器在求值时可能会做任何事情!)，不仅给出“合理”的结果)。
请阅读第三部分。整个章节都很值得一读!特别是3.9，这解释了未指明的含义。3.3节简要介绍了使用“i++”之类的工具可以做什么，不能做什么。
根据编译器内部的不同，您可能会得到0、2、1，甚至其他任何值!因为它是没有定义的，所以他们这样做是可以的。
因为i++首先返回值，然后对其递增。但是当i被设为1后，你把它设回0。
c#在做什么，以及困惑的“为什么”
我还期望值为1…但对这个问题的一些探索确实澄清了一些观点。
考虑以下方法:
static int SetSum(ref int a, int b) { return a += b; }
static int Inc(ref int a) { return a++; }
我期望i+ = i++与SetSum(ref I, Inc(ref I))相同。语句之后的i值是1:
int i = 0;
SetSum(ref i, Inc(ref i));
Console.WriteLine(i); // i is 1
但后来我得出了另一个结论……I += i++实际上和I = I + i++…所以我创建了另一个类似的例子，使用这些函数:
static int Sum(int a, int b) { return a + b; }
static int Set(ref int a, int b) { return a = b; }
调用这个Set(ref i, Sum(i, Inc(ref i)))后，i的值为0:
int i = 0;
Set(ref i, Sum(i, Inc(ref i)));
Console.WriteLine(i); // i is 0
这不仅解释了c#在做什么……但这也是为什么很多人对它感到困惑……包括我。
这样的:
int i = 0;
i += i++
可以看作是你所做的(以下是一个粗略的简化):
int i = 0;
i = i + i; // i=0 because the ++ is a postfix operator and hasn't been executed
i + 1; // Note that you are discarding the calculation result
实际发生的事情比这更复杂——看看MSDN, 7.5.9后缀增减操作符:
形式为x++或x——的后缀递增或递减操作的运行时处理由以下步骤组成: 如果x被归为变量: 对X求值以生成变量。 保存x的值。 所选操作符将以保存的x值作为参数调用。 运算符返回的值存储在x求值所给出的位置中。 保存的x值成为操作的结果。
注意，由于优先级的顺序，后缀++出现在+=之前，但结果最终未被使用(因为使用了i的前一个值)。
更彻底地将i+ = i++分解为组成它的各个部分需要知道+=和++都不是原子操作(也就是说，它们都不是单个操作)，即使它们看起来像是原子操作。这些实现的方式涉及到临时变量，在操作发生之前复制i -每个操作一个。(我将分别为++和+=使用的临时变量使用iAdd和iAssign的名称)。
所以，更接近实际情况的近似是:
int i = 0;
int iAdd = i; // Copy of the current value of i, for ++
int iAssign = i; // Copy of the current value of i, for +=
i = i + 1; // i++ - Happens before += due to order of precedence
i = iAdd + iAssign;
这只是从左到右、自底向上的抽象语法树的计算。从概念上讲，表达式的树是从上到下遍历的，但是当递归从树的底部弹出时，计算就展开了。
// source code
i += i++;
// abstract syntax tree
+=
/ \
i ++ (post)
\
i
计算从考虑根节点+=开始。这是这个表达式的主要组成部分。必须计算+=的左操作数，以确定存储变量的位置，并获得前值为零。接下来，右边必须求值。
右边是一个后递增的++操作符。它有一个操作数i，它既作为值的来源，也作为值的存储位置进行计算。运算符对i求值，找到0，然后将1存储到该位置。它根据返回先验值的语义返回先验值0。
现在控制回到+=运算符。现在它有了完成操作的所有信息。它知道存储结果的位置(i的存储位置)以及先前的值，并且它有要添加到先前值的值，即0。所以i最后是0。
像Java一样，c#通过固定求值顺序，清除了C语言中一个非常愚蠢的方面。从左到右，自底向上:程序员可能期望的最明显的顺序。
