java - Findbugs 不检测用户定义类暴露的内部表示

Question

当在类定义中有可变的私有(private)字段，以及公开它们的 getter/setter 时，我们得到如下异常:

[INFO] path.getInsertDate() may expose internal representation by returning Ttt.insertDate path.Ttt] At Ttt.java:[line 119]

我添加了一个可变类:

public class Test {
    public String test;
}

添加了此测试类的私有(private)字段和 getters/setters。但是 finbugs 忽略了它。

public class ExposingTest { 
    private Test test;

    //No warning here.
    public Test getTest() {
         return test;
    } 
}

为什么这个警告 Findbugs 只检查 java 标准库类，而不检查用户定义的类？有办法控制吗？

Answer 1

TL;DR Findbugs 为一组预定义的类生成此警告。

Findbugs 的目的是警告开发人员注意代码的潜在问题。 Findbugs 不检查不变性。

可变类本身不是错误或问题。可变类可能是一个有效的设计选择。

public class Person {
    private Department dep;

    public void setDepartment(Department dep) {
        this.dep = dep;
    }
}

public class Department { 
    private String name;
    public void setName(String name) {
        this.name = name;
    }
}

对我来说，如果 Findbugs 开始在每个可变类上生成警告，那将是非常烦人的。

取而代之的是，Findbugs 试图发现潜在的问题，即开发人员往往会忽略的可变类。下面是 Findbugs 用来检测有问题的可变类的方法(在类 edu.umd.cs.findbugs.detect.MutableStaticFields 中):

static boolean mutableSignature(String sig) {
    return sig.equals("Ljava/util/Hashtable;") || 
            sig.equals("Ljava/util/Date;") ||
            sig.equals("Ljava/sql/Date;") ||
            sig.equals("Ljava/sql/Timestamp;") ||
            sig.charAt(0) == '[';
}

因此，Findbugs 将为返回的方法生成此类警告(内部表示暴露):

• 哈希表；
• 日期(java.util.Date、java.sql.Date、java.sql.Timestamp)；
• 数组

Findbugs 甚至不会为列表和集合生成此警告。