java - Java字节码中的奇数模式

Question

我一直在查看一些 Java 字节码，并且一直在其中发现一个奇怪的模式，我似乎无法将其转换为任何合理的 Java 构造：

    if ( <cond1> )
        goto Label;

    do {
        <code1>
Label:
        <code2>
    } while ( <cond2> );

是否有任何合理的 Java 构造可以反编译成？我能想到的只是非常复杂的模式，它们引入了额外的状态来跟踪它是否是循环的第一次迭代。

Answer 1

for (init condition for which cond2 reduces to cond1; cond2; code1) {
  code2;
}