主页 / coding / 问题 / 79151045
Accepted
ynn
Asked: 2024-11-03 00:06:19 +0800 CST

函数参数中的互斥解锁将永远阻塞

  • 772

此代码立即完成（操场）：

use std::sync::Mutex;

fn f(_: usize, _: usize) {}

fn main() {
    let m = Mutex::new(0);

    let i = { *m.lock().unwrap() };
    let j = { *m.lock().unwrap() };
    f(i, j);
}

此代码也立即完成（操场）：

use std::sync::Mutex;

fn f(_: usize, _: usize) {}

fn main() {
    let m = Mutex::new(0);

    f(
        {
            let i = *m.lock().unwrap();
            i
        },
        {
            let j = *m.lock().unwrap();
            j
        },
    );
}

我觉得这段代码在语义上与上面的代码相同，都是永久阻塞（playground）：

use std::sync::Mutex;

fn f(_: usize, _: usize) {}

fn main() {
    let m = Mutex::new(0);

    f({ *m.lock().unwrap() }, { *m.lock().unwrap() });
}

为什么？

rust

1 个回答

  1. Best Answer

    这是由于临时范围造成的。

    表达式的临时范围是在位置上下文中使用时用于保存该表达式结果的临时变量的范围，除非它被提升。

    除了生存期延长之外，表达式的临时作用域是包含该表达式的最小作用域，是下列之一：

    • 整个功能。
    • 一份声明。
    • if、while或表达式的主体loop。
    • else表达式的块if。
    • if或while表达式或保护的条件表达式match。
    • 火柴臂的身体表情。
    • 惰性布尔表达式的第二个操作数。

    在第三个例子中，适用于临时匹配保护的最小范围是包含对的调用的整个语句f。 （请注意，块中的最后一个表达式不是语句。）

    因此，您的第二个和第三个代码示例在语义上并不相同。在第三个示例中，在块表达式中创建的互斥保护的生存期扩展到调用的整个语句f，但在第二个示例中，互斥保护的生存期仅限于let相应块表达式内的语句。

    • 3

相关问题