将数据解析为模块级可变静态变量

Question

我在一个模块中有一组函数需要访问一些共享的初始化时状态。实际上，我想用静态可变向量对此进行建模，例如：

static mut defs: Vec<String> = vec![];

fn initialize() {
    defs.push("One".to_string());
    defs.push("Two".to_string()); 
}

（示例：http://is.gd/TyNQVv，失败并返回 "mutable statics are not allowed to have destructors"。）

我的问题类似于 Is it possible to use global variables in Rust?，但使用了 Vec（即具有析构函数的类型），因此该问题的基于 Option 的解决方案似乎并不适用申请。即，这失败并出现与我第一次尝试相同的错误：

static mut defs: Option<Vec<String>> = None;

fn initialize() {
    let init_defs = vec![];
    init_defs.push("One".to_string());
    init_defs.push("Two".to_string()); 
    defs = Some(init_defs);
}

有没有办法访问在初始化时填充并在运行时可见的静态 ("global") 向量？
我应该考虑其他模式来支持这个用例吗？传递对状态向量的显式引用是可能的，但会使大量需要访问此状态的函数签名变得混乱。

Answer 1

您可以使用 lazy_static 来达到这个目的：

lazy_static! {
    static ref defs: Vec<String> = {
        let mut init = vec!["One".to_string(), "Two".to_string()];
        // init.push(...); etc. etc.
        init
    }
}

在第一次访问时初始化一个向量，之后它是不可变的。如果您想稍后修改它，将它包装在 std::sync::Mutex 中是一个很好的第一步。

Are there other patterns I should be considering to support this use case? Passing explicit references to the state vector is possible, but would clutter up a very large number of function signatures that all need access to this state.

要考虑的一种模式是创建一个存储函数所需的所有信息的上下文对象，例如

struct Context {
    defs: Vec<String>
}

然后传递 Context 确保每个人都知道他们需要知道的内容。您甚至可以考虑将 all/many/some 的函数作为方法放在 Context 上，例如

impl Context {
    fn foo(&self) {
        if self.defs.len() > 10 {
             println!("lots of defs");
        }
    }
    // ...
}

如果您需要修改上下文（自动确保线程安全），如果您希望在单个进程中拥有多个独立实例，则此模式特别有用。

将数据解析为模块级可变静态变量

Parsing data into a module-level mutable static variable

static

mutability

rust