java - 如何告诉 Java 变量不可能为空？

问题描述

我有一个基本上看起来像这样的程序：

boolean[] stuffNThings;
int state=1;
for(String string:list){
   switch(state){
      case 1:
         if(/*condition*/){
            // foo
            break;
         }else{
            stuffNThings=new boolean[/*size*/];
            state=2;
         }
      // intentional fallthrough
      case 2:
         // bar
         stuffNThings[0]=true;
   }
}

正如您（人类）所看到的，情况 2 仅在先前存在状态 1 并且在初始化数组后切换到状态 2 时才会发生。但是 Eclipse 和 Java 编译器看不到这一点，因为对他们来说，这看起来像是相当复杂的逻辑。所以 Eclipse 抱怨：

局部变量 stuffNThings 可能尚未初始化。”

如果我将“ boolean[] stuffNThings;”更改为“ boolean[] stuffNThings=null;”，它会切换到此错误消息：

潜在的空指针访问：变量 stuffNThings 在此位置可能为空。

我也不能在顶部初始化它，因为数组的大小只有在状态 1 的最终循环之后才确定。

Java 认为那里的数组可能为 null，但我知道它不能。有什么方法可以告诉 Java 吗？还是我肯定被迫对其进行无用null检查？添加它会使代码更难理解，因为看起来可能存在值实际上没有设置为true.

标签： javanullinitialization

解决方案

Java 认为那里的数组可能为 null，但我知道它不能。

严格来说，Java 认为变量可能是uninitialized。如果未明确初始化，则该值不应为observable。

（变量是静默初始化null还是处于不确定状态是一个实现细节。关键是，语言说你不应该被允许看到这个值。）

但无论如何，解决方案是将其初始化为null. 它是多余的，但没有办法告诉 Java“相信我，它将被初始化”。

在您收到“潜在空指针访问”消息的变体中：

这是一个警告，而不是错误。
您可以忽略或抑制警告。（如果您的正确性分析是错误的，那么您可能会因此得到 NPE。但这是您的选择。）
您可以使用编译器开关关闭部分或全部警告。
@SuppressWarnings您可以使用注释抑制特定警告：
- 对于 Eclipse，使用@SuppressWarnings("null").
- 对于 Android，请使用@SuppressWarnings("ConstantConditions").
  
  不幸的是，警告标签并未完全标准化。但是，编译器应该默默地忽略@SuppressWarnings它无法识别的警告标签。
您也许可以重构代码。

在您的示例中，代码使用的是 switch drop through。人们很少这样做，因为它会导致代码难以理解。因此，我并不感到惊讶的是，您可以找到涉及直通的极端案例示例，其中编译器的 NPE 警告有点错误。

无论哪种方式，您都可以通过重构代码来轻松避免进行直通的需要。将案例中的代码复制到case 2:案例末尾case 1:。固定的。继续前行。

请注意，“可能未初始化”错误并不是 Java 编译器“愚蠢”。JLS 有一整章关于明确分配等的规则。不允许 Java 编译器对其进行智能处理，因为这意味着相同的 Java 代码是合法的还是不合法的，这取决于编译器的实现。这对代码可移植性不利。

我们这里实际上是一种语言设计折衷方案。该语言阻止您使用（实际上）未初始化的变量。但是要做到这一点，“愚蠢的”编译器有时必须阻止你使用你（聪明的程序员）知道将被初始化的变量......因为规则说它应该这样做。

（替代方案更糟：要么不对未初始化的变量进行编译时检查，从而导致在不可预测的地方发生硬崩溃，要么对不同的编译器进行不同的检查。）

java - 如何告诉 Java 变量不可能为空？

问题描述

解决方案

推荐阅读