代码之家 › 专栏 › 技术社区 › alex2k8

有没有办法假设@Nullable为默认值(使用FindBugs或任何其他免费工具)

nullable static-analysis java

alex2k8 · 技术社区 · 16 年前

考虑这样的代码

public void m1(String text) {
    if(text == null)
        text = "<empty>";

    System.out.println(text.toLowerCase());
}

这是一个错误的版本:

public void m1(String text) {
    System.out.println(text.toLowerCase());
}

如果传递了null值,则可能会引发NullPointerException。我想静态分析工具(例如FindBugs)来报告这个问题。FindBugs(至少在默认情况下)要求我显式指定@Nullable annotation,但没有成功。

public void m1(@Nullable String text) {
    System.out.println(text.toLowerCase()); // FindBugs: text must be nonnull but is marked as nullable
}

问题是,如果我忘记注释它,错误将被遗漏!!!

如何使FindBugs(或任何其他免费工具)在默认情况下假定@Nullable?

3 回复 | 直到 16 年前

ctford 14 年前

根据 Javadoc :

@DefaultAnnotationForParameters 指示应使用提供的注释类的默认值对类或包的所有成员进行注释。

(顺便说一下,Javadocs @DefaultAnnotation , @DefaultAnnotationForFields @DefaultAnnotationForMethods 包含完全相同的文本)。

这与DefaultAnnotation相同,只是它仅适用于方法参数。

而理论上

@DefaultAnnotationForParameters(value = Nullable.class)

或

@DefaultAnnotationForParameters({Nullable.class})

应该有用, 两个都没有 .

~~我不知道FindBugs是否支持这个但是~~ 具有 JSR 305 @ParametersAreNullableByDefault 应用于包、类或方法的注释。 Unfortunately FindBugs 1.3.9 ignores @ParametersAreNonnullByDefault and similar annotations (used on packages or on types).

MeBigFatGuy 16 年前

您可以在FindBugs中编写自己的检测器,以查找未选中null的参数的任何用法。做起来相对简单。

jontejj 13 年前

你要找的是@parametersarenullablefaulty( http://code.google.com/p/jsr-305/source/browse/trunk/ri/src/main/java/javax/annotation/ParametersAreNullableByDefault.java )但我建议您在默认情况下使用@parametersarenonnulls。它也会检测到你的错误代码。最好将它们作为包上的注释放在package-info.java文件中。

推荐文章

MuKa Tigran · 在父对象的null条件检查之后检查可为null的属性

9 年前

Nathan · @NonNullByDefault返回类型与ExecutorService返回的“List<Runnable>”不兼容。Shutdownow()(空约束不匹配)

9 年前

Dee J. Doena · 比较两个空可空值

10 年前

iuliu.net · “?.”操作符除了检查null之外还做其他什么吗?

10 年前

jackfrost5234 · SSIS 2014派生列,将日期设置为空的三元表达式

10 年前

Konrad Viltersten · 如何让EF理解某些列不可为空?

10 年前

Martin Senne · SparkSQL:如何处理用户定义函数中的空值?

11 年前

Muhammad Nasir · 空对象设计模式与空对象检查

11 年前

checketts · 从可空对象创建流的惯用方法

11 年前

Code Uniquely · 将表达式<Func<T,V>>转换为表达式<Func<T,Nullable<V>>>

13 年前