大语言模型正在重塑软件开发的日常。从Copilot到各种编程助手,AI生成代码的能力已经渗透到许多开发者的工作流中。但在实际应用中,一个现象值得注意:不少团队在使用AI编程时,陷入了“需求描述-代码生成-发现问题-修改需求”的循环,原本期望的效率提升,变成了另一种形式的消耗。
问题出在哪里?
一、从模糊想法到可执行代码的距离
当开发者对AI说“帮我写一个串口调试工具”时,输入的是一个模糊的需求,输出的是一段具体的代码。这中间跨越的,其实是整个设计阶段。
在传统的软件开发流程中,从需求到代码需要经过需求分析、架构设计、详细设计等多个环节。每个环节都会产出相应的文档:需求规格说明、系统架构设计、模块接口定义、数据结构设计等。这些文档的价值,在于将模糊的想法逐步细化,最终形成可供编码实现的蓝图。
AI编程的误区在于,很多人试图用一句话替代整个设计过程,直接跳到代码生成。但AI不是读心术,它无法理解开发者脑海中那个尚未成型的图景。它只能根据输入的文字,生成一个“最可能”的版本。而这个版本,往往与开发者的预期存在差距。
于是就有了后续的反复修改:波特率不对,改一下;界面风格不对,再改一下;异步处理不对,继续改。每一次修改,都是在补设计阶段的课。
二、Spec驱动开发的实质
Spec驱动开发的核心思想,不是用AI替代设计,而是用AI加速从设计到代码的转换过程。它的前提是:设计本身仍然需要人来完成,只是设计成果的呈现方式发生了变化。
在传统的详细设计中,开发者可能会用UML图、伪代码、接口定义语言来描述模块的行为。在AI辅助的开发模式下,这些设计可以用结构化的Markdown文档来承载。例如:
req.md:描述功能需求、用例场景
design.md:描述系统架构、模块划分、模块间接口
detailed_design.md:描述关键模块的内部实现细节
这些文档构成了“Spec集”。当Spec集足够清晰时,AI才能基于它生成符合预期的代码。
实践中发现,Spec的细致程度可以通过“生成-验证”的迭代来判断。将当前版本的设计文档喂给AI,生成部分代码,检查是否符合预期。如果不符合,说明设计还不够细,需要继续补充细节。这是一种探索式、反馈式的设计过程。
三、设计文档中需要明确的几个要素
从多个项目的实践经验来看,设计文档要有效支撑AI代码生成,通常需要包含以下几个层面的内容:
模块划分与职责边界。系统由哪些模块组成?每个模块负责什么功能?模块之间的依赖关系是怎样的?这些信息决定了代码的组织结构。
接口定义。模块之间如何交互?函数签名是什么?参数的类型和含义是什么?返回值是什么?对于异步接口,还需要明确回调或事件的处理方式。接口定义越清晰,AI生成的模块间协作代码越准确。
数据结构和核心流程。关键的数据结构如何定义?主要业务流程的状态转换是怎样的?这些信息帮助AI理解系统的核心逻辑。
技术选型和约束。使用什么编程语言和框架?代码分层遵循什么规范?有哪些性能或安全方面的约束?这些信息确保AI生成的代码符合项目的技术栈要求。
四、人与AI的分工边界
在AI辅助的开发模式下,人与AI的分工需要重新界定。
人负责的是“设计”和“验证”。设计包括需求分析、架构决策、接口定义、关键算法设计等需要业务理解和工程判断的部分。验证包括对AI生成代码的审核、测试和集成。
AI负责的是“实现”和“建议”。在清晰的设计文档指导下,AI可以高效地生成符合规范的代码。同时,AI也可以在设计阶段提供参考建议,比如根据需求描述推荐模块划分方案。
这种分工的前提是,设计文档本身要足够好。如果设计文档质量不高,AI生成的代码就会偏离预期;如果设计文档过于详细,又会陷入“写文档比写代码还累”的困境。找到那个平衡点,是实践中的关键。
五、从实践中来的一些观察
在多个项目的实践中,有几个现象值得留意:
第一,设计文档的质量与AI生成代码的效果呈正相关。文档越清晰,代码越准确。这个结论看似简单,但在实际执行中,很多人会低估“清晰”的难度。
第二,接口设计是难点,尤其是异步接口。很多人自己写异步代码都容易出错,让AI写更容易偏离。但如果把接口定义清楚了,AI反而能稳定输出。
第三,探索式的设计迭代是有效的。不必追求一次把设计写完美,可以先写一个基础版本,让AI生成部分代码,根据效果反馈再补充设计细节。这种方式比传统的瀑布式设计更灵活。
第四,代码审核仍然必要。AI生成的代码虽然结构规整,但在边界条件处理、异常处理、资源释放等细节上,仍然需要人工把关。
六、写在最后
AI辅助编程正在改变软件开发的形态。但改变的方向,不是“程序员不写代码了”,而是“程序员把更多精力放在设计上”。
那个花了两周才做完的小工具,是一个典型的案例——很多人刚接触AI编程时,都会在这个弯上绕一阵子。以为有了AI就可以省掉设计,结果反而花了更多时间在来回拉扯上。
工程师高培认为AI不是读心术,它不知道开发者脑子里那个模糊的图景是什么。但如果能把那个图景画成蓝图,AI就能把房子盖起来。这大概是AI辅助编程里,最需要跨过的一道坎。