AI agent 现在会做 code review 和写测试,而它们不只读代码,也读注释,有时还透过注释理解代码的意图。作者拿一个 2025 年 4 月用 Lovable 三天做出来、此后没再更新的写书进度 Web 应用做实验,让 Kiro 检查有没有注释和代码实际行为不符。统计页那张近六个月表格的代码里写着先按月生成再把列表反转,Kiro 读完判定注释正确,而属性测试第一次运行就判定它错了。
🔑 核心要点
属性测试不问单组输入输出,而是写一条对任意输入都该成立的属性,由框架生成大量输入去找反例。
agent 读到注释后容易顺着注释解释代码,反而放过真实偏差。
实验对象是 MIT 许可的小应用,逻辑短但有聚合和排序,适合逐条核对。
作者关心的是如何用工具边界引导 agent,而不是写更好的提示词。
💡 金句
“They do not read only the code. They read the comments too, and sometimes they interpret the code through what a comment says it is meant to do.” 译:它们不只看代码,也看注释,有时还透过注释声称的意图去理解代码。