java方法参数顺序_在这种传入方法调用和参数的情况下,是否保证Java评估顺序

我在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方法中执行.