@Java类型检查器注释的保留

Question

Java8类型注释（JSR308）允许类型检查器执行静态代码分析。例如，检查器框架可以通过@NonNull注释检查可能的空值。

各种项目都定义了自己的非空注释，例如：

• org。棋盘格框架。检验员零度。夸尔。非空
• edu。umd。反恐精英。芬德布格斯。注释。非空
• javax。注释。非空
• javax。验证。限制。NotNull
• lombok。非空
• org。日食jdt。注释。非空
• 等（参见《检查框架手册》第3.7节）

对于此类注释，我希望@接口具有@保留（RetentionPolicy.CLASS），因为它们通常在运行时不需要。最重要的是，代码对相应的库没有任何运行时依赖关系。

虽然org.eclipse.jdt.annotation.NonNull遵循这种方法，但大多数其他的NonNull注释，如javax.annotation.Nonnull（JSR305）和org.checkerframework.checker.nullness.qual.NonNull本身，都具有@保持（Retention策略）。运行时间）。是否有任何特定的原因RetentionStrategy.在这些注释中运行时间？

说明：Checker框架支持注释中的注释，以实现向后兼容。然而，使用Java8中的那些只是为了避免运行时依赖似乎是一个肮脏的黑客。

Answer 1

每个注释都有它的用途！

javax.validation.constraints.NotNull

这些由bean验证规范定义，用于在运行时执行非空检查，因此需要在运行时保留这些检查以执行例如表单验证...

@保留政策。来源=

祝好

洛伊克

Answer 2

这是一个好问题。

为了在编译时进行静态检查，CLASS保留就足够了。请注意，SOURCE保留是不够的，因为单独编译：当类型检查类时，编译器需要读取它使用的库上的注释，并且单独编译的库仅作为类文件提供给编译器。

注释设计者使用RUNtime保留来允许工具执行运行时操作。这可能包括检查注释（如断言语句）、检查动态加载的代码的类型、检查强制转换和instanceof操作、更精确地解析反射等等。今天这样的工具并不多，但是注释设计者希望在将来适应它们。

您注意到，对于@Retention（RetentionPolicy.CLASS），代码对相应的库没有任何运行时依赖关系这在@Retention（RetentionPolicy.RUNTIME）中也是如此！请参阅此堆栈溢出问题：为什么缺少注释不会在运行时导致ClassNotFoundException。

总之，使用类保留在运行时花费的空间可以忽略不计，可以在将来实现更多的潜在用途，并且不会引入运行时依赖性。

在Checker框架的情况下，它提供了运行时测试，例如isRegex（String）。如果您的代码使用这样的方法，您的代码将依赖于Checker框架运行库（它比整个Checker框架本身更小，并且具有更宽松的许可证）。