public static java.util.@Nullable Optional toJavaUtil行是这样写的,因为通常的样式@Target(ElementType.FIELD)无效。 这在JLS§9.7.4中定义:
如果类型T的注释适用于类型上下文中的类型(或类型的任何部分),并且T适用于类型上下文,则该编译时错误是不允许的。
例如,假设注释类型TA仅用@Target(ElementType.FIELD)进行元注释。术语@TA java.lang.Object和@TA java.lang.Object f;是非法的,因为@TA最接近的简单名称被分类为程序包名称。 另一方面,java.lang.@TA Object是合法的。
@Target(ElementType.FIELD)的类型声明为:
@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
因此它适用于此规则。
当我们使用@TA java.lang.Object f;查看编译后的代码时,可以看出该结构不会中断执行,因为包@Target(ElementType.FIELD)和类名@TA java.lang.Object被拆分了:
class just.a.test.Main {
just.a.test.Main();
Code:
0: aload_0
1: invokespecial #1 // Method java/lang/Object."":()V
4: return
public static java.util.Optional toJavaUtil(blub.Optional);
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
}
(@Target(ElementType.FIELD)是一个本地类,我在其中复制了Guava代码,以获取反编译的最小示例)
如您所见,注释在那里不再存在。 它只是编译器的标志,可以防止方法返回null时发出警告(并为源代码阅读器提供提示),但不会将其包含在编译后的代码中。
此编译器错误也适用于以下变量:
private @Nullable2 java.util.Optional> o;
但是当注释另外获得目标类型@Target(ElementType.FIELD)时,也可以接受,如同一JLS子句中所述:
如果TA还用@Target(ElementType.FIELD)进行了元注释,则术语@TA java.lang.Object在声明和类型上下文都属于合法的位置(例如字段声明@TA java.lang.Object f;)。在此,@TA视为适用于f的声明(而不是 类型为java.lang.Object),因为TA适用于字段声明上下文。