为什么变量绑定会影响循环体内的生命周期？

Question

在chapter 20 的“Rust 编程语言”中，您将完成构建一个简单的多线程 Web 服务器的练习。在练习中，您使用单个std::sync::mpsc 频道。工作线程都访问单个接收器，其中包含：Arc<Mutex<mpsc::Receiver<Message>>>。

如果我们这样写工作线程：

let thread = thread::spawn(move || loop {
    match receiver.lock().unwrap().recv().unwrap() {
        Message::NewJob(job) => {
            println!("Worker {} got a job; executing.", id);

            job.call_box();

            println!("Worker {} job complete.", id);
        }
        Message::Terminate => {
            println!("Worker {} was told to terminate.", id);

            break;
        }
    };
    println!("hello, loop");
});

然后我们没有实现并发，显然工人持有我认为的互斥锁，因为在前一个工作完成之前没有工人能够完成另一项工作。但是，如果我们简单地将其更改为（本书如何显示代码）：

let thread = thread::spawn(move || loop {
    let message = receiver.lock().unwrap().recv().unwrap();

    match message {
        Message::NewJob(job) => {
            println!("Worker {} got a job; executing.", id);

            job.call_box();

            println!("Worker {} job complete.", id);
        }
        Message::Terminate => {
            println!("Worker {} was told to terminate.", id);

            break;
        }
    };
    println!("hello, loop");
});

然后一切正常。如果您发出 5 个请求，您将看到每个线程立即获得一个。并发！

问题是“为什么变量绑定会影响生命周期”（我假设这就是原因）。或者如果不是，那么我错过了一些东西，那是什么？！这本书本身谈到了由于锁的范围，您如何无法使用while let Ok(job) = receiver.lock().unwrap().recv() { 实现工作循环，但显然即使在循环内部也有龙。

Answer 1

因为在 Rust 中，"resource acquisition is initialization"。

具体receiver.lock()返回一个类型，它在初始化时获取锁，在删除时释放锁。

在您的第一个示例中，MutexGuard 的生命周期延伸到 match 语句的末尾，因此在调用 job.call_box() 时将持有锁。

match receiver.lock().unwrap().recv().unwrap() {
    // ...
};
// `MutexGuard` is dropped and lock is released here

在您的第二个示例中，锁守卫仅保持活动状态的时间足以从您的消息队列中读取消息；锁保护在语句末尾被删除，并且在输入 match 之前释放锁。

let message = receiver.lock().unwrap().recv().unwrap();
// `MutexGuard` is dropped and lock is released here

match message {