这个注释是在数组上还是在元素上键入数组？

Question

看看这个简单的代码。

try (@Foo Stream<@Bar Baz> foo = blabla) { }

我们知道@Bar是注释Baz，而@Foo是注释Stream（我写了类似的例子here, compile it online!）。

但是这段代码怎么样？

void whatever(@Foo String[] args) { }

在这里，我们有一个用String[]注释的@Foo（无论注释是什么，它对这个问题都不重要）。

我的问题是，@Foo是否在String或String[]上注明？

确定注释的目标非常重要，因为有时我们使用像@NotNull这样的注释来表示类型的无法实现，而@NotNull List<String>意味着一个永远为null的列表包含一些可能为空的字符串; List<@NotNull String>表示一个列表，该列表可能为null但成员永远不为空。

一个可能的用例：我需要一个@NotNull来显示args不是null而另一个@NotNull来显示args的成员也不是空的？我需要同时注释它们。如果args是java.util.List，我可以使用@NotNull List<@NotNull String>。但args是一个数组 - 我不知道注释如何影响args的类型。

Answer 1

问题有两个可能的答案“在@Foo String[] args，什么是@Foo注释？”。

• 如果@Foo是一个类型注释（也就是说，Foo的定义是用@Target(ElementType.TYPE_USE)进行元注释的），那么@Foo适用于元素类型String，并且你已经声明了一个@Foo String数组。
• 如果Foo是一个声明注释（它的定义不是用@Target(ElementType.TYPE_USE)进行元注释），那么@Foo适用于整个声明String[] args。这对于正式的参数来说并不常见。

在该位置，@Foo注释不能引用数组类型String[]。

（另一个回答特别为@NonNull提供了有用的答案，但没有回答原始问题。）

Answer 2

在数组级别之前定义@NonNull似乎可以解决问题（至少对于Checker Framework）：

import org.checkerframework.checker.nullness.qual.NonNull;

class App {
    void foo() {
        String @NonNull [] bar;
        bar = null; // NOK
        bar = new String[1];
        bar[0] = null; // NOK
    }
}

导致两个错误（参见live demo）：

| No. | Type  |                                 Description                                 | Line | Column |
|-----|-------|-----------------------------------------------------------------------------|------|--------|
|   1 | error | Error: [assignment.type.incompatible] incompatible types in assignment.     |    6 |     15 |
|     |       |   found   : null                                                            |      |        |
|     |       |   required: @Initialized @NonNull String @UnknownInitialization @NonNull [] |      |        |
|   2 | error | Error: [assignment.type.incompatible] incompatible types in assignment.     |    8 |     18 |
|     |       |   found   : null                                                            |      |        |
|     |       |   required: @Initialized @NonNull String                                    |      |        |

要回答您的实际问题，请参阅specification, §9.7.4：

@C int @A [] @B [] f;

@A适用于数组类型int[][]，@B适用于其组件类型int[]，而@C适用于元素类型int。

所以@Foo String[] args实际上是在注释String（读作：可能为null的非空字符串数组）。