Java注解编译期类型检查由javac强制执行，属性值必须严格匹配声明类型或可自动转换；数组、枚举、Class、嵌套注解等均有特定语法要求，注解处理器仅处理已通过校验的合法值。
Java 注解本身不会在编译期因“参数类型不匹配”直接报错——真正触发编译错误的是 注解处理器（Annotation Processor） 或 编译器对注解属性类型的静态校验。关键在于：注解声明时定义的属性类型是固定的，而你在使用注解时传入的值必须与其声明类型兼容，否则 javac 会在编译期拒绝通过。
注解属性类型必须严格匹配
Java 要求注解中每个属性的实参类型必须与声明类型一致或可自动转换（仅限有限几种情况）。例如：
❌ 错误写法（编译失败）：@MyAnnotation(value = 42) // 若 value 声明为 String，则此处 int 无法赋值
@MyAnnotation(names = "a") // 若 names 声明为 String[]，单个 String 不自动包装为数组
立即学习“Java免费学习笔记（深入）”；
✅ 正确写法：
- String 属性 → 必须传 String 字面量：
@MyAnnotation(value = "hello") - String[] 属性 → 传数组字面量：
@MyAnnotation(names = {"a", "b"})或@MyAnnotation(names = {}) - 枚举属性 → 必须用
EnumType.VALUE形式：@MyAnnotation(level = LogLevel.WARN) - Class 属性 → 用
SomeClass.class：@MyAnnotation(target = String.class) - 注解类型属性 → 传完整注解表达式：
@MyAnnotation(config = @SubConfig(value = "x"))
默认值和省略规则
如果注解属性有默认值（default "xxx"），且你未显式指定该属性，则不会校验传参；但一旦指定，就必须满足类型约束。
特别注意：数组类型属性不能用 null 作为默认值（编译报错），但可以设为空数组：String[] tags() default {};
自定义注解处理器中的类型检查
如果你写了 Annotation Processor，在 process() 方法中通过 getAnnotationMirrors() 或 getElementValues() 获取属性值时，拿到的是 AnnotationValue，其 getValue() 返回的是编译期已解析后的 Java 对象（如 String、Long、DeclaredType 等）。此时类型不匹配已在编译前端被拦截，你的 processor 不会收到非法值。
但你可以主动做额外语义检查，比如：
- 验证
@Range(min=5, max="10")中max是否为数值型字符串 - 检查
@Path("/user/{id}")中占位符名是否符合标识符规范
这类检查属于业务逻辑校验，不改变编译期类型安全机制，但能提升开发者体验。
常见陷阱与绕过方式
⚠️ 注意这些看似“灵活”实则危险的做法：
-
@MyAnn(value = "" + 123)—— 编译器允许，但本质仍是字符串拼接，不是类型转换 - 用反射绕过编译检查？不行。运行时注解（
@Retention(RUNTIME)）的属性值仍由编译器按声明类型填充，反射读到的永远是合法类型实例 - 试图用泛型注解适配多种类型？Java 注解不支持泛型，属性类型必须具体、固定
若真需动态类型，应考虑用配置类 + 接口抽象，而非强行扩展注解能力。
