第55期:用AI重构C语言代码,学生当“嵌入式软件工程师”

数智课程设计师成长营将从“领导力、设计力、调控力、决策力、创造力”五个能力模块，按“基础→整合→创新”三级进阶赋能教师“师-生-机”课堂教学设计，全方位助力教师从“用AI”到“创AI”。

——从第51期开始，按照专业，对应专业课程进行排期设计，首个专业为高职电子信息工程技术，共计9门课程，敬请批评指正。

专业背景

场景还原

设计策略

本课围绕企业真实场景设计，践行“认知分工（Division）—交互增强（Interaction）—价值对齐（Alignment）”的DIA“师-生-机”三元协同教学模式，按照“课前—课中—课后”三段式展开，分四个阶段开展教学设计：

核心任务：作为智控未来的嵌入式软件工程师，对智能温控器固件代码进行审查与重构。已知问题：① 设备运行72小时后死机（怀疑内存泄漏）；② 从STM32F103移植到GD32F103后，ADC采集值异常（可移植性问题）；③ 代码中全局变量超过20个，main函数超过500行。要求：完成代码静态分析，诊断内存泄漏点，优化可移植性，重构模块化架构，提交重构方案与测试报告。

认知分工：

交互增强：通过“学生手动审查 → AI辅助分析 → 学生定位问题 → AI提供重构建议 → 学生编码实现 → AI代码审查”的循环，让学生掌握一套“发现问题-分析问题-解决问题”的代码重构方法论。

价值对齐：强调嵌入式软件开发的“可靠性”（内存安全、无泄漏）、“可移植性”（跨平台兼容）与“可维护性”（模块化、注释规范）。

• 教师活动：

  1. 发布任务：智能温控器固件代码审查与重构。

  2. 利用AI生成《智能温控器代码审查任务书》（含问题现象描述、代码片段、目标要求）。3. 引导学生思考：“一段能正常运行的代码，为什么在嵌入式工程师眼中可能是不合格的？‘能跑’和‘能交付’之间差了什么？”

• 学生活动：1. 下载原始固件工程，阅读代码，初步感受代码风格与结构。2. 复习C语言内存管理（malloc/free）、指针、结构体、模块化设计等知识。3. 小组内部分工：代码审查员、内存分析员、可移植性分析员、重构设计师。

• 机（AI）：使用DeepSeek：生成《智能温控器代码审查任务书》，包含典型问题代码片段和“代码质量红线”清单。

• 设计意图：

  对齐“为何而学”：从“写出能跑的代码”到“写出能交付的工程代码”，建立代码质量意识。

• 教师活动：1. 巡视各组的代码审查进度。2. 对卡壳小组引导：“你们在代码中找到了几个malloc？对应的free在哪里？如果函数提前return了，free还会执行吗？”

• 学生活动：

  1. 代码审查：小组对原始代码进行静态分析，识别潜在问题（内存泄漏、野指针、数组越界、全局变量滥用、硬编码等）。2. 求助AI代码审查专家：“作为代码审查专家，请帮我分析以下C语言代码片段。代码功能：从温湿度传感器采集数据并存储到动态数组中。请指出所有潜在的内存管理问题、指针安全问题、可移植性问题，并给出修改建议。代码：[粘贴代码]”

• 机（AI）：使用Kimi / DeepSeek（扮演“代码审查专家”）：输出审查报告。例如：“问题1：内存泄漏。第45行malloc分配内存，但函数在第60行存在提前return语句，导致free未执行。问题2：野指针。第78行free(ptr)后未将ptr置为NULL，后续第82行再次使用ptr。问题3：可移植性。第120行硬编码了STM32的ADC寄存器地址0x4001244C，移植到GD32后地址不同。”

• 设计意图：

  实现认知分工：学生负责代码走读与问题初步定位，AI负责系统性静态分析与风险量化，让学生快速掌握代码审查的“雷达图”。

• 教师活动：

  1. 组织“代码重构设计评审会”。2. 引导冲突：“A组采用链表管理动态内存，B组使用静态数组。在资源受限的MCU上，哪种方案更优？为什么？”

• 学生活动：

  1. 重构设计：小组基于AI的审查报告，设计重构方案（模块化拆分、内存管理优化、可移植性封装）。2. 编码实现：在Keil MDK中编写重构后的代码模块，并通过编译。3. 接受AI重构顾问质询：“你重构后的代码将ADC初始化函数封装为ADC_Init(void)，但如果MCU更换为GD32，其ADC初始化流程不同，你的封装是否足够抽象？是否应该定义一个HAL_ADC_Init()接口，底层实现根据不同MCU条件编译？”

• 机（AI）：

  使用文心一言（扮演“架构重构顾问”）：从软件架构层面提出质询，引导学生思考接口抽象与设计模式。

  使用Keil MDK：编译重构后的代码，检查语法错误与警告。

• 设计意图：

  推动知识整合：让学生理解重构不仅仅是“改代码”，更是“设计架构”，引入“接口抽象”、“条件编译”、“模块化”等工程概念。

• 教师活动：

  1. 回收最终《智能温控器代码重构报告》（含问题清单、重构方案、重构前后代码对比、编译结果）。2. 发布“代码重构复盘报告”模板，从“问题定位、重构设计、编码实现、AI协同、工程思维”五个维度反思。

• 学生活动：1. 优化迭代：根据“架构重构顾问”的质询意见，完善重构方案，提交最终版代码与报告。2. 撰写个人反思，重点回答：“在重构过程中，我是否理解了‘内存泄漏’的本质？AI帮我找到的问题，我自己能否通过代码走读发现？我设计的模块接口是否足够通用？”

• 机（AI）：使用Kimi：生成一份《班级嵌入式代码质量能力画像》，从“内存管理”、“指针安全”、“可移植性”、“模块化设计”四维度进行分析。

• 设计意图：

  实现元认知提升：形成“审查→诊断→重构→验证→反思”的闭环，内化“嵌入式软件工程”的系统观。

案例工具箱

• 教师生成《智能温控器代码审查任务书》（课前）：

  请为“智控未来”项目生成一份智能温控器固件代码审查任务书。背景：基于STM32F103的智能温控器，已进入测试阶段。问题现象：设备运行72小时后偶发死机；从STM32移植到GD32后ADC采集异常；代码可读性差，维护困难。要求：输出一份结构化的任务书，包含：1）问题现象描述（含复现步骤）；2）原始代码工程的关键代码片段（含典型Bug，如内存泄漏、硬编码地址）；3）审查目标（内存安全、可移植性、代码规范）；4）交付物要求（审查报告、重构方案、重构后代码）。

• Prompt模板——学生向AI请求代码审查（课中第一阶段）：

  作为代码审查专家，请帮我分析以下C语言代码片段。代码功能：使用动态内存分配存储传感器数据，并通过串口打印。请指出所有潜在的内存管理问题、指针安全问题、可移植性问题，并给出修改建议。代码：

  #include <stdlib.h>#include <stdio.h>#define SENSOR_DATA_SIZE 10void collect_and_print(void) {   int *data = (int*)malloc(SENSOR_DATA_SIZE * sizeof(int));   if (data == NULL) {      printf(“Memory allocation failed!\\n”);        return;    }    // 模拟传感器数据采集   for (int i = 0; i < SENSOR_DATA_SIZE; i++) {      data[i] = i * 10;    }    // 模拟数据异常，提前返回   if (data[0] > 50) {      printf(“Data anomaly, aborting!\\n”);       return; // 问题：此处return导致free未执行，内存泄漏}    // 打印数据for (int i = 0; i <= SENSOR_DATA_SIZE; i++) { // 问题：数组越界   printf(“Data[%d] = %d\\n”, i, data[i]);}free(data);     // 问题：free后未置NULL，后续可能产生野指针   // data = NULL; }int main(void) {     // 初始化硬件（硬编码地址，可移植性差）#define ADC_BASE_ADDR 0x4001244C  // STM32的ADC1基地址     // … 其他代码     collect_and_print();     return 0; } “`”

• Prompt模板——AI扮演“架构重构顾问”质询（课中第二阶段）：

  扮演具有10年嵌入式软件架构设计经验的架构重构顾问。你正在评审一个学生团队对智能温控器固件的重构方案。你的风格：严谨、注重可扩展性与可维护性。请针对他们的重构方案，提出3个深入的技术问题，例如：1. 你将ADC初始化函数封装为ADC_Init(void)，但如果MCU更换为GD32，其ADC初始化流程和寄存器地址都不同。你的封装是否足够抽象？是否应该定义一个HAL_ADC_Init()接口，底层实现根据不同MCU通过条件编译区分？ 2. 你使用全局结构体SystemConfig来管理所有系统参数，这确实减少了全局变量数量，但结构体内部成员之间的耦合度如何？如果未来需要增加Wi-Fi模块配置，你的结构体是否需要频繁修改？’3. 你在重构中移除了动态内存分配，改用静态数组。在资源受限的MCU上，这确实避免了内存泄漏，但如果未来需要支持更多传感器通道，静态数组的大小是否可配置？是否应该使用宏定义来管理数组大小？

• 推荐工具

• 评价量规（简易版）：

行动指南

延申思考