Rust常见面试题4

1、 where 子句 vs 内联约束2、Send 与 Sync区别和自动推导核心答案Send表示一个类型可以安全地转移move所有权到另一个线程。Sync表示一个类型可以安全地通过引用T在多个线程之间共享。 自动推导这两种trait都是 自动traitautotrait如果一个类型的所有成员都实现了Send/Sync那么该类型会自动实现它们。 关键理解T是Sync的充要条件是T是Send的。 追问“RcT和ArcT分别实现了哪个” 答案RcT不是Send也不是SyncArcT是Send和Sync当T:SendSync时。Rc使用非原子性的引用计数如果在多线程间共享会导致计数错误因此被设计为不满足线程安全的trait。3、 Mutex 和 RwLock 的选择4、 Mutex 中毒机制核心答案当一个线程持有某个Mutex锁时发生 panicRust会将这个Mutex标记为 “中毒Poisoned” 状态。这并非指数据损坏而是表示它处于一种未知、不一致的状态。 处理方式后续尝试获取该锁的线程在获得锁后会得到一个Result。你可以选择unwrap()如果不想恢复直接让程序崩溃快速失败。into_inner()恢复策略强行“揭过”中毒状态继续使用数据如果你能确认数据仍是正确的。 设计哲学这是Rust宁可让程序崩溃也不愿让不确定性状态传播的体现。这在金融和区块链系统中尤为重要。5、mpsc 通道的特点核心答案mpsc 代表Multi-Producer,Single-Consumer多生产者单消费者。它是Rust标准库提供的基于队列的通信原语。 关键特点 可以克隆出多个Sender用于多个线程向一个Receiver发送数据。 提供同步sync_channel有界阻塞和异步channel无界或有界非阻塞两种模式。 适合构建工作队列或任务分配模式。