代碼審查假設存在作者

要點

• 代碼審查通常假設有一個人類作者，他理解並能夠解釋代碼。
• AI生成的代碼往往缺乏能解釋其選擇的人類，作者淪為代理人。
• 審查的負擔從檢查已有理解轉變為首次創造理解，尤其在大型系統中，上下文往往不在代碼庫內。
• 一個簡單的適應方案是要求提交者在審查前解釋變更的意圖、影響的不變量和安全性證據。