do-while循环的范围？

Question

在 Java 中，do-while 循环的主体和循环条件不属于同一范围。所以下面的代码不会编译：

do {
    boolean b = false;
} while (b); // b cannot be resolved to a variable

但这段代码对我来说确实有意义。

另外，如果正文和条件在同一范围内，我找不到任何陷阱；因为body总是会被执行，而Java没有Goto，我不知道如何跳过最外层do-while body范围内的变量声明。即使有可能，编译器总能检测到这种可能性，然后产生编译时错误。

这种行为是否有任何原因（除了将do-while 循环保持与while 相同的格式）？我真的很好奇。感谢您的任何意见！

Answer 1

按照您的逻辑，b 在首次使用之前不会被定义：

do {
    continue;
    boolean b = false;
} while (b); // b cannot be resolved to a variable

请注意，boolean 标志通常是一种代码异味，尽量避免使用它们而不是与之抗争。

Answer 2

因为这是 Java 定义范围的一种方式； {} 内部是一个新作用域。

IMO 对单个构造进行特殊处理没有多大意义。

Answer 3

在您的示例中，布尔变量 b 的范围为 do..while 循环的主体。由于条件检查是在主体外部执行的，因此变量超出了范围。正确的结构是：

boolean b = false ; // Or whichever initial value you want
do {
    b = false;
} while (b);

Answer 4

如果你想退出 do-while 块，而 boolean 定义在 do-while 块内，你可以写这样的东西。

do{
  boolean b;
  ...
  if(b){
    break;
  }
}while(otherCondition)  //or while(true)

Answer 5

do {
    boolean b = false;
}
while (b);

因为布尔变量b 是一个局部变量，其范围仅在block 内。

来自JLS：

每个局部变量声明语句都立即包含在 一个块。

Answer 6

这是基本的范围规则。在一组花括号 {} 中声明的变量在花括号末尾超出范围。它违反了标准范围规则，编译器检测这种情况将是额外的工作。

Answer 7

语句定义和变量在语句块{} 之外不可见，这就是编译器抱怨的原因。

while 和do ... while 的区别在于do ... while 保证至少执行一次，这是根据JLS 编写的更简单的方式

关于变量的范围，它必须是可见的，根据these rules 否则你会得到一个编译时错误。

Answer 8

public class DoWhileLoopExample {

    public static void main(String[] args) {

        int i=1;
        do {
            System.out.println("Do While Loop Example");

        } while(i<1);
    }
}