JVM选项可优化循环语句

Question

我在学校被告知，修改a的index变量是一种不好的做法for loop：

范例：

for(int i = 0 ; i < limit ; i++){
    if(something){
        i+=2;      //bad
    }
    if(something){
        limit+=2;      //bad
    }
}

有论据认为， 某些编译器优化可以优化循环， 而无需重新计算索引并限制每个循环。

我进行了一些测试，java似乎默认情况下每次都会重新计算索引和绑定。

我想知道是否有可能在中激活这种功能JVM HotSpot？

例如，优化这种循环：

for(int i = 0 ; i < foo.getLength() ; i++){   }

无需写：

int length = foo.getLength()
for(int i = 0 ; i < length ; i++){   }

这只是一个例子，我很想尝试一下改进。

编辑

根据Peter Lawrey的回答， 为什么在这个简单的示例中JVM不内联getLength()方法？：

public static void main(String[] args) {
   Too t = new Too();
   for(int j=0; j<t.getLength();j++){
   }
}


class Too {

    int l = 10;
    public Too() {
    }
    public int getLength(){
        //System.out.println("test");
        return l;
    }
}

在输出中，“ test”被打印10次。

我认为优化这种执行可能会很好。

编辑2： 似乎我误解了…

我已经删除了println，实际上探查器告诉我该方法getLength()在这种情况下甚至不会调用一次。

Answer 1

我在Java中进行了一些测试，似乎默认情况下每次都会重新计算索引和绑定。

根据Java语言规范，这是：

for(int i = 0 ; i < foo.getLength() ; i++){   }

表示getLength()在每次循环迭代时调用。Java编译器只有在可以有效 证明 它不会改变可观察到的行为的情况下，才 可以
将getLength()调用移出循环。 __

（例如，如果getLength()仅返回某个变量的值，那么JIT编译器就有可能内联该调用。如果 内联后
它可以推断出该变量不会改变（在某些假设下），则可以应用提升另一方面，如果getLength()涉及到获取并发或同步集合的长度，则由于其他线程的潜在作用，允许提升优化的机会微乎其微。

这就是 允许 编译器执行的操作。

我想知道是否可以在JVM HotSpot中激活这种功能？

简单回答是不。

您似乎建议使用一个编译器开关，该开关告诉/允许编译器忽略JLS规则。没有这样的开关。这样的开关将是 BAD IDEA
。可能会导致正确/有效/正在运行的程序中断。考虑一下：

class Test {
   int count;

   int test(String[] arg) {
       for (int i = 0; i < getLength(arg); i++) {
           // ...
       }
       return count;
   }

   int getLength(String[] arg) {
       count++;
       return arg.length;
   }
}

如果允许编译器将getLength(arg)调用移出循环，则它将更改该方法被调用的次数，从而更改该test方法返回的值。

更改正确编写的Java程序的行为的Java优化不是有效的优化。（请注意，多线程往往会使人感到困惑。JLS，特别是内存模型规则，允许编译器执行优化，如果不同步，它们可能导致不同线程看到应用程序状态的不一致版本……正确，导致行为从开发人员的角度来看是错误的。但真正的问题在于应用程序，而不是编译器。）

顺便说一句，您不应该在循环主体中更改循环变量的一个 更有说服力的 理由是，这会使您的代码更难以理解。