Rust是否支持类似Java的静态变量？及代码重构咨询

你的假设是错误的，Rust完全支持为结构体定义关联静态变量，不需要每次通过方法调用返回新的空向量。下面是针对你代码的重构方案：

基础重构版本 #

fn main() {
    let structure1 = Structure{num: 4.0, string: "Raggamuffin"};
    let structure2 = Structure{num: 5.0, string: "Dutty Boy"};
    // 克隆静态变量得到可修改的副本
    let mut list_of_structs = Structure::LIST_OF_STRUCTS.clone();
    Structure::add_to_list_of_structs(&mut list_of_structs, structure1);
    Structure::add_to_list_of_structs(&mut list_of_structs, structure2);
    dbg!(list_of_structs);
}

#[derive(Debug, Clone)]
struct Structure<'a>{
    num: f64,
    string: &'a str,
}

impl<'a> Structure<'a>{
    // 定义关联静态变量，初始化为空Vec
    pub const LIST_OF_STRUCTS: Vec<Structure<'a>> = Vec::new();

    fn do_something(&mut self){
        self.num += 1.0;
    }

    fn add_to_list_of_structs(list_of_structs: &mut Vec<Structure<'a>>, structure: Structure<'a>){
        list_of_structs.push(structure);
    }
}

关键说明 #

• 关联静态变量通过const定义在impl块中，直接绑定到Structure类型，和Java的静态字段逻辑一致。这里用const是因为Vec::new()在Rust 1.64+中支持const fn初始化。
• 静态变量默认不可变，所以使用时需要调用clone()生成可修改的副本；如果需要全局共享可变状态，可改用static mut，但必须注意线程安全，通常需要配合同步原语。

进阶：全局线程安全可变列表 #

如果需要一个全局可共享的结构体列表（而非每次克隆），可以用lazy_static和Mutex实现：

use lazy_static::lazy_static;
use std::sync::Mutex;

fn main() {
    let structure1 = Structure{num: 4.0, string: "Raggamuffin"};
    let structure2 = Structure{num: 5.0, string: "Dutty Boy"};
    
    // 锁定全局列表进行修改
    let mut list = Structure::LIST_OF_STRUCTS.lock().unwrap();
    list.push(structure1);
    list.push(structure2);
    dbg!(&*list);
}

#[derive(Debug, Clone)]
struct Structure<'a>{
    num: f64,
    string: &'a str,
}

impl<'a> Structure<'a>{
    lazy_static! {
        pub static ref LIST_OF_STRUCTS: Mutex<Vec<Structure<'a>>> = Mutex::new(Vec::new());
    }

    fn do_something(&mut self){
        self.num += 1.0;
    }
}

该方案需要在Cargo.toml中添加依赖：lazy_static = "1.4.0"

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