java.util.@nullable是什么意思？

Question

public static <T> java.util.@Nullable Optional<T> toJavaUtil(
    @Nullable Optional<T> googleOptional) {
  return googleOptional == null ? null : googleOptional.toJavaUtil();
}

Answer 1

行public static java.util.@nullable optional ToJavautil 是这样编写的，因为通常样式public static @nullable java.util.optional ToJavautil 是无效的。这在JLS§9.7.4中定义：

如果类型T的注释适用于类型上下文中的类型（或类型的任何部分），并且T适用于类型上下文，并且该注释是不可接受的，则这是编译时错误。

例如，假设一个注释类型TA，它仅用@target(elementType.type_use)进行元注释。术语@ta java.lang.object和java.@ta lang.object是非法的，因为与@ta最接近的简单名称被归类为包名称。另一方面，java.lang.@ta object是合法的。

org.checkerframework.checker.nullness.qual@nullable的类型声明为：

@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

所以它适用于这个规则。

由于包java.util和类名optional是拆分的，所以当我们使用javap-C[compiled class name]查看编译后的代码时，可以看出这个结构不会破坏执行：

class just.a.test.Main {
  just.a.test.Main();
    Code:
       0: aload_0
       1: invokespecial #1          // Method java/lang/Object."<init>":()V
       4: return

  public static <T> java.util.Optional<T> toJavaUtil(blub.Optional<T>);
    Code:
       0: aload_0
       1: ifnonnull     8
       4: aconst_null
       5: goto          12
       8: aload_0
       9: invokevirtual #2          // Method blub/Optional.toJavaUtil:()Ljava/util/Optional;
      12: areturn
}

此编译器错误也适用于以下变量：

private @Nullable2 java.util.Optional<?> o;

但当注释额外获得目标类型ElementType.field时,就可以接受了,正如在相同的JLS子句中所写的：

如果TA另外用@target(ElementType.field)进行元注释，那么术语@TA java.lang.object在既是声明又是类型上下文的位置是合法的，例如字段声明@TA java.lang.object f；。这里，@TA被认为适用于f的声明（而不是类型java.lang.Object），因为TA适用于字段声明上下文。