建议在Eclipse 4.30中使用以下代码:
public void doSomething(@NonNull SomeType[] pArray) {
// Whatever
}
如果我启用为空性判断(首选项/Java编译器/"错误/错误"/错误分析/启用基于注释的空分析)，那么我会注意到以下情况:
编译器将参数类型作为"SomeType元素的数组，所有这些元素都是非空的"，或者换句话说，是@NonNull SomeType的array.(如果您不相信我，请将SomeType更改为byte，并注意错误消息，因为byte是原始类型，所以@NonNull byte没有任何意义.)
这一切都很好.但是，我想告诉编译器，数组本身是非空的.有没有可能表达这一点？(比方说@NonNull(SomeType[])pArray.)
谢谢!
当然，当然.这个故事有两层虚无感.事实上，比方说Object[][]，有3种不同的无效.
它可以是对数组的可空引用，该数组包含确定非空对象的确定非空array.
它可以是对数组的绝对非空引用，该数组包含对绝对非空对象数组的可空引用.
诸若此类.
要在每个级别指定的语法如下所示:
@Nullable String @NonNull [] x
这意味着:对可为空的字符串数组的绝对非空引用.
每个[]都可以加上注解作为前缀，适用于那个"层".
同样的"3层"情况也适用于对象列表的列表，但其语法要明显得多:
@NonNull List<@Nullable String>
是等同的.
BIG CAVEAT:这需要将批注标记为应用于TYPE_USE.许多无效注释是在Java 1.5天内创建的，没有TYPE_USE天；只有PARAMETER、METHOD和FIELD天.因此，许多无效注释仍然只针对P/M/F，而不是T_U.对于这些，您想要的东西是不可能的.更新到更好的无效性注释系统，或者接受它们的工作方式.
在TYPE_USE的基础上工作的一些主要注释库: