java - 这两个循环是否总是等价的

Question

在Java编程语言中，对于任意表达式exp和循环体body，下面两个循环是否等价？唯一的附带条件应该是新引入的变量 b 没有出现在方法的其他地方(并且没有隐藏属性，...)

while(exp) {
    body
}

和

for(boolean b = exp; b; b = exp) {
    body
}

Answer 1

是的，在这些假设下。

for 构造在第一次迭代之前检查条件，因此如果 b 为 false，则主体将永远不会执行。换句话说，在您的代码示例中，exp 在每次循环迭代之前被精确计算一次，结果用于决定是否执行该迭代。

但为什么要编写这样的代码？