这个稍微修改过的Rc <()>是同步,但不是发送,对吧？

我搜索了类型Sync,但不是Send,因为它通常看起来像一个特征是另一个特征的超集("每种类型实现Sync也实现Send").我发现了这个问题,但唯一真正的答案真的很复杂.

所以我想出了这段代码:

struct Foo(Rc<()>);  // <-- private field

impl Foo {
    fn my_clone(&mut self) -> Self {  // <-- mutable borrow
        Foo(self.0.clone())
    }
}

我知道,编译器不会自动实现Send,也Sync为我喜欢的类型; 但我感兴趣的是什么,我可以放心地手动实现.我认为:

它应该能够实现Sync:拥有一个不可变引用Foo不会让我们对它做任何事情(因为我们只能my_clone()通过mutable/exclusive引用调用).没有做任何事情,什么都不会出错,对吧？

它应该无法实现Send:我们可以Foo在主线程中克隆我们(在启动另一个线程之前)以获取第二个对象.现在两个对象共享一些内存(引用计数,存储在a中Cell).如果我现在可以将其中一个对象发送到另一个线程,则两个线程都拥有a的所有权Foo,引用相同的内存.因此,两个对象可以同时调用my_clone(),导致对引用计数(数据竞争)的同时,不同步,可变的访问.

这种推理是正确的还是我错过了什么？