Question

我无法在线程之间共享引用。

trait Facade { /*some functions*/ }

struct Client<'a> {
    facade: &'a mut Facade,
    join_grd: thread::JoinGuard<'a()>,
}

impl<'a> Client<'a> {
    pub fn new(my_facade: &'a mut Facade) -> Client<'a> {
        Client {
            facade: my_facade,
        join_grd: thread::scoped(|| Client::start(my_facade)),
        }
    }

    fn start(my_facade: &'a mut Facade) { unimplemented!() }
}

鉴于我在Rust中的新手状态，我对概念和错误感到困惑。我如何实现上述目标？

Answer 1

由于Rust中的可变别名保证，我很确定你无法做到这一点。在Rust中，你不能同时对同一个东西有两个可变引用，但这正是你的代码中发生的事情：你将my_facade存储到Client的字段和同时你试图将它传递给另一个线程中的start()方法。这将需要对同一Facade进行两次可变引用，这是不允许的。

编译器在您的代码上发出的实际错误是由您使用非移动闭包引起的。如果您将thread::scoped()实例化更改为：

join_grd: thread::scoped(move || Client::start(my_facade))

错误会更明智：

test.rs:16:60: 16:69 error: cannot move `my_facade` into closure because it is borrowed
test.rs:16             join_grd: thread::scoped(move || Client::start(my_facade))
                                                                      ^~~~~~~~~
test.rs:15:21: 15:30 note: borrow of `*my_facade` occurs here
test.rs:15             facade: my_facade,
                               ^~~~~~~~~

这实际上意味着由于&mut引用是唯一的并且被移动而不是复制，因此您无法复制它们。使用常规&引用而不是&mut（以及Sync上的其他Facade父级特征）的类似代码可以正常工作。

您必须重新考虑您的体系结构以修复此错误。很难从这段代码中理解您的需求，因此我无法提供任何确切的建议，但如果您想要共享可变状态，可以考虑使用Arc和Mutex线程之间。

这样Arc/Mutex的天真用法：

fn start(my_facade: Arc<Mutex<Facade>>)

赢了，因为Facade是一种特质，而不是常规类型。当您将traits用作类型时，您实际上选择了特征对象形式的dynamic dispatch。简而言之，特质对象不能直接使用;他们应该总是在指针后面。您的原始程序也使用了特征对象（&'a mut Facade是特征对象）。理想情况下，我们应该能够使用任何类型的智能指针形成特征对象，理想情况下Arc<Mutex<Facade>>应该可以工作，但遗憾的是现在只能使用&，&mut或{Box创建特征对象{1}}：

fn start(my_facade: Arc<Mutex<Box<Facade>>>)

这是您观察到的Sized错误的原因。

但是，你也应该考虑根本不使用trait对象，只使用泛型：

trait Facade: Send { fn f(&self); }

struct Client<'a, F: Facade> {  // '
    facade: Arc<Mutex<F>>,
    join_grd: thread::JoinGuard<'a, ()>,  // '
}

impl<'a, F: Facade+'a> Client<'a, F> {  // '
    pub fn new(my_facade: Arc<Mutex<F>>) -> Client<'a, F> {  // '
        let my_facade_2 = my_facade.clone();  // clone the Arc pointer
        Client {
            facade: my_facade,
            join_grd: thread::scoped(move || Client::start(my_facade_2)),
        }
    }

    fn start(my_facade: Arc<Mutex<F>>) { unimplemented!() }
}

您还需要在特征本身（如上例所示）或Send类型变量（如F）中添加F: Facade+Send+'a，因为只有Send数据可以安全地在线程之间传输，因此您需要直接或F指定Send为Facade。

如何跨线程共享引用？

1 个答案: