Rust #![no_std]环境下全局状态处理的惯用方法咨询

问题原因 #

你用lazy_static!定义的nodes是只读的全局引用，lazy_static默认不会为生成的静态变量实现DerefMut——这是因为全局可变状态在裸机或RTOS环境下必须考虑线程安全/中断安全，直接暴露可变引用会导致数据竞争。

惯用解决方案 #

1. 跨环境互斥锁（推荐）

针对#![no_std]场景，用critical-section库做跨平台临界区抽象，配合spin或RTOS原生的互斥锁，既能保证裸机下的中断安全，又能自动适配Zephyr/FreeRTOS等RTOS的同步机制。

步骤1：添加依赖

[dependencies]
heapless = "0.8"
lazy_static = { version = "1.4", features = ["spin_no_std"] }
critical-section = "1.1"
spin = { version = "0.9", features = ["critical-section"] }

步骤2：修改代码

#![no_std]
use heapless::Vec;
use spin::Mutex;

// 用Mutex包裹状态，lazy_static负责在首次访问时初始化
lazy_static! {
    static ref NODES: Mutex<Vec<u8, 100>> = Mutex::new(Vec::new());
}

fn foo() {
    // 调用lock()进入临界区，获取可变引用
    let mut nodes = NODES.lock();
    // 实际项目中建议处理push的返回值（比如栈满错误）
    let _ = nodes.push(1);
}

说明：

• 裸机环境下，spin::Mutex会通过critical-section禁用中断，保证操作原子性；
• RTOS环境下，critical-section会自动绑定系统原生互斥锁，无需修改代码；
• lazy_static的spin_no_std特性用于在无std环境下完成静态变量的线程安全初始化。

2. 封装状态为结构体（优先推荐）

如果业务允许，尽量避免全局状态，把状态封装进结构体，让调用方持有实例——这更符合Rust的所有权模型，完全规避全局可变状态的安全问题。

#![no_std]
use heapless::Vec;

// 库对外暴露的结构体，内部持有状态
pub struct NodeManager {
    nodes: Vec<u8, 100>,
}

impl NodeManager {
    // 创建实例的构造函数
    pub fn new() -> Self {
        Self { nodes: Vec::new() }
    }

    // 提供修改状态的方法
    pub fn add_node(&mut self, val: u8) -> Result<(), heapless::VecError> {
        self.nodes.push(val)
    }
}

// 调用方示例（裸机/RTOS通用）
// let mut manager = NodeManager::new();
// manager.add_node(1).unwrap();

这种方式无需互斥锁，也不需要全局变量，是Rust库设计的最佳实践。

3. Unsafe全局状态（仅极端场景使用）

如果能100%确认没有并发访问或中断干扰（比如单核心裸机且所有操作都在主循环，无中断回调修改该状态），可以用static mut结合unsafe代码，但这种方式风险极高，不推荐在库中使用（无法约束调用方的使用场景）。

#![no_std]
use heapless::Vec;

static mut NODES: Vec<u8, 100> = Vec::new();

fn foo() {
    unsafe {
        // 必须手动保证此时没有其他代码访问NODES（比如提前关闭中断）
        let _ = NODES.push(1);
    }
}

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