C#是否保证分支嵌套表达式的求值顺序？

Question

显然，C#同时处理嵌套表达式和链式表达式。如果嵌套和/或链接是线性的，那么很明显表达式的计算顺序是：

Foo（Bar（Baz（））。Bop（））只能按以下顺序计算：

• Baz（）
• Bop（）
• Bar（）
• Foo（）

但如果筑巢不是线性的呢？考虑：Foo（Baz（））。条形图（Bop（））

显然，以下内容必须是正确的：

• Baz在Foo
之前
• Foo在栏
之前
• Bop之前的Bar

但目前尚不清楚何时会评估Bop。以下任何一项都是可行的命令：

• 可能性#1
  • Bop（）
  • Baz（）
  • Foo（）
  • Bar（）
  • Baz（）
  • Baz（）

  我的直觉是，第三种选择可能是正确的。i、 e.在开始评估任何之前，它将完全评估Foo（Baz（））。条形图（Bop（））

  虽然我当然可以测试个人情况，看看会发生什么，但这并不能告诉我我的猜测是否总是正确的？

  但我的问题是：分支嵌套表达式的评估顺序是作为C#语言规范的一部分定义的，还是留给编译器的情境判断？

  如果不是，它至少是确定性的吗？

Answer 1

您可以在规范的第11节中找到答案。

具体来说，11.6.6函数成员调用说明：

函数成员调用的运行时处理由以下步骤组成，M是函数成员，如果M是实例成员，E是实例表达式：
。。。

• E被计算。如果此计算导致异常，则不执行进一步的步骤。
• 参数列表按照§11.6.2中的描述进行计算。

因此，给定表达式E. M（A），在计算A之前，将完全计算E。

对于Foo（Baz（））。Bar（Bop（））案例，如果我们看的是Bar（因此E是Foo（Baz（）），M是Bar，而参数列表是Bop（）），这意味着Foo（E）必须在Bop（参数列表）被评估之前得到充分评估，这意味着“可能性#3”是正确的。

还有11.6.2.3参数列表的运行时评估：

在函数成员调用的运行时处理过程中（§11.6.6），参数列表的表达式或变量引用按从左到右的顺序计算

所以在表达式M（A，B）中，A在B被计算之前被完全计算。