为何无法为实现Sync+Send的简单结构体创建静态Lazy实例？

你犯了一个常见的错误：使用了非线程安全版本的Lazy。你导入的once_cell::unsync::Lazy是专门给单线程场景设计的，它内部依赖了不支持线程安全共享的Cell，因此不实现Sync trait。而全局静态变量要求类型必须实现Sync，这就是报错的核心原因。

另外，你的结构体S其实不需要手动实现Send和Sync——因为String本身已经实现了这两个trait，由它组成的结构体只要所有字段都满足要求，会自动派生这两个trait，手动用unsafe实现反而容易引入安全隐患。

1. 替换为线程安全的Lazy版本 #

将导入的once_cell::unsync::Lazy改成once_cell::sync::Lazy，这个版本内部用了线程安全的同步原语，实现了Sync，可以用于全局静态变量。

2. 移除不必要的unsafe trait实现 #

直接给结构体S派生Send和Sync（显式派生更清晰，也可以省略，因为字段会自动满足要求）。

修正后的完整代码 #

fn main() {
    let s = s_mod::S::new("10".to_string());
    s.foo();
    
    // 可以正常访问全局静态变量X
    s_mod::X.foo();
}

mod s_mod {
    // 替换为线程安全的sync版本Lazy
    use once_cell::sync::Lazy;

    // 自动派生Send和Sync，无需unsafe操作
    #[derive(Debug, Send, Sync)]
    pub struct S {
        a_: String,
    }
    impl S {
        pub fn new(a: String) -> Self {
            S {
                a_: a
            }
        }
        pub fn foo(&self) {
            println!("{}", self.a_);
        }
    }
    
    static X: Lazy<S> = Lazy::new(|| {
       S::new("4".to_string())
    });
}

额外选项：使用标准库的LazyLock（Rust 1.70+） #

如果你的Rust版本在1.70及以上，不需要依赖once_cell，直接用标准库提供的std::sync::LazyLock即可：

// 替换导入语句
use std::sync::LazyLock;

// 其余代码逻辑保持不变

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