java - 空分析注释包之间有什么区别？

Question

问题Which @NotNull Java annotation should I use?已经过时并且有些基于意见。从那时起，Java 8 以及更新的 IDE 出现了。

虽然 Java 8 通过集成 JSR 308 允许类型注释 ，它没有附带任何。来自 JSR 308 Explained: Java Type Annotations by Josh Juneau :

JSR 308, Annotations on Java Types, has been incorporated as part of Java SE 8.
...
Compiler checkers can be written to verify annotated code, enforcing rules by generating compiler warnings when code does not meet certain requirements. Java SE 8 does not provide a default type-checking framework, but it is possible to write custom annotations and processors for type checking. There are also a number of type-checking frameworks that can be downloaded, which can be used as plug-ins to the Java compiler to check and enforce types that have been annotated. Type-checking frameworks comprise type annotation definitions and one or more pluggable modules that are used with the compiler for annotation processing.

仅考虑至少提供某种 @CanBeNull 和 @CannotBeNull 的解决方案，我发现了以下信息(可能是错误的):

• Eclipse's JDT Null Analysis的 org.eclipse.jdt.annotation .其他 IDE 有各自的包。使用 JSR 308，并且仍然支持 Java 8 之前的注释。
• FindBug的 javax.annotation .使用 hibernate JSR 305 ，它似乎没有使用 Java 8 的类型注释。尽管它没有集成到 Oracle 的 API 中，但出于某种原因它仍然使用 javax 域，这意味着它确实如此。
• Checker Framework的 org.checkerframework.checker.nullness .使用 JSR 308。
• JavaEE javax.validation.constraints .不知道它有什么用，但反正没有@CanBeNull。

一些用于静态代码分析，一些用于运行时验证。

上述选项之间的实际区别是什么？是否有(将要)一个标准，或者它是否旨在让每个人编写自己的分析框架？

Answer 1

除了您提到的那些之外，还存在其他一些无效性分析；例如，IntelliJ 包含一个 nullness analysis .

以下是有关无效性分析的一些关键问题:

• 它是在编译时工作还是在运行时工作？编译时分析为程序员提供有关潜在错误的预先警告。通过运行时分析，您的程序仍然会崩溃，但可能会更早崩溃或出现更详细的错误消息。

• 它是验证者还是错误发现者？ validator 提供正确性保证:如果工具不报告任何潜在错误，则程序在运行时不会遇到给定的错误。错误查找器会报告一些问题，但如果它没有报告任何问题，您的程序可能仍然是错误的。验证者通常需要程序员做更多的工作，包括注释程序。错误查找器可能需要更少的努力才能开始使用，因为它可以在未注释的程序上运行(尽管在这种情况下它可能不会给出很好的结果)。

• 分析的精确度如何？当程序实际正确时，它多久会出现一次误报或发出警告？它多久会错过一次警报，或者未能通知您程序中的真正错误？

• 工具是否内置于 IDE 中？如果是这样，它可能更容易使用。如果没有，它可以被任何程序员使用，而不仅仅是那些使用该特定 IDE 的人。

您提到的三个工具都在编译时工作。 FindBugs 是错误查找器，其他是 validator 。 Checker Framework 具有更好的精度，但其他两个具有更好的 IDE 集成。 FindBugs 不适用于 Java 8 类型注释 (JSR 308)；其他两个都支持 Java 8 和 Java-8 之前的注释。所有这些工具都在程序员的工具箱中占有一席之地；哪一个适合您取决于您​​的需求和目标。

回答您的一些其他问题:

FindBugs 的注释使用 javax 域，因为它的设计者希望 Oracle 将 FindBugs 作为 Java 标准(!)。从未发生过。 javax 的使用让很多人误以为它是官方的或受 Oracle 青睐，这是对的，但事实并非如此。

Is there (going to be) a standard or is it intended for everyone to write their own analysis framework?

目前，Oracle 希望社区尝试创建和使用各种分析框架。他们觉得他们还没有充分了解各种方法的优缺点，无法创建一个标准。他们不想过早地创建一个包含有缺陷方法的标准。他们对在未来制定标准持开放态度。