AI工具实测 | AI生成的C语言代码能否直接使用?从一个整数最大值程序谈起

随着大语言模型在代码生成领域的广泛应用，越来越多的初学者选择借助AI工具完成编程作业。AI能够在数秒内输出结构完整的代码框架，大幅缩短从需求到原型的时间。然而，AI生成的代码并不等同于可直接交付的成品——尤其在C语言这类对内存操作和边界条件要求严格的语言中，AI产出的代码往往存在逻辑疏漏和潜在风险。

本文以C语言课程中最常见的"整数最大值求解"程序为例，完整走一遍"AI生成初稿—人工审查漏洞—定向反馈迭代—多场景测试验证"的开发流程，帮助读者建立对AI辅助编程的正确认知：AI是高效的辅助工具，但代码质量的最终责任人始终是开发者自己。

本次实战开发一个控制台版整数最大值求解程序，具体需求如下：

● 最多接收10个用户输入的整数，计算并输出最大值

● 支持用户提前终止输入（输入非数字字符即停止采集）

● 具备异常处理能力，避免程序死循环、闪退或未定义行为

● 未采集到有效数据时输出提示信息，保证程序健壮性

我们使用如下提示词向AI获取初始代码：

你现在是C语言教学助教，请为学生写出教学级别的完整C语言代码。

需求：写一个控制台版整数最大值求解程序，最多读取10个用户输入的整数，计算并输出这批数据的最大值；增加容错处理，非数字输入、没有读到有效数据时给出友好提示，不要直接崩溃；代码使用标准C语言（C99），不要使用非标准扩展，添加详细中文注释。最后给出编译方法、测试用例说明、常见报错和排查方案。

AI输出的初始版本如下。该版本实现了基本功能，但经审查和测试发现存在多处缺陷，我们逐一标注：

缺陷1：max变量未初始化

尽管后续逻辑中max会被nums[0]赋值，但编译器在静态检查阶段无法确认这一点，会产生"uninitialized variable"警告。未初始化变量是C语言中未定义行为的常见来源，即使当前逻辑安全，也应养成声明即初始化的编码习惯。

缺陷2：输入缓冲区清空逻辑在EOF时触发死循环（核心缺陷）

这是最隐蔽且最严重的问题。当用户通过Ctrl+Z（Windows）或Ctrl+D（macOS/Linux）发送EOF信号时，scanf返回EOF常量。随后执行的缓冲区清空语句：

while (getchar() != '\n');

其设计意图是读取缓冲区中剩余字符直至遇到换行符。但在EOF状态下，getchar()同样返回EOF，而EOF的值（通常为-1）永远不等于字符'\n'（ASCII 10），导致该循环无限执行，程序彻底卡死，无法通过正常方式关闭。

该缺陷在常规输入（如输入字母触发非法字符）时不会暴露，因为此时缓冲区中仍有剩余字符和换行符，循环能够正常终止。只有在EOF这一边界条件下才会触发，属于典型的"测试覆盖不足导致遗漏"的案例。

缺陷3：末尾等待退出的getchar()存在同类问题

程序末尾的"按回车键退出"逻辑中，若此前已触发EOF，getchar()将直接返回EOF，程序行为不可控。此外，对于控制台小程序而言，这一等待退出的设计本身并非必要。

附加问题：固定次数循环的交互体验

使用for (i=0; i<10; i++)固定循环10次，即使用户在第3次输入后提前终止，输入提示序号仍会按循环变量累加。虽不影响功能正确性，但交互体验不够友好。

将上述缺陷精准描述后反馈给AI，要求其在保留原有功能和注释的基础上进行修复：

代码存在以下问题，请修复：

1. EOF（Ctrl+Z/Ctrl+D）时，清空输入缓冲区的while循环会死循环， 因为getchar()返回EOF永远不等于'\n'，需要同时检查EOF条件。

2. max变量未初始化，会触发编译器警告，请初始化。

3. 末尾等待回车退出的getchar()在EOF场景下行为不可控，建议移除。

4. 保留原有全部功能和中文注释，严格遵循C99标准。

需要强调的是：向AI反馈问题的前提是开发者自己已经理解了缺陷的根因。只有精准描述"是什么问题、为什么出错、期望怎样修复"，AI才能给出有效的迭代结果。如果仅说"代码有bug，帮我改"，AI很可能无法定位到真正的问题。

AI根据反馈输出的优化版本如下：

修复要点：

● EOF处理：用变量接收scanf返回值，显式判断result == EOF时直接break，不进入缓冲区清空循环

● 缓冲区安全清空：while条件中增加c != EOF判断，确保即使在EOF状态下循环也能终止

● 变量初始化：max声明时即赋值为0，消除编译器警告

● 移除冗余逻辑：删除末尾等待回车退出的代码，简化程序流程

优化完成后，需通过多组测试用例验证程序在各类场景下的行为是否符合预期：

测试用例1：正常整数输入

输入：3 7 2 9 5（输入非数字结束）

预期输出：最大值是：9

实际结果：符合预期

测试用例2：非法字符输入

输入：1 2 abc

预期行为：读取到abc时停止采集，输出已输入数据的最大值

实际结果：符合预期，程序正常退出

测试用例3：空输入（直接发送EOF）

输入：Ctrl+Z / Ctrl+D

预期输出：没有输入有效数据！

实际结果：符合预期，不再卡死（初始版本在此场景会死循环）

测试用例4：输入达到数量上限

输入：连续输入10个整数

预期行为：自动结束采集，计算并输出最大值

实际结果：符合预期

四组测试全部通过，特别是初始版本中EOF导致死循环的严重缺陷已彻底修复。