C# 中的求值行为和顺序

Question

可能的重复：
C#：函数求值顺序（与 C 相比）

代码片段：

i += ++i;
a[++i] = i;
int result =  fun() - gun();
//statement of similar kind

是他们的行为在 C# 中定义良好？在 C++ 中，此类代码会调用未定义/未指定的行为。另请在回复中引用语言规范中的相关部分！

Answer 1

这里的关键是“1.4表达式”和“7.3.1运算符优先级和结合性”中的表。我不会重复 1.4 中的表格，而是引用 7.3.1 中的表格：

• 除了赋值运算符之外，
  所有二元运算符都是
  左结合，意味着
  操作从左到右执行
  正确的。例如，x + y + z 是
  计算为 (x + y) + z。
• 该
  赋值运算符和
  条件运算符 (?:) 是
  右结合，意味着
  操作从右到执行
  左边。例如，x = y = z 是
  评估为 x = (y = z)。

第一个是逻辑扩展（或：使用结合性规则）为：

i = i + ++i;

这里，顺序（来自表）是预递增，然后是加法，然后是赋值 - 所以我们应该期望 i 加倍一。事实上，使用 i=6，我们得到了预期的 13。

a[++i] = i;

再次从表中，顺序应该是数组访问、预递增、赋值 - 所以我期望第 i+1 个值是 i+1。事实上，检查一下：

    int[] a = { 0, 0, 0, 0, 0 };
    int i = 2;
    a[++i] = i;

我们确实得到了 {0, 0, 0, 3, 0}。

最后，方法调用优先于减法，然后是从左到右；所以它应该是fun()、gun()、-、赋值。

Answer 2

人们总是对此感到困惑，这是不幸的，因为在 C# 中它非常简单。规则是：

• 从执行线程、周期、故事结尾观察时，观察到子表达式是从左到右计算的。 （如果其他线程正在观察副作用，则允许其他线程观察到评估顺序不同。）

• 运算符执行的顺序由它们的优先级和关联性决定。

这是唯一的两个相关规则，它们完全定义了您给出的代码的行为。 首先对

i += ++i; 

i 求值，然后对 ++i 求值，然后执行 += 。

a[++i] = i; 

首先评估 'a'，然后评估 ++i，然后运行索引运算符，然后评估 i，然后进行赋值。

int result =  fun() - gun(); 

首先计算结果，然后是 fun，然后是gun，然后是减法，然后是赋值。

还请在您的回复中引用语言规范中的相关部分！

您完全有能力查看目录。不难找到。