对数组使用 Nullness 注释

Question

有人可以帮助我理解以下三个带注释的返回值方法之间的区别，即每个方法的返回类型的约束如何彼此不同：

static @Nullable double[] multiply(){...}

static @Nullable double @Nullable[] multiply(){...}

static double @Nullable[] multiply(){...}

Answer 1

类型注解写在它们所应用的类型之前。

• Double [] : Double 数组。
• Double @Nullable [] ：Double 的可为空数组。
• @Nullable Double [] ：可空双@Nullable Double []数组。
• @Nullable Double @Nullable [] ：可空@Nullable Double @Nullable []数组。

这在Java Language Specification, section 9.7.4和Java Type Annotations Specification, section 2.2.1 中有解释。