mpsc::Receiver与Arc配合使用时是否需要Mutex？

• 为什么recv是不可变引用却会修改Receiver？
  Rust里的&self仅约束外部不可变，但Receiver内部借助内部可变性（比如UnsafeCell这类底层机制），让recv方法能在保持外部不可变引用的同时，修改内部的队列状态。文档里的方法签名是对外的接口规则，不限制内部逻辑的状态变更。

• 为什么需要Mutex？
  标准库的mpsc::Receiver并未实现Sync trait，这意味着它不能安全地被多线程共享访问。Arc仅提供原子化的引用计数，解决所有权共享问题，但无法保证多线程访问Receiver内部状态的安全性。Mutex的作用是强制同一时间只有一个线程能访问Receiver，从根源避免竞态条件。

• 仅用Arc不加Mutex能正常工作吗？
  不行。因为Receiver不满足Sync要求，编译器会直接报错——你无法将Arc<Receiver>在线程间传递，Rust的类型系统会阻止这种不安全的共享行为。必须用Arc<Mutex<Receiver>>才能让多个线程安全地接收消息。

补充：mpsc的Sender实现了Sync，所以多线程共享Arc<Sender>是可行的，因为Sender本身就是为并发发送设计的。但Receiver是独占式接收的设计，必须加锁保证单线程访问。

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