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;
}