这个“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）的操作数。

• 一个局部变量，其声明符缺少初始化实际上最终如果以下所有条件都为真：

  • 它不声明为final。

  • 每当它出现在赋值表达式中的左手边时，它肯定是未分配的，并且在赋值之前没有明确赋值;也就是说，它肯定是未赋值的，并且在赋值表达式（§16（定义赋值））的右侧之后没有明确赋值。

  • 它永远不会发生作为前缀或后缀增量或减量运算符的操作数。

你只在声明时分配s，并作为一个对象时，它不能是递增或递减的运算数，所以它是有效的决赛。

它还声明变量在另一种情况下可以是有效的最终结果，如果它在声明时没有被赋值，只要它只被赋值一次，它肯定不会在声明前被赋值，并且在声明后明确赋值。

此外，在该节结束时，它指出：

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

您应该能够明确地将其设置为final而不会导致编译器错误。如果是这样，那实际上是最终的。