代码审查假设存在作者

要点

• 代码审查通常假设有一个人类作者，他理解并能够解释代码。
• AI生成的代码往往缺乏能解释其选择的人类，作者沦为代理人。
• 审查的负担从检查已有理解转变为首次创造理解，尤其在大型系统中，上下文往往不在代码库内。
• 一个简单的适应方案是要求提交者在审查前解释变更的意图、影响的不变量和安全性证据。