AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / coding / Perguntas / 79566762
Accepted
Thomas
Thomas
Asked: 2025-04-10 21:19:18 +0800 CST2025-04-10 21:19:18 +0800 CST 2025-04-10 21:19:18 +0800 CST

Como convencer o compilador de que meu `FnMut` assíncrono não é invocado em paralelo?

  • 772

Em uma caixa, tenho um wrapper de uso geral para arquivos temporários:

pub struct TempFile {
    // ...
}

Em outra caixa, tenho um wrapper de repetição assíncrona de uso geral:

pub async fn retry<F, R>(mut func: F) -> Result<(), String>
where
    F: FnMut() -> R,
    R: Future<Output = Result<(), String>>
{
    for _ in 0..5 {
        if func().await.is_ok() {
            return Ok(());
        }
    }
    Err("failed".to_owned())
}

Na terceira caixa, tenho uma função de download de uso geral que baixa para um arquivo temporário:

async fn download(output: &mut TempFile) -> Result<(), String> {
    // ...
}

Agora quero adicionar uma função de nova tentativa de download como esta:

async fn download_with_retry(output: &mut TempFile) -> Result<(), String> {
    retry(|| { download(output) }).await
}

Entretanto, isso não compila:

error: captured variable cannot escape `FnMut` closure body
  --> src/lib.rs:16:20
   |
15 |     async fn download_with_retry(output: &mut TempFile) -> Result<(), String> {
   |                                  ------ variable defined here
16 |         retry(|| { download(output) }).await
   |                -   ^^^^^^^^^------^
   |                |   |        |
   |                |   |        variable captured here
   |                |   returns an `async` block that contains a reference to a captured variable, which then escapes the closure body
   |                inferred to be a `FnMut` closure
   |
   = note: `FnMut` closures only have access to their captured variables while they are executing...
   = note: ...therefore, they cannot allow references to captured variables to escape

Entendo por que isso está acontecendo: embora a retryfunção sempre espere functerminar antes de invocá-la novamente, o compilador não consegue ver isso e tem que assumir que múltiplas invocações paralelas são possíveis, levando a múltiplos empréstimos mutáveis ​​simultâneos de output.

Sei que posso contornar isso passando Rc<RefCell<TempFile>>para download_with_retry, mas isso significa que ele vaza para a API pública dessa função sem nenhum bom motivo.

Existe outra solução? Idealmente, modificando apenas a implementação de retrye/ou download_with_retry, mantendo as assinaturas?

Link do playground

rust
  • 1 1 respostas
  • 55 Views

1 respostas

  • Voted
  1. Best Answer
    Kevin Reid
    2025-04-10T23:42:48+08:002025-04-10T23:42:48+08:00

    Idealmente, modificando apenas a implementação de retrye/ou download_with_retry, mantendo suas assinaturas iguais?

    A assinatura não pode permanecer a mesma. O problema é sugerido no erro: se uma closure captura &mut, você não pode usar isso &mutem um Futureretorno, exceto movendo o &mutpara fora das capturas (tornando a função a FnOnce, ou usando Option::take()ou algo assim). Em geral, Fns e FnMuts não podem "emprestar": retornar coisas que tomam emprestado de si mesmas.

    O Rust 1.85 adicionou características de função assíncronas e fechamentos assíncronos para permitir isso. Para usá-los, altere a assinatura de retry()para

    pub async fn retry<F>(mut func: F) -> Result<(), String>
    where
        F: AsyncFnMut() -> Result<(), String>
    {
    

    e o uso para

    retry(async || download(output).await).await
    

    No entanto, atualmente falta uma funcionalidade para expressar Sendlimites em funções assíncronas futuras, então talvez você não consiga usar isso. Esperamos que os recursos relevantes sejam implementados e estabilizados em breve; a notação de tipo de retorno faz parte da solução.

    • 4

relate perguntas

  • os braços de correspondência têm tipos incompatíveis esperados ao reutilizar a função dentro da correspondência

  • Conversão de tipo de ferrugem em uma instrução de correspondência

  • Como forçar o tipo de retorno de uma correspondência para ()?

  • enums de ferrugem em representações primitivas

  • Existe uma maneira de simplificar a correspondência diretamente para Ok("VAL") em Result<String, VarError>

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Reformatar números, inserindo separadores em posições fixas

    • 6 respostas
  • Marko Smith

    Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não?

    • 2 respostas
  • Marko Smith

    Problema com extensão desinstalada automaticamente do VScode (tema Material)

    • 2 respostas
  • Marko Smith

    Vue 3: Erro na criação "Identificador esperado, mas encontrado 'import'" [duplicado]

    • 1 respostas
  • Marko Smith

    Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores?

    • 1 respostas
  • Marko Smith

    Como faço para corrigir um erro MODULE_NOT_FOUND para um módulo que não importei manualmente?

    • 6 respostas
  • Marko Smith

    `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso?

    • 3 respostas
  • Marko Smith

    Um programa vazio que não faz nada em C++ precisa de um heap de 204 KB, mas não em C

    • 1 respostas
  • Marko Smith

    PowerBI atualmente quebrado com BigQuery: problema de driver Simba com atualização do Windows

    • 2 respostas
  • Marko Smith

    AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos

    • 1 respostas
  • Martin Hope
    Fantastic Mr Fox Somente o tipo copiável não é aceito na implementação std::vector do MSVC 2025-04-23 06:40:49 +0800 CST
  • Martin Hope
    Howard Hinnant Encontre o próximo dia da semana usando o cronógrafo 2025-04-21 08:30:25 +0800 CST
  • Martin Hope
    Fedor O inicializador de membro do construtor pode incluir a inicialização de outro membro? 2025-04-15 01:01:44 +0800 CST
  • Martin Hope
    Petr Filipský Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não? 2025-03-23 21:39:40 +0800 CST
  • Martin Hope
    Catskul O C++20 mudou para permitir a conversão de `type(&)[N]` de matriz de limites conhecidos para `type(&)[]` de matriz de limites desconhecidos? 2025-03-04 06:57:53 +0800 CST
  • Martin Hope
    Stefan Pochmann Como/por que {2,3,10} e {x,3,10} com x=2 são ordenados de forma diferente? 2025-01-13 23:24:07 +0800 CST
  • Martin Hope
    Chad Feller O ponto e vírgula agora é opcional em condicionais bash com [[ .. ]] na versão 5.2? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench Por que um traço duplo (--) faz com que esta cláusula MariaDB seja avaliada como verdadeira? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng Por que `dict(id=1, **{'id': 2})` às vezes gera `KeyError: 'id'` em vez de um TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos 2024-03-20 03:12:31 +0800 CST

Hot tag

python javascript c++ c# java typescript sql reactjs html

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve