如何在Rust中序列化Arc<Mutex<dyn DataSet>>？ trait对象序列化报错

问题场景 #

我定义了DataSet trait，并为其实现了Serialize：

impl Serialize for dyn DataSet {
    fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
    where
        S: Serializer,
    {
        let mut seq = serializer.serialize_map(Some(2))?;
        seq.serialize_entry("fields", "Hello")?;
        seq.serialize_entry("measures", "There")?;
        seq.end()
    }
}

程序中用共享指针指向该trait对象：

let x: Arc<Mutex<dyn DataSet>> = Arc::new(Mutex::new(data));

其中data是任意实现DataSet的对象。尝试序列化时：

serde_json::to_string(&x)

用Box替代Arc<Mutex<>>可正常工作，但使用Arc<Mutex<>>时编译器报错：

the size for values of type `dyn base_engine::DataSet` cannot be known at compilation time
the trait `Sized` is not implemented for `dyn base_engine::DataSet`
the trait `Serialize` is implemented for `Arc<T>`
required because of the requirements on the impl of `Serialize` for `Mutex<dyn base_engine::DataSet>`

已尝试为serde添加["rc"]特性，无效果。

错误原因 #

• serde对Mutex<T>的序列化实现要求T必须实现Sized，而dyn DataSet是动态大小类型（DST），不满足该约束。
• Box<dyn DataSet>能正常工作是因为serde专门为Box<dyn Serialize>做了适配，而Arc<Mutex<dyn Serialize>>没有对应默认实现，嵌套的智能指针组合未处理DST逻辑。

解决方案 #

方式一：手动为Arc<Mutex<dyn DataSet>>实现Serialize #

直接针对该智能指针组合实现序列化，复用已有的dyn DataSet序列化逻辑：

impl Serialize for Arc<Mutex<dyn DataSet>> {
    fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
    where
        S: Serializer,
    {
        let guard = self.lock().map_err(|e| serde::ser::Error::custom(e.to_string()))?;
        (&*guard).serialize(serializer)
    }
}

需注意将Mutex的PoisonError转换为serde的序列化错误类型。

方式二：简化智能指针结构 #

若无需单独的Mutex控制（或可将同步逻辑放到DataSet实现内部），可直接使用Arc指向线程安全的序列化trait对象：

// 确保DataSet继承Send和Sync，或在创建Arc时显式指定约束
let x: Arc<dyn DataSet + Serialize + Send + Sync> = Arc::new(data);
serde_json::to_string(&x)

此方式利用serde对Arc<dyn Serialize>的原生支持，前提是data实现Send和Sync（符合Arc的线程安全要求）。

补充说明 #

• serde的rc特性仅对Rc/Arc直接包裹Serialize类型有效，无法解决嵌套Mutex时的Sized约束问题。
• 动态大小类型（DST）不能直接作为要求Sized的泛型参数，这是Rust的核心类型限制。

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