@target(elementtype.type_use)允许注解标注泛型参数、通配符边界、类型转换等类型使用位置，需配合annotatedtype反射api读取，且依赖编译器插件（如checker framework）实现校验。
@Target(ElementType.TYPE_USE) 是 Java 8 引入的重要增强，它让注解可以“附着”在类型使用的任意位置，包括泛型参数、类型转换、implements/implements 子句、throws 声明、new 表达式等——而不仅限于类、方法、字段等声明层面。这使得对泛型参数（如 List）的精确标注成为可能，是实现**类型级空安全、不可变性约束、序列化策略、权限校验**等场景的关键基础。
TYPE_USE 能标注哪些泛型位置？
只要涉及“类型出现的地方”，TYPE_USE 注解就可生效。典型泛型相关用例包括：
- 泛型类型参数：
Map - 通配符边界：
List extends @Immutable Object>或Set super @Validated User> - 泛型方法返回值/参数：
<t extends object> T getOrDefault(...)</t> - 类型转换表达式：
(@NonNull String) obj - 数组元素类型：
@NonNull String[]（等价于String @NonNull []，注意注解位置）
如何定义一个可用于泛型参数的注解？
只需将 @Target 明确设为 ElementType.TYPE_USE（可叠加其他如 FIELD、PARAMETER 等）：
@Target({ElementType.TYPE_USE, ElementType.FIELD, ElementType.PARAMETER})
@Retention(RetentionPolicy.RUNTIME)
public @interface NonNull {
}
⚠️ 注意：仅声明 TYPE_USE 不代表运行时自动生效——是否检查、如何检查，取决于配套的编译器插件（如 Checker Framework）或运行时反射工具（需手动解析 Type 对象）。
在泛型中真正读取 TYPE_USE 注解的方法
Java 反射 API 提供了 AnnotatedType 体系来访问 TYPE_USE 注解，但需注意：普通 Field.getGenericType() 返回的是 Type，必须调用 Field.getAnnotatedType() 才能拿到带注解的视图。
例如解析 List 中 String 上的 @Deprecated：
Field f = clazz.getDeclaredField("list");
AnnotatedType annotatedType = f.getAnnotatedType(); // List
if (annotatedType instanceof AnnotatedParameterizedType apType) {
AnnotatedType[] args = apType.getAnnotatedActualTypeArguments();
if (args.length > 0 && args[0] instanceof AnnotatedType arg0) {
Annotation[] anns = arg0.getAnnotations(); // ✅ 拿到 @Deprecated
}
}
关键点：必须用 Annotated* 系列接口（AnnotatedParameterizedType、AnnotatedWildcardType 等），不能只靠 Type 子类。
实用建议与常见陷阱
- TYPE_USE 注解默认不会被继承，子类重写方法时泛型参数上的注解不自动传递，需显式重复标注
- 在 Lombok、MapStruct 等代码生成工具中，TYPE_USE 注解可能丢失——需确认其是否支持
AnnotatedType保留 - IDE（如 IntelliJ）和编译器（javac + 插件）对 TYPE_USE 的支持程度不同；纯 JDK 运行时无法强制校验，需搭配 Checker Framework 或自定义注解处理器
- 避免滥用：不是所有泛型参数都需要注解；优先用于有明确语义约束的场景（如不可为空、加密敏感、只读视图）
