C、构建系统与硬件邻近编程¶
学习 C 的重点是理解数据表示、内存、编译边界和硬件接口，而不是背诵语法。构建系统的任务是明确源文件、选项、依赖与产物之间的关系；CMake 是一种常见例子，但流程同样适用于其他可脚本化构建工具。
目的与学习成果¶
- 用固定宽度类型和明确单位表达硬件邻近数据；
- 将驱动逻辑、算法和平台接口分层；
- 用警告、静态检查和主机测试提前发现缺陷；
- 从干净目录可重复配置、构建、测试和打包；
- 阅读编译、链接、映射和运行时诊断信息。
最小环境¶
- 一个符合课程目标的 C 编译器；
- 一个可脚本化构建工具；
- 调试器或运行时诊断工具；
- 版本控制与纯文本编辑器；
- 主机端练习，不需要开发板即可完成核心任务。
保存编译器与构建工具的实际版本、目标架构和关键选项。不要复制来源不明的编译参数；每个选项都应能解释其目的。
学习顺序¶
- 表示：练习整数宽度、符号、移位、字节序和结构体布局。
- 边界：为数组长度、缓冲区容量、错误码和所有权建立明确契约。
- 分层：把纯算法与寄存器、计时器、串口等平台访问隔开。
- 构建：定义库、可执行文件、包含路径、编译选项和测试目标。
- 诊断：把重要警告视为错误，在主机上运行单元测试和运行时检查。
- 交叉编译：最后再引入目标工具链文件、链接脚本和烧录步骤。
对 volatile、中断共享数据和内存映射寄存器要按语言与平台语义处理；它们不是通用线程同步方案。
验证任务：可移植环形缓冲区¶
实现一个可用于采样数据的固定容量环形缓冲区：
- 写出容量、溢出策略、输入类型和错误行为；
- 在主机端实现初始化、写入、读取和状态查询；
- 测试空、满、回绕、边界长度和无效参数；
- 用编译器警告及可用的运行时诊断检查越界和未定义行为；
- 生成库与测试程序，并从空构建目录执行；
- 写一个薄平台适配层，模拟中断产生样本、主循环消费样本。
验收包括所有测试通过、零未解释警告，以及生成的映射或尺寸摘要可说明内存成本。
常见失败与排查¶
- 不同平台结果不同：检查类型宽度、对齐、字节序和未定义行为。
- 链接时报未定义符号：确认声明与定义、链接顺序、目标依赖和名称修饰。
- 改头文件却未重编：让构建系统显式追踪依赖，不依赖手工命令顺序。
- 优化后才出错：查找越界、未初始化、数据竞争和错误的
volatile假设。 - 测试只能在板上跑：抽出纯逻辑和硬件接口，用模拟对象在主机验证。
- 烧录后设备失联：先保留恢复接口和保守时钟配置，再检查引脚与启动模式。
可复现证据¶
- 源码、公开头文件和接口契约；
- 构建配置、工具链文件与实际编译命令；
- 测试清单、测试日志和覆盖边界说明；
- 编译器警告策略及零未解释警告记录；
- 二进制尺寸、映射文件或符号摘要；
- 目标板、时钟、内存布局和烧录方式；
- 已知的实现定义、平台假设和恢复步骤。
成本、许可与无障碍¶
主机练习可使用自由编译器和构建工具完成，不要求硬件。引入库时记录许可证、来源和编译配置；不要把供应商受限包重新分发到公开仓库。
终端命令应可复制为脚本，错误日志保留文本。状态不能只通过 LED 颜色表达；提供串口日志、测试报告或可读状态码。资源受限设备可先用主机模拟保持学习目标。
安全边界¶
- 数组越界、整数溢出和无效指针可能变成真实设备风险，不能仅视为软件瑕疵；
- 烧录前核对目标、供电、调试电平、引脚复用和恢复方式；
- 看门狗、执行器和电源控制代码要有安全默认态与超时；
- 不在未知硬件上运行来源不明的固件；
- 涉及电机、加热、储能或射频发射时，必须使用受监督设施和独立硬件保护。
完成清单¶
- 项目可从空构建目录配置、编译和测试。
- 固定宽度类型、单位和接口所有权已写明。
- 核心逻辑不依赖真实硬件即可测试。
- 边界、错误和回绕行为均有测试。
- 没有未解释的编译器或链接器警告。
- 已记录工具链、目标、内存成本和恢复步骤。
- 第三方代码来源与许可证清楚。
- 硬件适配层具有安全默认态和停止条件。