为什么不能在Java中扩展注释？

Question

为什么不能在Java中扩展注释？我不明白为什么Java注释中没有继承，就像Java类一样。我认为这将非常有用。例如：我想知道给定的注释是否是验证器。通过继承，我可以反复地浏览超类，以了解此注释是否扩展了ValidatorAnnotation。否则，我该怎样才能做到这一点？那么，任何人都可以给我这个设计决定的理由吗？

Answer 1

关于它没有这样设计的原因你可以在JSR 175设计常见问题中找到答案，它说：

为什么不支持注释子类型（一个注释类型扩展另一个）？

它使注释类型系统复杂化，并且使编写“特定工具”变得更加困难。

...

“特定工具” - 查询任意外部程序的已知注释类型的程序。例如，存根发生器就属于这一类。这些程序将读取带注释的类而不将它们加载到虚拟机中，但会加载注释接口。

所以，是的，我想，原因是它只是KISS。无论如何，似乎这个问题（以及许多其他问题）正在作为JSR 308的一部分进行研究，你甚至可以找到一个已经由Mathias Ricken开发的具有此功能的替代编译器。

Answer 2

可扩展注释将有效地增加指定和维护另一种类型系统的负担。这将是一个相当独特的类型系统，因此您不能简单地应用OO类型范例。

在将多态性和继承引入注释时，请仔细考虑所有问题（例如，当子注释更改元注释规范（例如保留）时会发生什么？）

所有这些增加了用例的复杂性？

您想知道给定的注释是否属于某个类别？

试试这个：

@Target(ElementType.ANNOTATION_TYPE)public @interface Category {
    String category();}@Category(category="validator")public @interface MyFooBarValidator {}

如您所见，您可以使用提供的工具轻松地对注释进行分组和分类，而不会造成过度的痛苦。

因此，KISS是不向Java语言引入元类型系统的原因。

[ps编辑]

我只使用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 {}

Answer 3

从某种意义上说，你已经拥有了Annotations - meta Annotations。如果使用元信息注释注释，则在许多方面等同于扩展其他接口。注释是接口，因此多态性并没有真正发挥作用，并且由于它们本质上是静态的，因此不能进行运行时动态调度。

在验证器示例中，您可以只在注释上获取带注释的类型，并查看它是否具有验证器元注释。

我可以看到继承有用的唯一用例是，如果你想能够通过超类型获得注释，但这会增加一大堆复杂性，因为给定的方法或类型可能有两个这样的注释，意味着必须返回一个数组而不是只返回一个对象。

所以我认为最终的答案是用例是深奥的，并且使更多标准用例复杂化，使其不值得。