问Java 8实例创建注释

EN

应用于实例创建(如new @Anno Object() )的注释不是已创建对象的属性，而是new表达式(编译时)类型的属性。在运行时，对象的实际类型没有注释，就像它没有在实例创建时指定的泛型类型参数一样。

只需考虑以下示例：

@Retention(RetentionPolicy.RUNTIME)
@Target(ElementType.TYPE_USE)
@interface Anno { int value(); }

…

@Anno(1) Object o=new @Anno(2) Object();
@Anno(3) Object p=(@Anno(4) Object)o;

在这里，这个简单的对象经历了几个类型的更改，从@Anno(2) Object到@Anno(1) Object到@Anno(4) Object到@Anno(3) Object，在这段代码的末尾，同一个对象甚至被两个不同类型的变量@Anno(1) Object和@Anno(3) Object同时保存！

您可以使用审计工具来验证这些类型转换对于@Anno所暗示的任何语义是否合法，但对于Java语言本身来说，它们没有任何意义，并且将始终被接受。在运行时，实例的类型始终是Object，不受类型注释的影响。

反射API提供了查询类和成员的带注释类型的方法，其中包括方法的参数类型和返回类型，但您不能查询new表达式的类型注释，因为您将无法确定方法是否实际包含new表达式，更不用说应用于该new表达式的类型注释了。

可能会有第三方库来处理字节码处理库，它们将在运行时…中提供对这些注释的访问。