Rust中如何定义值为函数返回结果的全局变量/常量？

你的问题在Rust开发中很常见——稳定版对static和const的初始化逻辑有严格限制，普通函数调用没法直接用来初始化全局变量。下面是几种无需依赖nightly版本的可行方案：

方案1：使用lazy_static crate（最常用的懒加载方案） #

lazy_static是Rust生态里成熟的懒加载全局变量库，它会在第一次访问变量时执行初始化逻辑，且保证只执行一次，完美匹配你的需求。

操作步骤： #

1. 在Cargo.toml中添加依赖：

[dependencies]
lazy_static = "1.4"

2. 代码实现示例：

use lazy_static::lazy_static;

struct Knowledge {
    // 这里是你的结构体定义
}

impl Knowledge {
    fn all() -> Vec<Knowledge> {
        // 你的Vec构建逻辑，返回固定结果
        vec![Knowledge {}, Knowledge {}]
    }
}

lazy_static! {
    static ref ALL: Vec<Knowledge> = Knowledge::all();
}

// 在任意函数中直接访问全局变量
fn main() {
    println!("全局Vec的长度：{}", ALL.len());
}

方案2：使用once_cell crate（官方推荐的现代替代） #

once_cell是Rust官方维护的库，提供了更简洁、类型安全的懒加载API，功能和lazy_static类似，但API设计更灵活现代。

操作步骤： #

1. 添加依赖：

[dependencies]
once_cell = "1.18"

2. 代码示例（用Lazy类型，和lazy_static用法接近）：

use once_cell::sync::Lazy;

struct Knowledge {
    // 你的结构体定义
}

impl Knowledge {
    fn all() -> Vec<Knowledge> {
        vec![Knowledge {}, Knowledge {}]
    }
}

static ALL: Lazy<Vec<Knowledge>> = Lazy::new(Knowledge::all);

fn main() {
    println!("全局Vec的长度：{}", ALL.len());
}

如果需要更灵活的初始化控制，也可以用OnceCell手动封装：

use once_cell::sync::OnceCell;

static ALL: OnceCell<Vec<Knowledge>> = OnceCell::new();

fn get_all() -> &'static Vec<Knowledge> {
    ALL.get_or_init(Knowledge::all)
}

fn main() {
    println!("全局Vec的长度：{}", get_all().len());
}

方案3：不依赖第三方库，手动实现懒加载 #

如果不想引入外部依赖，可以用标准库的std::sync::Once来保证初始化只执行一次：

use std::sync::Once;
use std::sync::Mutex;

struct Knowledge {
    // 你的结构体定义
}

impl Knowledge {
    fn all() -> Vec<Knowledge> {
        vec![Knowledge {}, Knowledge {}]
    }
}

static INIT: Once = Once::new();
static mut ALL: Option<Vec<Knowledge>> = None;

fn get_all() -> &'static Vec<Knowledge> {
    INIT.call_once(|| {
        // 这里的unsafe是安全的，因为call_once保证只执行一次初始化
        unsafe {
            ALL = Some(Knowledge::all());
        }
    });
    // 初始化完成后，ALL必然是Some状态
    unsafe { ALL.as_ref().unwrap() }
}

fn main() {
    println!("全局Vec的长度：{}", get_all().len());
}

⚠️ 注意：这个方案用到了unsafe代码，因为我们手动操作了全局可变变量，必须严格保证初始化逻辑只执行一次。如果没有特殊需求，更推荐前两种第三方库的方案——它们已经帮你封装好了安全细节。

为什么直接用static/const会报错？ #

稳定版Rust要求static的初始化表达式必须是常量表达式：只能是结构体/枚举构造、字面量，或者符合稳定版限制的const fn调用（而稳定版const fn不支持动态内存分配，Vec的构建通常涉及这类操作）。你的Knowledge::all()是普通函数，不符合常量表达式的要求，因此会触发E0015错误。

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