开发笔记:这个注释是在数组上还是在元素上键入数组？

篇首语：本文由编程笔记#小编为大家整理，主要介绍了这个注释是在数组上还是在元素上键入数组？相关的知识，希望对你有一定的参考价值。

问题有两个可能的答案“在@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提供了有用的答案，但没有回答原始问题。）

在数组级别之前定义@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的非空字符串数组）。