Использование аннотации 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.

Это объясняется в Java Спецификация языка, раздел 9.7.4 и в Java Спецификация аннотаций типа, раздел 2.2.1 .