如何理解java批注中的直接存在，间接存在，存在和关联？

问题描述

在AnnotatedElement的Java文档中，我读了术语：直接存在，间接存在，存在和关联，但是我不明白它们的含义。

例如，在文档中说：

如果元素E具有RuntimeVisibleAnnotations或RuntimeVisibleParameterAnnotations或RuntimeVisibleTypeAnnotations属性，并且该属性包含A，则注释E直接存在于元素E上。

但是我不知道 RuntimeVisibleAnnotations属性是什么，“ 该属性包含A ”的含义是什么。

有人可以举例说明他们的不同吗，谢谢！

解决方法

属性（例如RuntimeVisibleAnnotations）

提到的属性是类文件格式的一部分。例如，§4.7.16 of the Java Virtual Machine Specification描述了RuntimeVisibleAnnotaitons属性：

RuntimeVisibleAnnotations属性是ClassFile，field_info或method_info结构（§4.1，§4.5，§4.6）的属性表中的可变长度属性）。 RuntimeVisibleAnnotations属性在相应的类，字段或方法的声明上记录运行时可见的注释。

RuntimeVisibleAnnotations，ClassFile或field_info结构的属性表中最多可以有一个method_info属性。

[...]

您可以通过javap检查字节码来查看此属性。例如，这：

@FunctionalInterface // has runtime retention
public interface Foo {
  void bar(); // satisfy functional interface requirements
}

为此：

public interface Foo
  minor version: 0
  major version: 58
  flags: (0x0601) ACC_PUBLIC,ACC_INTERFACE,ACC_ABSTRACT
  this_class: #1                          // Foo
  super_class: #3                         // java/lang/Object
  interfaces: 0,fields: 0,methods: 1,attributes: 2
Constant pool:
   #1 = Class              #2             // Foo
   #2 = Utf8               Foo
   #3 = Class              #4             // java/lang/Object
   #4 = Utf8               java/lang/Object
   #5 = Utf8               bar
   #6 = Utf8               ()V
   #7 = Utf8               SourceFile
   #8 = Utf8               Foo.java
   #9 = Utf8               RuntimeVisibleAnnotations
  #10 = Utf8               Ljava/lang/FunctionalInterface;
{
  public abstract void bar();
    descriptor: ()V
    flags: (0x0401) ACC_PUBLIC,ACC_ABSTRACT
}
SourceFile: "Foo.java"
RuntimeVisibleAnnotations:
  0: #10()
    java.lang.FunctionalInterface

您可以在底部看到类RuntimeVisibleAnnotations的{​​{1}}属性。该属性包含一个条目：Foo。这意味着所说的注释直接出现在java.lang.FunctionalInterface上。

---

存在感

假设我们具有以下注释（省略了导入）：

Foo

@Retention(RUNTIME)
@Inherited
public @interface Foo {}

@Retention(RUNTIME)
@Inherited
@Repeatable(BarList.class)
public @interface Bar {}

然后，如果我们有：

@Retention(RUNTIME)
@Inherited
public @interface BarList {
  Bar[] value();
}

@Foo
@BarList({@Bar,@Bar})
public class Parent {}

以下是正确的：

1. public class Child extends Parent {} 在Foo上直接存在 。
2. Parent在Foo上存在 （因为它是继承的）
3. Child在BarList上直接存在
4. Parent在BarList上存在 （因为它是继承的）
5. 两个Child注释都间接存在于Bar上（因为它们是可重复的并且在容器注释中）
6. 两个Parent注释都与Bar相关联（因为它们是可继承的，可重复的并且在其容器注释中）

一些附加说明：

• 如果注释在Child上直接存在 ，则注释也存在 并与{em>相关 {1}}

• 如果在E上间接存在 注释，则该注释也与E

  关联

• 注释仅在以下情况下继承：

  1. 注释类型通过java.lang.annotation.Inherited进行元注释
  2. 注释出现在祖先类上（注释继承仅适用于类，不适用于接口，方法，字段等）

• 当注释被继承但在整个类层次结构中的多个类上都存在时，则仅找到“最新”注释（即，最接近查询层次结构底部的注释）

• 如果注释在类E上存在 ，但该注释不可继承，则该注释在关联与E

  的子类

• 可重复注释不必显式放置在其相应的容器注释中。例如，上面可能使用了：

  E

  两个E注释由编译器隐式包装在其容器注释（即@Foo @Bar @Bar public class Parent {} ）中。这意味着两个Bar注释仍然在BarList上间接存在，并且与Bar关联。但是，仅当重复的注释中有个以上时，才会发生这种隐式包装。因此，如果只有一个Parent注释，那么它将在Child上直接出现 ，在Bar上出现 present 。