编译器说“变量可能尚未初始化”，尽管我有一个标志变量来保证它[重复]

Question

下面是我的代码片段：

Someclass someObject;
boolean success = true;
try {
    someObject = someOperation();
} catch (Exception e) {
    success = false;
}
if (success) {
    int number = Integer.valueOf(someObject.someMethord());
}

在这条线内：

 int number = Integer.valueOf(someObject.someMethord());

Java编译器抛出错误并说

错误：变量someObject可能尚未初始化`。

但是，如果success等于true，那么someObject就不可能没有被初始化，为什么会出现这个错误？

Answer 1

您可以这样更改您的声明：

Someclass someObject = null;

或者，您可以在try-get中执行所有操作，以确保某些Object将被正确初始化

try {
    Someclass someObject = someOperation();
    int number = Integer.valueOf(someObject.someMethod());
} catch (Exception e) {
    //...
}

Answer 2

Java语言规范（JLS）确切地定义了编译器应该如何分析这样的代码。

在您的情况下，本地变量有些对象在if块中使用之前，不会被明确赋值。JLS第16章中介绍的定义赋值定义了变量被认为赋值（初始化）的确切规则。

它分别分析try和if语句。在try之后，someObject没有明确分配，因为它没有在catch块中分配。在if中，条件可能是真或假。如果它是true，则会出现一个错误，因为此时没有明确指定someObject。

Java编译器不允许分析此代码并“弄清楚”只有在分配了someObject时，success才能为真，因为语言规则规定了必须执行的精确分析。这不是编译器不够智能的情况，而是Java语言标准过于严格的情况。

请注意，如果使用if（false）而不是if（success），则不会出现错误，因为JLS指定false是一个常量表达式，因此循环体永远不会执行。

无论如何，标志变量都是不必要的。将依赖代码移动到try，或在声明中将变量设置为null，并显式检查someObject！=null是所有更容易理解、更不容易出错的方法。

Answer 3

编译器不会分析success标志与someObject变量初始化之间的关系。

就编译器而言，如果发生异常，someObject可能无法初始化。

您可以通过在捕获块中将变量设置为null来解决这个问题（而不是检查您的成功变量，检查某些对象！=null）。

或者，您可以将int Number=Integer.valueOf（一些bject.somemetord（））；语句移动到try块中。