高扩展性注解设计核心在于精准控制作用域与预留演进空间。@target 是关键约束机制，需按需指定 elementtype（如 method、field），避免过度开放；支持组合（如 {method, field}）以适应业务演进；type_parameter 和 type_use 用于泛型安全场景；配合 @retention(retentionpolicy.runtime) 确保反射可读性。
设计高扩展性的注解，核心不在堆砌功能，而在于精准控制作用域、预留演进空间、兼顾编译期与运行时需求。@Target 是其中最关键的约束机制——它不是限制，而是为后续扩展划清边界、明确语义的基础设施。
明确目标位置，避免过度开放
一个注解若未声明 @Target，JVM 允许它出现在任意位置，看似灵活，实则埋下误用隐患，也阻碍工具链（如 IDE 提示、静态检查器）准确识别其意图。高扩展性始于克制：
- 只选真正需要的位置，例如日志注解通常只需 @Target(ElementType.METHOD)，而非加上 TYPE 或 FIELD；
- 若未来可能用于构造方法或参数，可提前写成 @Target({METHOD, CONSTRUCTOR, PARAMETER})，但不要无脑加 ALL；
- 避免使用 ElementType.TYPE_USE 除非你确需标注泛型内部（如
List），否则会增加反射解析复杂度。
组合 ElementType，支持渐进式增强
业务演进常带来新使用场景。设计时预留合理组合，比后期重构注解更稳妥：
- 权限校验类注解初期只用于方法，后期可能需控制字段级访问，可定义为 @Target({METHOD, FIELD})；
- 配置绑定注解（如
@Value类似物）往往需同时支持字段和参数，@Target({FIELD, PARAMETER}) 是典型组合； - 若注解本身是“元注解”（用于修饰其他注解），必须包含 ANNOTATION_TYPE，否则无法被其他自定义注解引用。
搭配 TYPE_PARAMETER 和 TYPE_USE，面向泛型安全演进
当系统走向强类型约束（如空安全、不可变性标记），仅靠 METHOD 或 FIELD 已不够。此时 TYPE_PARAMETER 和 TYPE_USE 是扩展能力的关键支点：
-
TYPE_PARAMETER 用于标注泛型声明本身，例如：
<t extends object></t>，适合定义泛型契约； -
TYPE_USE 用于标注泛型实际使用处，如
Map，它让校验下沉到数据结构粒度； - 二者可共存：一个注解同时声明
@Target({TYPE_PARAMETER, TYPE_USE})，既支持泛型定义约束，也支持实例化时的精确标注。
配合 @Retention 和反射设计，确保可读性不打折
再好的 @Target 设计，若注解信息在运行时不可见，就失去大部分实用价值。高扩展性要求“声明即可用”：
- 凡需通过反射读取的注解，@Retention(RetentionPolicy.RUNTIME) 不可省略；
- 若注解仅用于编译期检查（如 null 安全），可设为 CLASS 或配合 Checker Framework 使用 SOURCE；
- 对 TYPE_USE 注解，反射读取需用
getAnnotatedType()替代getGenericType()，并在解析逻辑中预置对AnnotatedParameterizedType等类型的处理分支。
