Rust嵌入式场景如何实现编译期分配的静态结构体如UART驱动

结论 #

该需求可以实现，和C语言全局静态结构体的行为完全对齐，仅需遵循Rust的静态初始化安全规则即可。

实现方式 #

1. 编译期直接静态初始化（最接近C的原生方案） #

Rust的static变量会在编译期直接分配到静态存储区，仅要求初始化逻辑是常量表达式，你只需要把DriverUart的new方法声明为const fn即可：

struct DriverUart {
    base_addr: usize, // 寄存器基地址，编译期可确定
    baud_rate: u32,   // 波特率，编译期可确定
    // 其他编译期可确定的字段
}

impl DriverUart {
    // 声明为const fn，允许编译期执行
    pub const fn new(base_addr: usize, baud_rate: u32) -> Self {
        Self { base_addr, baud_rate }
    }
}

// 全局静态实例，编译期完成分配和初始化，和C全局变量行为完全一致
pub static UART1: DriverUart = DriverUart::new(0x40013800, 115200);

该方案零运行时开销，不需要运行时调用new，全局直接可用。如果需要修改实例内部状态，搭配嵌入式常用的自旋锁即可：

use spin::Mutex; // 无_std嵌入式场景通用自旋锁

pub static UART1: Mutex<DriverUart> = Mutex::new(DriverUart::new(0x40013800, 115200));

2. 带运行时初始化的场景 #

如果你的new方法包含编译期无法执行的逻辑（比如写外设寄存器完成硬件初始化），可以用延迟初始化方案：

• 嵌入式无_std场景使用once_cell::unsync::OnceCell/once_cell::sync::OnceLock
• 有_std场景使用标准库的std::sync::OnceLock
  示例：

use once_cell::sync::OnceLock;

pub static UART1: OnceLock<DriverUart> = OnceLock::new();

// 硬件初始化阶段调用一次完成初始化
pub fn init_uart1() {
    UART1.set(DriverUart::new(0x40013800, 115200)).unwrap();
}

为什么和C的写法有差异 #

Rust从语言层面规避了C的两个常见问题，所以加了强制限制：

• 避免静态初始化顺序fiasco：要求静态变量的默认初始化必须是编译期常量，不允许运行时的全局初始化逻辑乱序执行
• 避免全局变量数据竞争：全局可变变量访问默认标记为unsafe，强制开发者通过锁等机制保证并发安全

不可行场景说明 #

如果你的new方法包含非const的运行时逻辑，又不想用延迟初始化，那么无法直接在全局位置调用普通new初始化静态变量，这是Rust的安全规则限制，没有绕过方案。

最优方案选择 #

• 驱动字段全部可在编译期确定：优先选择const fn+static的方案，零开销完全对齐C的实现
• 需要运行时硬件初始化：选择OnceLock延迟初始化方案，开销极小符合嵌入式场景要求

内容的提问来源于stack exchange，提问作者fptech20