java-8 - 如果是 varargs 参数，@Nullable 注释引用哪里？

Question

对于以下签名:

public static String format(final String pattern, final @Nullable Object... arguments)

@Nullable 注解指的是哪里？到数组还是到它的元素？是否可以注释两个选项(数组/元素)？

Java 7 和 Java 8(类型注释)之间有区别吗？

Answer 1

由于仍然没有标准的@Nullable注释，您正在使用第三方库的注释，因此这取决于它的声明方式。 Java 8 之前的注释不是类型注释，因为旧版本中不存在该功能。因此，使用这些注释，您总是注释参数而不是其类型。框架通常将其解释为“参数可以为 null”，即数组引用，尽管框架可能会特殊对待可变参数，但没有标准强制执行特定行为。

当您使用真正的 Java 8 类型注释(即带有 @Target(ElementType.TYPE_USE) 的注释)时，使用普通数组声明可以最好地解释结果:

@Nullable ElementType  []

声明一个@Nullable ElementType数组，读取可为空的元素

ElementType  @Nullable []

声明一个可为空的数组类型。

因此，声明

public static String format(final String pattern, final @Nullable Object... arguments)

意味着元素可以为null，而

public static String format(final String pattern, final Object @Nullable... arguments)

声明数组引用可能为null。当然，您可以将它们组合起来声明两者(元素或数组本身)都可以为null

public static String format(String pattern, @Nullable Object @Nullable ... arguments)

如上所述，要使用这些选项，您需要一个真正声明为 Java 8 类型注释的注释类型。然后，为了强制执行所描述的语义，您需要一个与 Java 8 类型注释兼容的最新检查器框架实现。