Java：空比较总是产生错误：警告不正确？

Question

有趣的情况。我有一段代码创建了多个 ZipOutputStreams。作为一项安全检查，在我考虑编写任何内容之前，我检查我的输出流是否已正确初始化：

ZipOutputStream countStream = null;
File countFile = null;
// other files

try {
    countFile =
    new File(savePath.getCanonicalPath() + savePath.separator + outputTag
        + "_COUNT_OUTPUTS.zip");
    // other files
} catch (Exception e) {
    outputLog.add("UNABLE TO FIND SAVE PATH");
    return util.FILE_INVALID;
}

try {
    // prepare outputs
    if (countFile.exists() == true) {
    countFile.delete();
    } else {
    }
    countStream = new ZipOutputStream(new FileOutputStream(countFile));
    // other files
} catch (Exception e) {
    e.printStackTrace();
    outputLog.add("UNABLE TO CREATE OUTPUT FILES");
    return util.FILE_SAVE_FAIL;
}

if (countStream == null) {
    outputLog.add("UNABLE TO CREATE OUTPUT FILES");
    return util.FILE_SAVE_FAIL;
} else {
}

我没有特别看到此代码中的问题出在哪里，但它会在空测试中发出警告：“空比较总是产生false：变量 countStream 在此位置不能为 null”。据我所知，我有一个变量初始化为 null，然后尝试创建输出流，但不能保证会发生。忽略警告很容易，但我更想知道编译器如何得出保证成功创建 countStream 的结论

K.Barad

Answer 1

编译器能够看到您不能为 null，因为：

1. 在您的 try 中您已经初始化了它 (countStream = new ....) 并
2. 在您的 >catch 你已经“return”退出该方法。

因此，代码“if (countStream == null)”只能在 countStream 初始化为非 null ZipOutputStream.

Answer 2

当没有异常时，变量countStream不会为null。当出现异常时，您返回 util.FILE_SAVE_FAIL 并且不会执行 null 检查。因此，每当执行空检查时，结果将始终为假。

稍微正式一点：没有任何代码路径可以让执行到达空检查，从而在执行检查时导致 countStream 为空。

Answer 3

我从这段代码中了解到的是 countStream 为 null，这就是为什么它发出警告“Null 比较总是产生 false”

如果你调试，你会发现这段代码总是转到其他部分，因为 if (countStream == null) {< /code> 条件未通过。