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 / 79567757
Accepted
Dacromir
Dacromir
Asked: 2025-04-11 07:59:28 +0800 CST2025-04-11 07:59:28 +0800 CST 2025-04-11 07:59:28 +0800 CST

O que o map_err faz no exemplo de canvas do web-sys?

  • 772

Estou lendo o exemplo do canvas hello world na documentação do wasm-bindgen e estou confuso sobre esta parte do código:

#[wasm_bindgen(start)]
fn start() {
    let document = web_sys::window().unwrap().document().unwrap();
    let canvas = document.get_element_by_id("canvas").unwrap();
    let canvas: web_sys::HtmlCanvasElement = canvas
        .dyn_into::<web_sys::HtmlCanvasElement>()
        .map_err(|_| ()) // What does this do?
        .unwrap();
    // ...
}

Olhando para a definição da função para map_err, vejo:

impl<T, E> Result<T, E> {
    pub fn map_err<F, O: FnOnce(E) -> F>(self, op: O) -> Result<T, F> {
        match self {
            Ok(t) => Ok(t),
            Err(e) => Err(op(e)),
        }
    }
}

Então, se entendi corretamente, map_errorpega um Result<T,E>e um fechamento que pega E e retorna F. Se o resultado for Ok, ele retorna T inalterado. Se for Err, ele aplica o fechamento e retorna o resultado.

O exemplo no canvas "olá mundo", no entanto, parece inútil. Parece que o dyn_intoretornará um Result<HtmlCanvasElement,Element>, e então map_erro transformará em um Result<HtmlCanvasElement,()>se o resultado for Err. No entanto, a próxima linha é .unwrap(), então se o resultado for Err, ele entrará em pânico antes de chegar ao final da instrução. Se o resultado for Ok, o map_errnão alterará o valor do resultado.

Sou relativamente novo em Rust e estou tentando entender o que a map_errlinha está realizando aqui. Como o Result é desembrulhado na linha seguinte, parece que você poderia remover toda a linha de código e nada mudaria. Isso é apenas um erro ou este código está fazendo algo que não é óbvio para mim?

rust
  • 1 1 respostas
  • 37 Views

1 respostas

  • Voted
  1. Best Answer
    cdhowie
    2025-04-11T09:55:35+08:002025-04-11T09:55:35+08:00

    O Errlado de Resultgeralmente contém um valor que representa um erro, mas em alguns casos (como este) em que o valor original é consumido pela operação, se a operação falhar, o Errlado pode ser usado para retornar o valor original caso você queira tentar algo diferente com ele.

    Sua avaliação do que map_errestá sendo feito aqui está correta: está descartando o Elementda Errvariante e substituindo-o por ().

    Observe que a mensagem de pânico Result::unwrapproduzida nesse Errcaso incluirá o valor formatado para depuração contido na Errvariante. Ao mapear o erro para (), isso evita o descarte da formatação de depuração do Element, o que pode não ser muito útil. Se nada mais no programa formatar um debug, Elementisso também pode permitir que o otimizador remova a implementação Elementde Debug, o que reduziria o tamanho do programa compilado.

    Você também pode ver esse padrão em casos em que o valor armazenado na Errvariante não é implementado Debuge, portanto, unwrapnão pode ser chamado até ser substituído por algo que seja. (Embora geralmente .ok().unwrap()seja mais sucinto. .ok()converte Result<T, E>para Option<T>, descartando o valor de erro e, em seguida, .unwrap()invoca Option's unwrapem vez de Result's.)

    • 3

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