实现compareObjects()的正确方法是什么

Question

我的compareObjects方法实现如下

public static int compareObjects(Comparable a, Comparable b){

        if (a == null && b == null){
            return 0;
        } else if (a == null && b != null){
            return -1;
        } else if (a != null && b == null){
            return 1;
        } else {
            return a.compareTo(b);
        }
    }

当我通过findBugs运行这个方法时，我在return a.compareTo(b)行上得到了这个建议：

有一个语句分支，如果执行，将保证取消引用 null 值，这会在执行代码时生成 NullPointerException。当然，问题可能是分支或语句不可行，空指针异常永远无法执行；决定这超出了 FindBugs 的能力。由于该值之前已被测试为空，因此这是肯定的可能性。

此时a永远不可能为空。为什么 FindBugs 向我显示此建议？我该如何纠正这个问题？实现compareObjects()的正确方法是什么？

Answer 1

我认为这可能是因为你不需要额外的 &&声明。在第一个 if 语句之后，您已经知道其中一个为空。

public static int compareObjects(Comparable a, Comparable b){

    if (a == null && b == null){
        return 0;
    } else if (a == null){
        return -1;
    } else if (b == null){
        return 1;
    } else {
        return a.compareTo(b);
    }
}

Answer 2

再看一遍，试试这段代码：

if (a == null && b == null){
    return 0;
} 

if (a == null){
    return -1;
} 

if (b == null){
    return 1;
} 

return a.compareTo(b);

Answer 3

这可能是 FindBugs 的一个限制；我同意您已经涵盖了所有基础，但是您的空检查分为两个不同的条件。现在这些条件恰好是互补的，因此如果 a 为 null，则至少其中一个条件会触发，但根据 FindBugs 的复杂程度，它可能无法识别这一点。

那么这里有两个选择：

1. 忽略 FindBugs 警告。由于其本质，它会时不时地引发一些误报，因此，如果您认为重写不值得，则不必重写代码才能使其 100% 满意。就其本身的优点而言。

   您可以使用@SuppressWarnings如果您希望报告在末尾显示一个漂亮的大零，则可以使用 注释 将其实际传达给 FindBugs。有关示例，请参阅此问题。< /p>

2. 通过嵌套 if 块重构条件，以便对 a 进行无效检查更加明确：

   if (a == null) {
      返回 b == null ？ 0：-1；
   }
   返回 b == null ？ 1：a.compareTo(b);
   

   根据您的品味和风格，无论如何，这可能是更好的重写，因为它更清楚地说“如果a为空，则进行这个计算并返回它，否则进行此计算”。当然，如果您愿意，可以将三元条件更改为另一个 if-else 块。