按用户行为审查AI生成的代码改动

代码看起来整齐，不代表行为正确。审查先回答“这次改动会改变谁在什么条件下的行为”，再检查实现细节。以下清单用于人工阅读差异，可结合现有测试，不等同于完整安全审计。

准备这些输入

• 改动差异：保留原版本与新版本，确认没有混入无关修改。
• 需求说明：目标行为、范围和通过条件。
• 调用上下文：入口、依赖与相关数据约束。
• 检查结果：实际运行的命令、结果和未覆盖环境。

1. 把差异连回需求

逐个文件问它服务于哪条通过条件。仅格式整理或无关重构应与功能改动分开理解；发现删除旧分支时，检查原来由它处理的输入是否仍有效。

2. 沿一条真实路径走读

从用户操作到数据处理再到输出，检查参数、空值、错误分支与重复操作。不要只看新函数；同时核对调用者是否传入预期类型，结果是否被正确使用。

3. 用必要检查验证疑点

对每个可疑点写出具体触发条件与预期影响，必要时做最小复现。能证明行为的测试优于只照着实现写的断言。检查通过后再确认差异没有残留调试内容。

可调整的操作模板

请围绕这份需求审查差异：[需求与差异]。
只报告可以解释触发条件和实际影响的问题。
每项包含：位置、触发输入、当前行为、预期行为、验证建议。
不把风格偏好写成功能错误。

这段模板只用于组织你提供的材料。使用前确认资料可以交给所选工具，工具不支持附件时可以粘贴必要的脱敏文字。

交付物与人工检查

完成后保留：差异审查记录＋必要验证结果。交付前逐项确认：

• 每个新增行为是否有需求依据。
• 失败与空值路径是否被理解。
• 检查是否绑定当前差异与实际环境。
• 未验证部分是否如实列出。

遇到卡点怎么办

发现问题后先修最小受影响路径，再重跑相关检查。没有新的改动或疑点时，不必不断扩大测试范围。

继续从代码审查专题查看本类任务，或在工具目录了解具体工具的用途与使用条件。