Java 8——重复注解和注解的作用范围的扩大化
一.重复注解
在某些情况下，希望将相同的注解应用于声明或类型用途。从Java SE 8发行版开始，重复注解使可以执行此操作。
例如，正在编写代码以使用计时器服务，该服务使能够在给定时间或某个计划上运行方法，类似于UNIX cron服务。现在，要设置计时器以在该月的最后一天和每个星期五晚上11:00 运行方法doPeriodicCleanup。要设置要运行的计时器，请创建一个@Schedule注解并将其应用于doPeriodicCleanup方法两次。第一次使用指定月份的最后一天，第二次使用指定星期五晚上11点，如下面的代码示例所示：
@Schedule(dayOfMonth="last")
@Schedule(dayOfWeek="Fri", hour="23")
public void doPeriodicCleanup() { ... }
前面的示例将注解应用于方法。可以在使用标准注解的任何位置重复注解。例如，有一个用于处理未授权访问异常的类。使用一个@Alert注解为管理员注解并为管理员添加另一个注解：
@Alert(role="Manager")
@Alert(role="Administrator")
public class UnauthorizedAccessException extends SecurityException { ... }
出于兼容性原因，重复注解存储在由Java编译器自动生成的容器注解中。为了使编译器执行此操作，代码中需要两个声明。
第1步：声明可重复的注解类型
注解类型必须使用@Repeatable元注解标记。以下示例定义自定义@Schedule可重复注解类型：
import java.lang.annotation.Repeatable;
@Repeatable(Schedules.class)
public @interface Schedule {
String dayOfMonth() default "first";
String dayOfWeek() default "Mon";
int hour() default 12;
}
@Repeatable括号 中的元注解的值是Java编译器为存储重复注解而生成的容器注解的类型。在此示例中，包含注解类型是Schedules，因此重复@Schedule注解存储在@Schedules注解中。
将相同的注解应用于声明而不首先声明它是可重复的，这会导致编译时错误。
第2步：声明包含注解类型
包含注解类型必须具有value带数组类型的元素。数组类型的组件类型必须是可重复的注解类型。Schedules包含注解类型的声明如下：
public @interface Schedules {
Schedule[] value();
}
1.检索注解
Reflection API中有几种可用于检索注解的方法。返回单个注解的方法（例如 AnnotatedElement.getAnnotation（Class
2.设计注意事项
设计注解类型时，必须考虑该类型注解的基数。现在可以使用注解零次，一次，或者，如果注解的类型被标记为@Repeatable多次，则不止一次。还可以通过使用@Target元注解来限制可以使用注解类型的位置。例如，可以创建只能在方法和字段上使用的可重复注解类型。仔细设计注解类型非常重要，以确保使用注解的程序员发现它尽可能灵活和强大。
二.类型注解和可插入类型系统
在Java SE 8发行版之前，注解只能应用于声明。从Java SE 8发行版开始，注解也可以应用于任何类型的使用。这意味着可以在任何使用类型的地方使用注解。使用where类型的一些示例是类实例创建表达式（new），强制转换，implements子句和throws子句。
- 创建实例表达式时
new @Interned MyObject();
- 类型转换:
myString = (@NonNull String) str;
- 实现时:
class UnmodifiableList<T> implements
@Readonly List<@Readonly T> { ... }
- 声明抛出异常:
void monitorTemperature() throws
@Critical TemperatureException { ... }
在元注解@Target中增加了作用类型：
/**
* Type parameter declaration
*
* @since 1.8
*/
TYPE_PARAMETER,
/**
* Use of a type
*
* @since 1.8
*/
TYPE_USE
创建类型注解是为了支持改进的Java程序分析，以确保更强的类型检查。Java SE 8版本不提供类型检查框架，但它允许编写（或下载）类型检查框架，该框架实现为与Java编译器结合使用的一个或多个可插入模块。
例如，希望确保程序中的特定变量永远不会分配给null; 你想避免触发一个NullPointerException。可以编写自定义插件来检查此问题。然后，将修改代码以注解该特定变量，表明它从未分配给null。变量声明可能如下所示：
@NonNull String str;
当编译代码（包括NonNull命令行中的模块）时，编译器会在检测到潜在问题时输出警告，允许修改代码以避免错误。在更正代码以删除所有警告后，程序运行时不会发生此特定错误。
可以使用多个类型检查模块，其中每个模块检查不同类型的错误。通过这种方式，可以在Java类型系统的基础上构建，在希望的时间和地点添加特定的检查。
通过明智地使用类型注解和可插入类型检查器的存在，可以编写更强大且更不容易出错的代码。
在许多情况下，不必编写自己的类型检查模块。有第三方为你完成了这项工作。例如，可能希望利用华盛顿大学创建的Checker Framework。该框架包括一个NonNull模块，一个正则表达式模块和一个互斥锁模块。有关更多信息，请参阅 Checker Framework。
参考
Repeating Annotations
Type Annotations and Pluggable Type Systems
