利用ADR和合约在AI生成代码中强制执行不变式

本文探讨了如何通过架构决策记录（ADR）和合约来确保AI生成代码的正确性与一致性。作者提出，随着AI辅助编码的普及，开发者需要建立明确的系统不变式和约束条件，并通过可执行的合约和ADR文档来强制这些规则。这种方法能有效防止AI模型产生不一致或错误的代码，确保生成的代码符合项目架构设计。

背景速读

- 本文讨论的是如何通过"架构决策记录"（ADR）和"契约式设计"（Design by Contract）来约束AI生成代码的行为，保证其输出符合预定规则（即"不变量" invariant）。 - ADR是记录架构决策的轻量文档（如"为什么选PostgreSQL而不是MongoDB"），常用于开源项目；契约式设计则通过前置/后置条件（如Python的PyContract、Java的JML）在代码中声明约束。 - 核心问题：大语言模型（LLM）生成的代码经常产生意外副作用（如修改全局状态、密码学实现有微小误差），传统测试难以覆盖这些隐性风险，需要结构化的静态约束。 - 类似的理念在业界还有"Guardrails"（如Guardrails AI）和"基于规范的提示"（specification-based prompting）等工具链。