可为空元素的二维非空数组

Question

在Java 8中，我应该在哪里放置@Nullable/@NonNull类型注释，以便声明一个二维的非null可空元素数组？

声明类型时(如在方法签名中(，两者

@Nullable Object @NonNull[][]

和

@Nullable Object @NonNull[]@NonNull[]

在语法上有效。

同样，在定义值(零长度数组(时，我可以使用

new @Nullable Object @NonNull[0][]

或

new @Nullable Object @NonNull[0]@NonNull[]

哪个版本是正确的？

Answer 1

读取数组类型时，从括号开始向前读取，然后最后读取元素类型。 例如，Object[][]的发音为"对象数组数组"。 这有助于您了解第一对括号表示最外层的数组，下一对括号表示作为最外层数组元素的所有数组。

将类型批注放在紧挨着相应类型的前面。

下面是类型注释规范中的一个示例：

@Readonly Document [][] docs1 = new @Readonly Document [2][12]; // array of arrays of read-only documents
Document @Readonly [][] docs2 = new Document @Readonly [2][12]; // read-only array of arrays of documents
Document[] @Readonly [] docs3 = new Document[2] @Readonly [12]; // array of read-only arrays of documents

因此，我们可以理解您的示例：

• @Nullable Object @NonNull[][]表示"(未指定(可为空元素数组的非空数组">
• @Nullable Object @NonNull[]@NonNull[]表示"可为空元素的非空数组的非空数组">

您更喜欢其中哪一个取决于您的规格。 只是"二维非null可空元素数组"并不能提供足够的信息来知道你指的是哪一个，但它可能是第二个。

(这个问题也在 键入批注常见问题解答。