Início / coding / Perguntas / 77772430
Accepted
Harry
Asked: 2024-01-07 16:46:46 +0800 CST

Como usar a sintaxe `if let Ok()` para uma tupla que requer anotações

  • 772

Gostaria de saber se é possível usar if let Ok()sintaxe no Result<Tuple(Struct, usize), DecodeError>tipo retornado da bincode::decode_from_slicefunção de bincodecrate https://docs.rs/bincode/2.0.0-rc.3/bincode/fn.decode_from_slice.html que requer anotações de tipo explícitas

Eu tentei a seguinte sintaxe

struct A {
    a: i32,
    b: i32,
}

let mut recv_buff = [0u8; 1024];

if let Ok((a_obj, _): (A, usize)) = bincode::decode_from_slice(recv_buff, bincode::config::standard().with_big_endian()) {
        
}

Erro

if let Ok((a_obj, _): (A, usize)) = bincode::decode_from_slice(recv_buff, bincode::config::standard()....
    |                                         ^ expected one of `)`, `,`, or `|`
rust

2 respostas

  1. Best Answer

    Você não pode adicionar anotações a if let, mas pode apenas especificar o tipo genérico desejado.

    struct A {
    a: i32,
    b: i32,
}

let mut recv_buff = [0u8; 1024];

// We don't care about the config type so we use `_` as a placeholder for it's type
if let Ok((a_obj, _)) = bincode::decode_from_slice::<A, _>(
        recv_buff,
        bincode::config::standard().with_big_endian(),
) {
}
    • 3

  2. Embora Rust não permita a atribuição de tipo dentro do padrão, ainda é muito flexível em relação às anotações de tipo. A outra resposta mostra como especificar o tipo usando turbofish on decode_from_slice(), mas você também pode:

    • especifique os tipos genéricos na Result::Okvariante enum:
        if let Ok::<(A, usize), _>((a_obj, _)) =
        bincode::decode_from_slice(&recv_buff, bincode::config::standard().with_big_endian())
    {
        // ...
    }
    • revincule as variáveis ​​dentro do bloco e especifique os tipos lá:
        if let Ok((a_obj, b_obj)) =
        bincode::decode_from_slice(&recv_buff, bincode::config::standard().with_big_endian())
    {
        let (a_obj, _): (A, usize) = (a_obj, b_obj);
        // ...
    }

    A última forma é muito útil quando você precisa especificar o tipo de uma forvariável de loop.

    • 1

relate perguntas