java - 为什么不允许在 FQN 上使用 @NonNull 注解？

Question

这是 Eclipse 中的错误还是为什么我不能使用 @NonNull 注释具有完全限定类型名称 (FQN) 的参数？

    import org.eclipse.jdt.annotation.NonNull;

    public class Foo {
        // No problem
        public void bar(@NonNull String x) {
        }

        // Error: Type annotations are not allowed on type names used to access
        // static members
        public void baz(@NonNull java.lang.String x) {
        }
    }

Answer 1

这不是 Eclipse 中的错误。相反，它与 Java 编译器处理注释类型的方式有关。下面给出的解释说明了这个问题。

首先，@NonNull 注解可以应用于类型的任何使用(它被注解为@Target(ElementType.TYPE_USE))。但是，根据 Java 语言规范，它适用的类型是注释最接近的类型。这并不总是预期的:

在第一种情况下，@NonNull 注释适用于 String 类型的使用，这是一个有效类型。因此，注释是有效的。

然而，在第二种情况下，注释适用于 java，这是一个包名。因此，它不是有效的类型，因此注释不能在此处应用。这将导致编译时错误。

Java 语言规范(第 9.7.4 段)指出:

For example, assume an annotation type TA which is meta-annotated with just @Target(ElementType.TYPE_USE). The terms @TA java.lang.Object and java.@TA lang.Object are illegal because the simple name to which @TA is closest is classified as a package name. On the other hand, java.lang.@TA Object is legal.

由此我们可以得出结论，@NonNull java.lang.String x 将不起作用，但是 java.lang.@NonNull String x 会。

另见 The Java Language Specification, Chapter 9.7.4 .