Início / coding / Perguntas / 79151045
Accepted
ynn
Asked: 2024-11-03 00:06:19 +0800 CST

Desbloqueio de mutex em blocos de argumentos de função para sempre

  • 772

Este código é concluído imediatamente ( playground ):

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);
}

Este código também é concluído imediatamente ( playground ):

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
        },
    );
}

Este código, que eu acho que é semanticamente o mesmo que os códigos acima, bloqueia para sempre ( playground ):

use std::sync::Mutex;

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

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

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

Por que?

rust

1 respostas

  1. Best Answer

    Isso acontece devido a escopos temporários .

    O escopo temporário de uma expressão é o escopo usado para a variável temporária que contém o resultado dessa expressão quando usada em um contexto de lugar, a menos que seja promovida.

    Além da extensão do tempo de vida, o escopo temporário de uma expressão é o menor escopo que contém a expressão e é um dos seguintes:

    • A função inteira.
    • Uma declaração.
    • O corpo de uma ifexpressão whileou loop.
    • O elsebloco de uma ifexpressão.
    • A expressão de condição de uma expressão ifou while, ou uma matchguarda.
    • A expressão corporal para um braço de fósforo.
    • O segundo operando de uma expressão booleana preguiçosa.

    No terceiro exemplo, o menor escopo que se aplica à proteção de correspondência temporária é a instrução inteira que contém a chamada para f. (Observe que a expressão final em um bloco não é uma instrução. )

    Portanto, seus segundo e terceiro exemplos de código não são semanticamente os mesmos. No terceiro exemplo, os tempos de vida dos mutex guards criados nas expressões de bloco são estendidos para toda a declaração where fé chamado, mas no segundo exemplo, os tempos de vida dos mutex guards são limitados às letdeclarações dentro da expressão de bloco correspondente.

    • 3

relate perguntas