核心思路是将契约检查前移至编译阶段，通过注解标记关键逻辑并由注解处理器在生成字节码前完成校验与拦截；支持java、c#、c++26多语言实现，结合构建配置固化检查链，实现对空值、范围、格式等约束的编译期强制拦截。
核心思路是把契约检查前移到编译阶段，用注解标记关键逻辑，再靠注解处理器在生成字节码前就完成校验和拦截，不等运行时出问题。
用强契约注解明确接口边界
在方法或参数上直接声明不可妥协的约束条件，比如非空、范围、格式等。这类注解不是装饰用的，而是给处理器读取的指令。
- Java 中可用 @NonNull、@Min(1)、@Pattern("\d{11}") 等 JSR-305 或 Jakarta Validation 注解
- C# 可结合 [Required] 与自定义拦截器特性（如 [InterceptsLocation]）绑定校验入口
- C++26 可用 requires-clause 在模板声明点做静态断言，让 SFINAE 失效提前到解析阶段
注解处理器执行三类编译期拦截
处理器不是只生成代码，它能在编译中途介入，对带契约注解的元素做即时判断并干预流程。
Miller CSV TSV JSON 数据处理器
下载
Miller (mlr) 是一个命令行工具，用于查询、整形和重新格式化名称索引数据，如 CSV、TSV、JSON 和 JSON Lines。它将 awk、sed、cut、join 和 sort 的功能整合到一个专为结构化数据处理而构建的单一工具中。
- 报错拦截：发现 @NonNull 参数被传 null 字面量，直接调用 Messager.printMessage(ERROR) 中断编译
- 重写拦截：识别到 @LogBefore 注解，自动在目标方法入口插入空值校验或日志语句（非反射代理，是源码级改写）
- 契约注入：对 sealed interface 或 record 类型，验证子类是否在 permits 列表中，缺失则拒绝生成 class 文件
配合构建配置固化拦截效果
仅加注解不够，得让编译环境强制启用相关检查链。
- Maven/Gradle 中启用 Error Prone 或 NullAway 插件，把 JSR-305 注解转为编译错误而非警告
- .csproj 里设置
true ，确保拦截器生成的 IL 重写可见可审 - C++ 项目启用 -fcontracts=check 并配合 clang-19 的 requires-clause 静态分析开关
典型失败场景的拦截示例
比如一个订单创建方法要求用户 ID 不为空且金额大于 0：
public Order createOrder(@NonNull String userId, @Min(1) BigDecimal amount) { ... }
注解处理器扫描到该方法后：
- 若调用处写成 createOrder(null, new BigDecimal("100")) → 编译报错“@NonNull violation”
- 若写成 createOrder("U123", new BigDecimal("0")) → 触发 @Min 检查失败，中断构建
- 若没加任何注解但用了 Lombok 的 @Data → 处理器可主动警告“缺少契约声明，禁止提交”
