避免未初始化的非最终成员类/类变量

Question

我发现 Java 编译器和/或声纳警告没有完全涵盖防止忘记初始化对象，我正在使用最新的 Eclipse 和最新的声纳插件。

我缺少关于未初始化的错误/警告，例如 Map（也可以是 String）

在示例 Class Variable mapStatic 和 Member Variable map 中，它们都是私有的而不是最终的，可以在没有初始化的情况下声明，也没有任何关于 NullPointerException 的错误/警告。

虽然对于局部变量 mapVar 我得到编译错误 Compile The local variable mapVar may not have been initialized

显然是局部变量are not assign with default value，但为什么编译器/声纳没有警告 NullPointerException？

局部变量略有不同；编译器永远不会为未初始化的局部变量分配默认值。

private static Map<String, String> mapStatic; // Missing compile/warning
private Map<String, String> map; // Missing compile/warning
public void  put() {
    map.put("x", "1"); // NullPointerException
    //Map<String, String> mapVar;
    //mapVar.put("x", "1"); // Compile The local variable mapVar may not have been initialized
}
static {
    mapStatic.put("x", "1"); // NullPointerException        
}

另外，如果我添加final，我会得到编译错误Compile The local variable map may not have been initialized。

我发现an answer不会在编译时出现，如何提前避免或发现这个问题？

未能初始化一个值是程序员的逻辑错误，应该尽快发现。 Java 在编译时为本地人执行此操作，但仅在运行时（或根本不）为字段执行此操作。

Answer 1

您似乎正在寻找的行为更有可能产生不必要的警告而不是帮助设计。

类级字段获得 JVM 分配的默认值是设计使然，出于多种原因，这是可以的，包括：

• 字段的值可能要等到对象构造完成后才能知道。这是典型的，因为许多字段值只能在 setters 中设置。
• 当前类本身可能不知道值是什么。在这种情况下，设置值的责任在类之外，因此警告只会令人烦恼。
• 如果该字段根本不会在当前类中使用怎么办？

这是开发人员负责的领域。只有你知道执行的顺序，只有你知道代码依赖什么数据，也只有你有责任对代码进行测试，确保它没有 bug。