ai-coding.xph.ink
把大语言模型,可靠地接进软件工程日常
从自动补全的心智模型,到上下文准备、spec 驱动与 TDD 工作流,再到 Agent 化开发的质量与安全边界——31 个知识点,全部可操作、可清单化、可复盘。
7模块
31知识点
9.8h总时长
10最小路径
已掌握 0 / 31
这个站解决什么问题
AI 能把写代码的成本降到极低,于是瓶颈迁移了:表达任务、准备上下文、审查产出、守住安全边界的技能成了新的稀缺能力。本站只讲跨产品成立的原理、流程与清单——每个知识点都给出操作步骤与排错清单,学完即可在自己的仓库里执行。
边界:提示词通用技法与上下文窗口数学属于「提示与上下文工程」站;本站聚焦编程场景的应用。
01-心智与基础
5 个知识点AI 辅助编程的版图与核心术语最小路径AI 辅助编程(AI-Assisted Coding)是以大语言模型(LLM)为引擎,在编码全流程中提供代码补全、生成、解释、重构、测试与代理执行等能力的工程实践统称。自动补全心智模型与接受策略最小路径自动补全是模型基于当前文件与光标上下文做的「高概率续写」,正确用法是把它当打字加速器而非正确性来源,用显式的接受策略控制采纳。对话式编程:意图-约束-验收三元组最小路径对话式编程的可靠表达结构是三元组——意图(做什么、为什么)、约束(技术栈、风格、禁区)、验收(怎样算完成),三要素齐全才能稳定获得可用产出。上下文窗口与注意力预算最小路径上下文窗口是模型单次能读入的 token 上限,而「注意力预算」是指即使窗口够大,注意力也会随材料增多而稀释——上下文管理的目标是用最少的材料换最准的产出。代码库理解:索引、符号与语义检索AI 通过三条路径「看见」代码库——显式上下文(你贴的文件)、自动检索(索引与语义搜索)、结构信息(符号与调用关系)——理解三条路径的机理才能诊断「它怎么又找不到这个函数」。
02-上下文准备
5 个知识点规则文件(AGENTS 类)设计与维护规则文件是放在仓库里、每次 AI 会话自动注入的常驻指令(AGENTS.md/CLAUDE.md/.cursorrules 等),它用极小的 token 成本把「项目事实」与「行为红线」变成 AI 的默认上下文。三类场景提示模板:修 Bug、新功能、重构最小路径把高频任务固化为三张提示模板——修 Bug(症状/复现/期望)、新功能(意图/接口/边界)、重构(目标/不变量/验证)——每次发起任务时填空而非从零措辞。上下文包准备清单最小路径上下文包(context pack)是为单个任务打包的最小充分材料集合——任务一句话、相关代码与行号、接口约定、验收样例、约束禁区——用 5 分钟准备换掉数十分钟往返。长会话管理与衰减应对长会话会随轮次累积噪声与冲突约束,表现为「遗忘早前约定、重复解释、答非所问」;应对之道是把关键状态落盘、定期摘要重开,而不是无限续聊。大代码库探索策略面对陌生代码库,正确策略是「先问地图、再问路线、后问点位」——用递进的提问序列建立结构认知,再定位最小改动点,而不是上来就把任务砸给 AI。
03-工程工作流
6 个知识点spec 驱动开发最小路径spec 驱动开发(spec-driven development)是先写一份可执行规格——目标、接口、行为清单、边界与错误处理、验收条件——再让 AI 按规格实现、按规格验收的工作流。TDD 配合 AI:角色分配与流程TDD 与 AI 配合的关键是角色分配——人定测试意图与边界,AI 起草测试与实现,人审测试质量——严格保持「先有测试(红灯)再有实现(绿灯)」的顺序不被 AI 打破。AI 产出 Diff 审查工作流最小路径AI 产出的审查对象是 Diff 而非对话过程——用「小步生成 → 人先自审 → 让 AI 自评 → 测试兜底 → 清单放行」的五步流程,把审查控制在人类 10 分钟可承受的粒度。调试协作:错误信息的喂法与假设树高效调试协作 = 结构化投喂(完整错误栈 + 最小复现 + 相关代码 + 已排除项)+ 假设树方法(让 AI 列出按概率排序的假设,逐个验证),而不是「报错了怎么办」式的求助。重构与迁移:大范围改动的护栏网让 AI 执行大规模重构或迁移的前提是先张好护栏网——特征测试锁定行为、小批分片、每批可回滚、行为不变可验证——四件护栏缺一,批量修改就是在裸奔。Git 协作与 AI:提交粒度、描述与回滚准备AI 时代的 Git 纪律三件事:一个 AI 会话对应一个逻辑提交、用模板让 AI 起草高信息量提交与 PR 描述、合并前永远保持「一步可回滚」的姿态。
04-Agent化开发
4 个知识点编码 Agent 的规划-执行-验证循环编码 Agent 是「LLM + 工具 + 循环」:模型在观察-规划-行动-验证的闭环中自主读写文件、执行命令、运行测试,正确用法是给结构化派工单并守住验收与止损两条线。工具权限与沙箱边界Agent 的每个工具(读、写、执行、网络)都是独立的风险面,权限管理的原则是最小授权加分层放行——只读起步、写操作需确认、命令走白名单、敏感环境加沙箱隔离。多 Agent 编排:何时值得与如何拆分多 Agent 编排只有在子任务「接口清晰、可独立验证、互不共享状态」时才值得——生成者-批评者对是最稳的入门形态,并行批量任务是最稳的扩展形态。自主跑偏检测与止损Agent 跑偏的对策是「预算 + 信号 + 落盘」三件套:预设尝试次数与时长的硬预算,识别反复修复、越改越多、删测试过关等跑偏信号,把每次教训落盘后用重述任务的方式重启。
05-质量与安全
5 个知识点AI 代码审查清单:五层过滤最小路径AI 代码审查清单是五层过滤网——正确性、安全性、一致性、可维护性、测试性——每层一组可勾选检查项,专门拦截 AI 产出中「编译通过、测试全绿、但仍然是错的」的内容。依赖幻觉与供应链安全最小路径依赖幻觉是模型推荐不存在的包名;当攻击者抢注这些「幻觉包名」并植入恶意代码时(slopsquatting),一次不经意的安装就变成供应链入侵——防线是「先查注册表再安装」的硬规则加锁文件与成分扫描。许可证与代码来源卫生许可证卫生 = 引入的每一份第三方代码(依赖与 AI 逐字产出的片段)都过一遍「家族识别 → 兼容性 → 归属」检查,并默认要求 AI 产出原创实现而非复现已知开源代码。密钥与敏感信息卫生密钥卫生的三条防线:密钥不进提示词、AI 产出中只允许占位符、提交前自动扫描;配套泄露应急四步——作废、轮换、排查、复盘。AI 代码典型错误模式与技术债AI 代码的七类高频错误模式——API 幻觉、旧版 API、风格漂移、重复造轮子、过度防御、死代码残留、测试凑答案——各有识别信号与处置动作,模式化识别比逐行怀疑高效得多。
06-效能与团队
3 个知识点07-脉络与前沿
3 个知识点发展脉络与流派AI 辅助编程在七年里走完了「代码模型 → 补全产品 → 对话编程 → 工程 Agent」四步,并分化出补全派、对话派、Agent 派与规格派四种实践流派——理解脉络是为了判断当下工具的定位与未来方向。前沿趋势:上下文工程、规格化与协议化五个值得关注的前沿方向——上下文工程规范化、规格与验证自动化、工具协议标准化、长程任务能力、AI 原生开发环境——共同指向同一个终局假设:工程质量基建正被改写为「给 AI 用的基础设施」。争议与伦理:责任、同质化与就业AI 编程的四大争议——缺陷责任归属、代码同质化与安全放大、就业结构冲击、训练数据版权——当前都没有终局答案;工程师的务实立场是「责任全在提交者 + 用决策框架替代站队 + 团队披露政策」。