Rust中match内联Mutex操作为何导致线程池单线程运行？

核心问题在于两种写法中Mutex锁的持有时间完全不同，直接决定了线程竞争锁的时机：

1. 临时变量写法（任务均匀分配） #

假设你最初的代码是类似这样的：

loop {
    // 用代码块限制锁的作用域
    let job = {
        // 获取锁，此时其他线程无法获取该Mutex
        let mut lock = receiver.lock().unwrap();
        // 接收任务（无任务时会阻塞，但锁始终持有）
        lock.recv().unwrap()
    }; // 代码块结束，`lock`变量被销毁，Mutex锁自动释放
    // 执行任务，此时锁已释放，其他线程可竞争锁获取新任务
    job();
}

这种写法里，锁仅在「获取任务」的阶段被持有，一旦拿到任务就立刻释放锁。当当前线程执行job()时，其他线程已经可以竞争锁去取下一个任务，多个线程能同时处于「执行任务」状态，任务自然被均匀分配到线程池的各个线程。

2. 内联写法（单线程包揽所有任务） #

内联后的代码逻辑是：

loop {
    match receiver.lock().unwrap().recv() {
        Ok(job) => {
            // 执行任务时，锁仍被持有！
            job();
        },
        Err(_) => break,
    }
}

这里的关键是：receiver.lock().unwrap()返回的MutexGuard是临时值，它的生命周期会持续到整个match表达式执行完毕——包括你在Ok分支里执行job()的全过程。

也就是说，当前线程从获取锁开始，到任务执行完成的整个周期内，锁都没有被释放。其他线程根本没有机会抢到锁，只能一直等待。等当前线程执行完任务退出match，锁才会释放，但此时该线程会立刻进入下一次循环，几乎肯定能第一时间重新抢到锁（操作系统调度倾向于让刚释放锁的线程继续执行），最终所有任务都被同一个线程包揽。

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