01-HAL on 编程那些事儿

01-检查清单

Sat, 01 Aug 2026 10:38:00 +0800

译文 · 基于 The Embedded Rust Book

原文链接: https://doc.rust-lang.org/stable/embedded-book/design-patterns/hal/checklist.html

命名 (crate 符合 Rust 命名约定)
- crate 命名恰当（C-CRATE-NAME）
互操作性 (crate 能与其它库功能良好协作)
- 包装类型提供析构方法（C-FREE）
- HAL 再导出其寄存器访问 crate（C-REEXPORT-PAC）
- 类型实现 embedded-hal trait（C-HAL-TRAITS）
可预测性 (crate 能写出易读且行为与外观一致的代码)
- 使用构造函数而非扩展 trait（C-CTOR）
GPIO 接口 (GPIO 接口遵循统一模式)
- 引脚类型默认为零大小类型（C-ZST-PIN）
- 引脚类型提供擦除引脚与端口的方法（C-ERASED-PIN）
- 引脚状态应编码为类型参数（C-PIN-STATE）

Sat, 01 Aug 2026 10:38:00 +0800

译文 · 基于 The Embedded Rust Book

原文链接: https://doc.rust-lang.org/stable/embedded-book/design-patterns/hal/naming.html

HAL crate 应以其所支持的芯片或芯片系列命名。名称应以 -hal 结尾，以便与寄存器访问 crate 区分。名称中不应包含下划线（请改用连字符）。

Sat, 01 Aug 2026 10:38:00 +0800

译文 · 基于 The Embedded Rust Book

原文链接: https://doc.rust-lang.org/stable/embedded-book/design-patterns/hal/interoperability.html

HAL 提供的任何非 Copy 包装类型都应提供 free 方法：消费该包装类型，并返回创建它时所用的原始外设（以及可能的其它对象）。

该方法应在必要时关闭并复位外设。使用 free 返回的原始外设再次调用 new 时，不应因外设处于意外状态而失败。

Sat, 01 Aug 2026 10:38:00 +0800

译文 · 基于 The Embedded Rust Book

原文链接: https://doc.rust-lang.org/stable/embedded-book/design-patterns/hal/predictability.html

凡是 HAL 为其增加功能的外设，都应包装在新类型中，即便该功能不需要额外字段。

应避免为原始外设实现扩展 trait。

Sat, 01 Aug 2026 10:38:00 +0800

译文 · 基于 The Embedded Rust Book

原文链接: https://doc.rust-lang.org/stable/embedded-book/design-patterns/hal/gpio.html

HAL 暴露的 GPIO 接口应为每个接口或端口上的每个引脚提供专用的零大小类型（ZST），从而在所有引脚分配在静态可知时实现零成本 GPIO 抽象。