有什么可以警告我 type.equals(incompleteType) 吗？

Question

是否有任何工具可以警告我以下类型的代码：

if ( someClass.equals( someString ))

例如：

if ( myObject.getClass().equals( myClassName ))

这样的东西是合法的 Java（等于接受一个对象），但永远不会计算为 true（一个类永远不能等于一个字符串），所以几乎可以肯定是漏洞。

我检查过 Eclipse、FindBugs 和 PMD，但似乎都不支持此功能？

Answer 1

是的，IntelliJ IDEA 有这样的检查，我相信默认情况下是启用的。它标记以下内容：

Class<?> clazz = String.class;
if (clazz.equals("foo")) {
   //...
}

带有警告：

不可转换类型的对象之间的“equals()”。

可以通过“设置”->“项目设置”->“检查”来启用/禁用检查，然后在“可能的错误”下选中/取消选中不可转换类型的对象之间的“'equals()'”。

FindBugs 也应该通过 "EC: Call to equals() 比较来捕获此问题不同类型” 错误检查。正如您所知，它可以与 Eclipse 集成。

但这也不是灵丹妙药。他们无法读懂你的想法。您可以期望的最好结果是，它会支持误报而不是误报。

Answer 2

这就是 .NET 中 IEquatable 接口背后的理念：为类型提供一种机制来实现我所说的强类型相等性。还有 IEqualityComparer 接口，用于允许以单独的类型实现此逻辑。

根据这个 StackOverflow 问题（由 Jon Skeet 回答） ，通常似乎知道他在说什么），Java 中似乎没有任何等效的东西。

当然，您始终可以为自己的类型自己实现这样的事情，但对于属于 Java 基类库的类型来说，这对您没有多大好处。对于此类问题的编译时检测，最好的选择是某种分析工具（Mark Peters 指出 IntelliJ IDEA 中显然内置了一个）可以向您建议某些代码可能值得怀疑。一般来说，假设您不是一个会忽略警告的人，那么这应该足够好了。

Answer 3

您要检查的不一定是“问题”：equals() 在 Object 类中声明，并以 Object 作为其对象范围。类重写此方法，并且它们的实现很可能允许不同类的对象“等于”目标对象。

我自己已经这样做过几次了，例如，如果另一个对象（比如字符串）与目标的键字段匹配，则允许一个对象“等于”另一个对象：

class MyClass {
    private String id;

    public boolean equals(Object obj) {
        // Compare as if "this" is the id field
        return id.equals(obj instanceof MyClass ? ((MyClass)obj).id : obj);
    }

    public int hashCode() {
        return id.hashCode(); // so hashCode() agrees with equals()
    }
}

这实际上非常方便，因为以下代码将按预期工作：

List<MyClass> list = new ArrayList<MyClass>();
// collection methods will work with instances:
list.contains(someInstance);
list.remove(someInstance);
list.indexOf(someInstance);
// and with keys!
// handy if you can only get the key, for example from a web url parameter
list.contains("somekey");
list.remove("somekey");
list.indexOf("somekey");