Помилка встановлення нульового значення за замовчуванням для поля анотації

Question 1

Чому я отримую повідомлення про помилку "Значення атрибута має бути постійним". Чи не є нульовою константою ???

@Target(ElementType.TYPE)
@Retention(RetentionPolicy.RUNTIME)
public @interface SomeInterface {
    Class<? extends Foo> bar() default null;// this doesn't compile
}

Question 2

Не знаю чому, але JLS дуже чітко:

 Discussion

 Note that null is not a legal element value for any element type.

І визначення елемента за замовчуванням:

     DefaultValue:
         default ElementValue

На жаль, я постійно виявляю, що нові мовні функції (Enums та тепер Анотації) мають дуже корисні повідомлення про помилки компілятора, коли ви не відповідаєте специфікаціям мови.

РЕДАГУВАТИ: Трохи погугливши, знайшов у JSR-308 наступне , де вони аргументують допущення нулів у цій ситуації:

Ми відзначаємо кілька можливих заперечень проти пропозиції.

Пропозиція не робить нічого можливим, що не було можливим раніше.

Спеціальне значення, визначене програмістом, забезпечує кращу документацію, ніж null, що може означати «немає», «неініціалізовано», саме null тощо.

Пропозиція більш схильна до помилок. Набагато простіше забути перевірку проти нуля, ніж забути перевірку на явне значення.

Пропозиція може зробити стандартну ідіому більш багатослівною. Наразі лише користувачам анотації потрібно перевіряти її спеціальні значення. З цією пропозицією багатьом інструментам, які обробляють анотації, доведеться перевірити, чи значення поля є нульовим, щоб вони не викидали виняток нульового вказівника.

Я думаю, що лише два останні пункти мають відношення до "чому б це не зробити в першу чергу". Останній пункт, безумовно, підкреслює хороший момент - процесор анотацій ніколи не повинен турбуватися про те, що вони отримають нуль для значення анотації. Я схильний бачити, що, як більше робота процесорів анотацій та іншого подібного фреймворкового коду, потрібно робити таку перевірку, щоб зробити код розробників зрозумілішим, а не навпаки, але це, безумовно, ускладнить виправдання його зміни.

Question 3

Спробуйте це

@Target(ElementType.TYPE)
@Retention(RetentionPolicy.RUNTIME)
public @interface SomeInterface {
    Class bar() default void.class;
}

Для цього не потрібен новий клас, і це вже ключове слово в Java, яке нічого не означає.

Question 4

Здавалося б, це незаконно, хоча JLS дуже нечіткий щодо цього.

Я спонукав пам’ять, щоб спробувати подумати про наявну анотацію, яка мала атрибут Class для анотації, і запам’ятав цю з API JAXB:

@Retention(RUNTIME) @Target({PACKAGE,FIELD,METHOD,TYPE,PARAMETER})        
public @interface XmlJavaTypeAdapter {
    Class type() default DEFAULT.class;

    static final class DEFAULT {}    
}

Ви можете бачити, як їм довелося визначити фіктивний статичний клас, щоб утримати еквівалент нуля.

Неприємно.

Question 5

Здається, існує ще один спосіб зробити це.

Мені це теж не подобається, але це може спрацювати.

@Target(ElementType.TYPE)
@Retention(RetentionPolicy.RUNTIME)
public @interface SomeInterface {
    Class<? extends Foo>[] bar() default {};
}

Отже, в основному замість цього ви створюєте порожній масив. Здається, це дозволяє значення за замовчуванням.

Question 6

Class<? extends Foo> bar() default null;// this doesn't compile

Як уже згадувалося, специфікація мови Java не допускає нульових значень за замовчуванням анотацій.

Що я прагну зробити, це зробити, це визначити DEFAULT_VALUEконстанти у верхній частині визначення анотації. Щось на зразок:

public @interface MyAnnotation {
    public static final String DEFAULT_PREFIX = "__class-name-here__ default";
    ...
    public String prefix() default DEFAULT_PREFIX;
}

Потім у своєму коді я роблю щось на зразок:

if (myAnnotation.prefix().equals(MyAnnotation.DEFAULT_PREFIX)) { ... }

У вашому випадку з класом я б просто визначив клас маркера. На жаль, у вас не може бути константи для цього, тому натомість вам потрібно зробити щось на зразок:

public @interface MyAnnotation {
    public static Class<? extends Foo> DEFAULT_BAR = DefaultBar.class;
    ...
    Class<? extends Foo> bar() default DEFAULT_BAR;
}

Ваш DefaultFooклас буде просто порожньою реалізацією, щоб код міг робити:

if (myAnnotation.bar() == MyAnnotation.DEFAULT_BAR) { ... }

Сподіваюся, це допомагає.

Question 7

Це повідомлення про помилку вводить в оману, але, ні, nullлітерал не є постійним виразом, як визначено в Специфікації мови Java, тут .

Більше того, сказано в специфікації мови Java

Помилка під час компіляції, якщо тип елемента не співмірний (§9.7) із зазначеним значенням за замовчуванням.

І пояснити, що це означає

Помилка під час компіляції, якщо тип елемента не співмірний із значенням елемента. Тип елемента T співмірний зі значенням елемента V тоді і тільки тоді, коли є одним із наступних істинним:

T - тип масиву E[] , а також:

[...]

Tне є типом масиву , а тип Vсумісний з присвоєнням (§5.2) з T, та :

Якщо Tце примітивний тип або String, то Vце постійний вираз (§15.28).

Якщо Tє Classабо виклик Class(§4.5), то Vце літерал класу (§15.8.2).

Якщо Tце тип переліку (§8.9), то Vце константа переліку (§8.9.1).

V не дорівнює нулю .

Отже, тут ваш тип елемента Class<? extends Foo>,, не співмірний із значенням за замовчуванням, оскільки це значення є null.

Question 8

Як вже говорили інші, існує правило, яке говорить, що null не є дійсним значенням за замовчуванням у Java.

Якщо у вас обмежена кількість можливих значень, які може мати поле , тоді одним із варіантів для обходу цього є зробити тип поля користувацьким переліченням, яке саме містить відображення в нуль. Наприклад, уявіть, що у мене є така анотація, для якої я хочу нульове значення за замовчуванням:

public @interface MyAnnotation {
   Class<?> value() default null;
}

Як ми встановили, це заборонено. Замість цього ми можемо визначити перелік:

public enum MyClassEnum {
    NULL(null),
    MY_CLASS1(MyClass1.class),
    MY_CLASS2(MyClass2.class),
    ;

    public final Class<?> myClass;

    MyClassEnum(Class<?> aClass) {
        myClass = aClass;
    }
}

і змінити анотацію як таку:

public @interface MyAnnotation {
  MyClassEnum value() default MyClassEnum.NULL;
}

Основним недоліком цього (крім необхідності перерахувати ваші можливі значення) є те, що ви тепер обернули своє значення в перелічення, тому вам потрібно буде викликати властивість / getter в переліку, щоб отримати значення.