这个“s”实际上是最终的吗？

Question

这是一些示例代码（假设 Java 8）。

while (true){
    Socket s = serverSocket.accept();
    // some code here ... we don't assign anything to s again here ... 
}

s 在循环内有效吗？

Answer 1

假设s 没有在其声明之后被分配，那么是的，s 是“有效的最终”，根据JLS, Section 4.12.4，它定义了它，在你的情况下：

某些未声明为最终的变量被视为实际上是最终的：

• 如果满足以下所有条件，则声明符具有初始化程序（第 14.4.2 节）的局部变量实际上是最终的：

  • 它没有被声明为final。

  • 它永远不会出现在赋值表达式的左侧（第 15.26 节）。 （请注意，包含初始化程序的局部变量声明符不是赋值表达式。）

  • 它永远不会作为前缀或后缀递增或递减运算符的操作数出现（第 15.14 节、第 15.15 节）。

• 如果满足以下所有条件，则声明符缺少初始化程序的局部变量实际上是最终变量：

  • 它没有被宣布为最终的。

  • 当它出现在赋值表达式的左侧时，它肯定是未赋值的，并且在赋值之前也不是肯定赋值的；也就是说，它在赋值表达式的右侧（第 16 节（定义赋值））之后肯定是未赋值的，也不是肯定赋值的。

  • 它永远不会作为前缀或后缀递增或递减运算符的操作数出现。

您只在声明时分配s，并且作为一个对象，它不能是递增或递减运算符的操作数，因此它实际上是最终的。

它还说明了一个变量在另一种情况下可以是有效的final，如果它在声明时没有赋值，只要它只赋值一次，它肯定不是在声明之前赋值，它肯定是在声明之后赋值。

此外，在该部分的末尾，它指出：

如果一个变量实际上是final，则在其声明中添加 final 修饰符不会引入任何编译时错误。相反，如果删除了 final 修饰符，则在有效程序中声明为 final 的局部变量或参数将变为有效的最终变量。

您应该能够明确地使用final 而不会导致编译器错误。如果是这样，它实际上是最终的。