最终局部变量与 while 循环一起使用时出现不同的编译错误

Question

示例代码：

编译错误：

可能已经分配了最终的局部变量标志

final boolean flag;
while (flag = false) { // I am using = instead of == just to test it
    System.out.println("inside loop");
}

编译错误：

无法访问的代码

final boolean flag = false;
while (flag) {
    System.out.println("inside loop");
}

我知道：

• 局部变量必须在首次使用前进行初始化。
• 根据编码标准，最终局部变量必须在声明时进行初始化。

问题：

• 这些语句之间有什么区别？据我了解，两者都是一样的。
• 为什么第一个示例代码不涉及无法访问的代码。第二个编译错误我很清楚。

---

如果在 if 条件下工作正常

final boolean flag;
if (flag = false) { // no compilation error
    System.out.println("inside if block");
}

---

如果我在while 循环中添加一个break 语句，以确保编译器可以在其生命周期内只初始化一个final 局部变量，那么如果工作正常。

final boolean flag;
while (flag = false) {
    System.out.println("inside if block");
    break;
}

Answer 1

案例 1： 每次在“while”循环中迭代时都会分配“flag”。您使用的是赋值运算符 '=' 而不是 '=='。

案例 2： 'flag' 始终为 false，因此 'if' 中的代码永远不会执行。

Answer 2

这些陈述之间有什么区别？根据我的 理解两者是一样的。

你的代码怎么会一样？？？在您的第一种情况下，您将 flag 变量初始化为 false，因此它将假设循环的每次迭代都会初始化 flag 变量（编译器在编译时做出的决定，因为它不知道 no . of 迭代），但实际上此代码永远不会被执行---因此将其视为非最终变量，因此是矛盾的，而在第二种情况下它也不会运行由于该标志仅在声明步骤中已被声明为 false，NOT INSIDE THE BODY OF LOOP！！！所以，第二个将是一个无限循环！

final boolean flag;
while (flag = false) {                   // First code---flag final variable initialised with each iteration
System.out.println("inside loop");
}

final boolean flag = false;
while (flag) {                          //  Second code
System.out.println("inside loop");
}

为什么第一个示例代码没有讨论无法访问的代码。第二 我很清楚编译错误。

因为先报任何一个编译错误。在这种情况下，第一个显示与flag 变量错误声明相关的错误。取自Wikipedia：

最终变量只能初始化一次，或者通过 初始化程序或赋值语句。它不需要是 在声明点初始化：这被称为“空白 final" 变量。一个类的空白 final 实例变量必须是 在它所在的类的每个构造函数中明确分配 宣布；同样，一个空白的 final 静态变量肯定是 在声明它的类的静态初始化器中赋值；

Answer 3

从 cmets 看来，您似乎正在寻找为什么第一个代码确实会为您提供 The final local variable flag may already have been assigned 而不是 Unreachable error。

这是因为这里详细介绍了 java 编译的各个阶段：http://openjdk.java.net/groups/compiler/doc/compilation-overview/

表达式在第一阶段进行评估 (Attr )。只有在第一阶段没有错误时才进行流分析。由于第一阶段发现非法赋值，第二阶段（Flow）不会被执行，你也不会得到Unreachable Error