Почему не возможно расширить аннотации в Java?

та же проблема, что и у меня. Нет, не можешь. Я «дисциплинировал» себя писать свойства в аннотациях, соблюдая некоторые стандарты, поэтому снаружи, когда вы получаете аннотацию, вы можете «понюхать», что это за аннотация по свойствам, которые она имеет.

Extensible annotations would effectively add the burden of specifying and maintaing another type system. And this would be a fairly unique type system, so you could not simply apply an OO type paradigm.

Think through all the issues when you introduce polymorphism and inheritance to an annotation (e.g. what happens when sub-annotation changes meta-annotation specs such as retention?)

And all this added complexity for what use-case?

You want to know if a given annotation belongs to a category?

Try this:

@Target(ElementType.ANNOTATION_TYPE)
public @interface Category {
    String category();
}

@Category(category="validator")
public @interface MyFooBarValidator {

}

As you can see, you can easily group and categorize annotations without undue pain using the provided facilities.

So, KISS is the reason for not introducing a meta-type type system to the Java language.

[ps edit]

Я использовал String просто для демонстрации и ввиду открытой метааннотации. Очевидно, что для вашего собственного проекта вы можете использовать перечисление типов категорий и указать несколько категорий («множественное наследование») для данной аннотации. Обратите внимание, что значения являются полностью поддельными и предназначены только для демонстрационных целей:

@Target(ElementType.ANNOTATION_TYPE)
public @interface Category {
    AnnotationCategory[] category();
}
public enum AnnotationCategory {
    GENERAL,
    SEMANTICS,
    VALIDATION,
    ETC
}

@Category(category={AnnotationCategory.GENERAL, AnnotationCategory.SEMANTICS})
public @interface FooBarAnnotation {

}

В некотором смысле у вас уже есть аннотации - мета-аннотации. Если вы добавляете в аннотацию метаинформацию, это во многом эквивалентно расширению дополнительного интерфейса. Аннотации - это интерфейсы, поэтому полиморфизм на самом деле не играет роли, и, поскольку они статичны по своей природе, не может быть динамической диспетчеризации во время выполнения.

В вашем примере с валидатором вы можете просто получить аннотированный тип в аннотации и увидеть если у него есть метааннотация валидатора.

Единственный вариант использования, который, как я мог видеть, поможет наследование, - это если вы хотите получить аннотацию по супертипу, но это добавит целую кучу сложности, потому что данный метод или тип может иметь две такие аннотации, что означает, что должен быть возвращен массив, а не только один объект.

Одна вещь, о которой я мог подумать, - это возможность иметь несколько аннотаций. Таким образом, вы можете добавить валидатор и более конкретную аннотацию в одно и то же место. Но могу ошибаться :)

Никогда не задумывался об этом, но ... кажется, вы правы, нет никаких проблем с возможностью наследования аннотаций (по крайней мере, я не вижу в этом проблемы).

О вашем примере с аннотацией 'validator' - тогда вы можете использовать подход 'meta-annotation' . Т.е. вы применяете конкретную метааннотацию ко всему интерфейсу аннотации.