Java：为什么我需要初始化原始局部变量？

Question

public class Foo {
    public static void main(String[] args) {
        float f;
        System.out.println(f);
    }
}

print语句会导致以下编译时错误，

局部变量f可能尚未初始化

如果Java中的原语已经有一个默认值（float=0.0f），为什么我需要定义一个呢？

所以，这是有效的

public class Foo {
    float f;
    public static void main(String[] args) {
        System.out.println(new Foo().f);
    }
}

谢谢大家！

Answer 1

类字段（非最终字段）初始化为默认值。局部变量不是。

声明字段时并不总是需要赋值。已声明但未初始化的字段将由编译器设置为合理的默认值。

所以在

class C {
  float f;
}

将被初始化为0f但是本地变量f在

void myMethod() {
  float f;
}

不会的。

语言对局部变量的处理不同于字段。局部变量的生存期范围很广，所以初始化前的任何使用都可能是错误的。字段没有，所以默认初始化通常很方便。

Answer 2

事实上，编译器不会为您的浮点f指定默认值，因为在本例中，它是一个局部变量，而不是一个字段：

局部变量略有不同；编译器从不为未初始化的局部变量指定默认值。如果无法在声明局部变量的位置初始化它，请确保在尝试使用它之前为其赋值。访问未初始化的局部变量将导致编译时错误。

Answer 3

因为它是一个局部变量。这就是为什么没有给它分配任何东西：

局部变量略有不同；编译器从不为未初始化的局部变量指定默认值。如果无法在声明局部变量的位置初始化它，请确保在尝试使用它之前为其赋值。访问未初始化的局部变量将导致编译时错误。

编辑：为什么Java会出现这个编译错误？如果我们看一下标识表达式。java类文件，我们将找到以下块：

...
if (field.isLocal()) {
            LocalMember local = (LocalMember)field;
            if (local.scopeNumber < ctx.frameNumber && !local.isFinal()) {
                env.error(where, "invalid.uplevel", id);
            }
            if (!vset.testVar(local.number)) {
                env.error(where, "var.not.initialized", id);
                vset.addVar(local.number);
            }
            local.readcount++;
        }
...

如上所述（if（！vset.testVar（local.number））{），JDK（使用testVar）检查变量是否被分配（vset）的源代码，我们可以在那里找到testVar代码）。如果没有，它会从属性文件中引发错误var.not.initialized：

...
javac.err.var.not.initialized=\
    Variable {0} may not have been initialized.
...

来源