Java中评估顺序的规则是什么？

int[] a = {4,4};
int b = 1;
a[b] = b = 0;

#1 楼

让我说得很清楚，因为人们一直误解这一点：

子表达式的求值顺序既与关联性无关，又与优先级无关。关联性和优先级确定操作符的执行顺序，但不确定子表达式的计算顺序。您的问题与子表达式的计算顺序有关。

考虑A() + B() + C() * D()。乘法比加法具有更高的优先级，并且加法是左关联的，所以这等效于(A() + B()) + (C() * D())。但是知道这仅告诉您第一次加法将在第二次加法之前发生，并且乘法将在第二次加法之前发生。它不会告诉您将以什么顺序调用A（），B（），C（）和D（）！ （它也不会告诉您乘法是在第一次加法之前还是之后发生。）通过将其编译为：

d = D()          // these four computations can happen in any order
b = B()
c = C()
a = A()
sum = a + b      // these two computations can happen in any order
product = c * d
result = sum + product // this has to happen last

，完全有可能遵守优先级和关联性规则。
所有优先级和关联性规则都遵循该规则-第一个加法发生在第二个加法之前，而乘法发生在第二个加法之前。显然，我们可以按任意顺序调用A（），B（），C（）和D（），但仍然遵守优先级和关联性规则！

我们需要与解释子表达式计算顺序的优先级和关联性规则。 Java（和C＃）中的相关规则是“子表达式从左到右求值”。由于A（）出现在C（）的左侧，因此无论C（）参与乘法而A（）仅涉及加法，都将首先评估A（）。

因此，现在您有足够的信息来回答您的问题。在a[b] = b = 0中，关联性规则说这是a[b] = (b = 0);，但这并不意味着b=0首先运行！优先级规则说，索引的优先级高于赋值，但这并不意味着索引器在最右边的赋值之前运行。

（更新：此答案的早期版本有些小且实际上不重要我已更正的部分中的遗漏。我还写了一篇博客文章，描述了为什么这些规则在Java和C＃中是明智的：https://ericlippert.com/2019/01/18/indexer-error-cases /）

优先级和关联性仅告诉我们，给b分配零必须在分配给a[b]之前发生，因为分配给零将计算在索引操作中分配的值。仅凭优先顺序和关联性就无法确定在a[b]之前还是之后对b=0进行评估。

同样，它与以下内容相同：A()[B()] = C()-我们所知道的是，索引必须在分配之前进行。我们不知道A（），B（）还是C（）首先基于优先级和关联性运行。我们需要另外一条规则来告诉我们。

规则再次是，“当您选择首先要做什么时，请始终从左到右”。但是，在这种特定情况下会有一个有趣的皱纹。由空集合或超出范围的索引引起的引发异常的副作用是否被视为分配左侧计算的一部分，还是分配本身计算的一部分？ Java选择后者。 （当然，这是一个区别，仅在代码已经错误的情况下才有意义，因为正确的代码不会首先取消引用null或传递错误的索引。）

那会发生什么呢？


a[b]位于b=0的左侧，因此a[b]首先运行，生成a[1]。但是，延迟检查此索引操作的有效性。
然后发生b=0。
然后进行a有效且a[1]在范围内的验证
最后将值分配给a[1]。

因此，尽管在这种特定情况下，对于那些本来就不会在正确的代码中发生的罕见错误情况，仍需要考虑一些细微之处，但总的来说，您可以得出以下结论：在正确的事情之前。这就是您要寻找的规则。关于优先权和关联性的讨论既令人困惑又无关紧要。

人们总是错误地理解这些东西，即使人们应该更了解。我编辑了太多编程书籍，错误地陈述了规则，因此不足为奇的是，许多人对优先级/关联性与评估顺序之间的关系抱有完全错误的信念，即实际上没有这种关系;它们是独立的。

如果您对此主题感兴趣，请参阅我关于该主题的文章以进一步阅读：

http://blogs.msdn.com/b/ericlippert/ archive / tags / precedence /

它们是关于C＃的，但是大多数这些东西同样适用于Java。

#2 楼

但是，埃里克·利珀特（Eric Lippert）的出色回答并没有帮助他们，因为它在谈论另一种语言。这是Java，其中Java语言规范是对语义的明确描述。尤其是§15.26.1是相关的，因为它描述了=运算符的评估顺序（我们都知道它是右关联的，是吗？）。将其减少到我们在此问题中关心的位：

如果左侧操作数表达式是数组访问表达式（第15.13节），则需要许多步骤：

首先，评估左侧操作数数组访问表达式的数组引用子表达式。如果该评估突然完成，则赋值表达式由于相同的原因而突然完成；不评估（左操作数数组访问表达式的）索引子表达式和右操作数，并且不进行赋值。
否则，对左操作数数组访问表达式的索引子表达式进行求值。如果此评估突然完成，则出于相同的原因，赋值表达式也会突然完成，并且不会评估右侧操作数并且不会发生赋值。
否则，将评估右侧操作数。如果该评估突然完成，则由于相同的原因，赋值表达式也会突然完成，并且不会发生赋值。简而言之，我们在这里可以忽略……]
简而言之，Java具有非常紧密定义的评估顺序，该顺序几乎在任何运算符或方法调用的参数内从左到右。数组分配是更复杂的情况之一，但即使在这里，它仍然是L2R。 （JLS建议您不要编写需要这种复杂语义约束的代码，我也一样：您只需为每个语句分配一个指令就可以解决很多麻烦！）
C和C ++在这方面肯定与Java不同：它们的语言定义故意使评估顺序未定义，以实现更多优化。 C＃显然类似于Java，但是我对它的文献了解不足，无法指向正式的定义。 （这实际上因语言而异，但Ruby严格来说是T2R，Tcl也是严格的L2R（尽管由于本身与此处无关，它本身没有赋值运算符），Python在赋值方面是L2R却是R2L，我觉得很奇怪，但是您去了。）

#3 楼

a[b] = b = 0;

1）数组索引运算符的优先级高于赋值运算符（请参见此答案）：

(a[b]) = b = 0;

2）根据15.26。 JLS的赋值运算符


有12个赋值运算符。在语法上都是右关联的（它们从右到左分组）。因此，a = b = c意味着a =（b = c），它将c的值分配给b，然后将b的值分配给a。

(a[b]) = (b=0);

3）根据15.7。 JLS的评估顺序


Java编程语言保证运算符的操作数似乎按照特定的评估顺序（即从左到右）进行评估。


和


二进制运算符的左操作数似乎在对右操作数的任何部分求值之前已被完全求值。


所以：

a）首先将(a[b])评估为a[1]

b）然后将(b=0)评估为0

/> c）(a[1] = 0)评估为最新

#4 楼

您的代码等效于：

int[] a = {4,4};
int b = 1;
c = b;
b = 0;
a[c] = b;

解释结果。

#5 楼

考虑下面的另一个更深入的示例。
作为一般经验法则：
解决这些问题时，最好先阅读一张优先顺序规则和关联性表，以供阅读。 http://introcs.cs.princeton.edu/java/11precedence/
这是一个很好的例子：

System.out.println(3+100/10*2-13);

问题：以上代码行的输出是什么？
答案：应用优先级和关联性规则
步骤1：根据优先级规则：/和*运算符优先于+-运算符。因此，执行此方程式的起点将缩小为：

100/10*2

步骤2：根据规则和优先级：/和*优先级相等。
由于/和*运算符为优先级相等时，我们需要查看这些运算符之间的关联性。
根据这两个特定运算符的关联性规则，
我们从左到右开始执行方程，即执行100/10 first：

100/10*2
=100/10
=10*2
=20

步骤3：现在方程式处于以下执行状态：

=3+20-13

根据规则和优先级：+和-优先级相等。
我们现在需要查看运算符+和-之间的关联性。根据这两个特定运算符的关联性，
我们开始从左向右执行方程，即首先执行3 + 20：

=3+20
=23
=23-13
=10

10是编译时的正确输出
/>同样，在解决这些问题时，与您一起拥有优先顺序规则和关联性表非常重要，例如http://introcs.cs.princeton.edu/java/11precedence/