在方法调用和参数传入的情况下，是否保证Java评估顺序

Question

我做了一些有关JLS
15.7.4和15.12.4.2的阅读，但不能保证不会有任何
编译器/运行时优化 会 改变 方法参数求值的顺序。

假设以下代码：

public static void main (String[] args) {
  MyObject obj = new MyObject();
  methodRelyingOnEvalOrder(obj, obj.myMethod());
}

public static Object methodRelyingOnEvalOrder(MyObject obj, Object input) {
  if (obj.myBoolean())
    return null;
  else
    return input;
}

是否保证编译器或运行时 不会 进行如下错误的优化？这种优化看似正确，但当评估顺序很重要时，它是错误的。

在调用obj.myMethod更改将由返回的值的情况下，obj.myBoolean至关重要的是obj.myMethod首先调用，因为methodRelyingOnEvalOrder要求此更改首先发生。

//*******************************
//Unwanted optimization possible:
//*******************************
public static void main (String[] args) {
  MyObject obj = new MyObject();
  methodRelyingOnEvalOrder(obj);
}

public static Object methodRelyingOnEvalOrder(MyObject obj) {
  if (obj.myBoolean())
    return null;
  else
    return obj.myMethod();
}
//*******************************

如果可能， 请显示一些支持您答案的资源或Java文档。

注意：
请不要要求重写代码。这是我质疑评估顺序保证和编译器/运行时优化保证的特定情况。的执行obj.myMethod必须在发生main的方法。

Answer 1

您引用的JLS（15.7.4）的位 确实 保证：

每个参数表达式似乎都在其右侧任何参数表达式的任何部分之前被完全评估。

并且在15.12.4.2中：

然后，使用参数值继续评估，如下所述。

“出现于”部分允许进行一些优化，但是它必须不 可见 。 在 “评估然后继续” 之前
评估所有参数的事实表明，在执行该方法之前，这些参数实际上已被完全评估。（或者至少是可见的结果。）

因此，例如，如果您有以下代码：

int x = 10;
foo(x + 5, x + 20);

有 可能 进行优化以同时评估x + 5和评估x + 20：您无法检测到这种情况。

但是，在您给出的情况下，您 将 能够检测到对调用obj.myMethod之后发生的调用obj.myBoolean()，因此这 根本不是
有效的优化。

简而言之：您可以假定一切都将以明显的方式执行。