Início / coding / Perguntas / 78443315
Accepted
Some Name
Asked: 2024-05-07 22:42:38 +0800 CST

Rust, por que o operador aplicado a uma referência coage, mas deixa com um tipo explícito não?

  • 772

Considere o seguinte código:

fn main() {
    let foo = 1;
    let bar: i32 = -&foo; //ok, -1
    let baz: i32 = &foo;  //error, expected `i32`, found `&{integer}`
    let bad: i32 = !&foo; //ok, -2
}

Parque infantil

Lendo a referência de ferrugem, descobri que

Os possíveis locais de coerção são:

  • let instruções onde um tipo explícito é fornecido.

[...]

  • Argumentos para chamadas de função

Portanto, let baz: i32 = &foo;também deve funcionar, pois é uma instrução let com um tipo explícito fornecido.

Por que ele se recusa a ser compilado?

rust

1 respostas

  1. Best Answer

    Os casos 1 e 3 não são coerção, mas apenas como esses operadores são definidos. Por exemplo,

    // https://doc.rust-lang.org/std/primitive.i32.html#impl-Neg-for-%26i32
impl Neg for &i32
type Output = <i32 as Neg>::Output  // this is i32

    E o mesmo -&fooaconteceu com type i32. É o mesmo para !&foo. As anotações de tipo nas linhas bare badnão estão fazendo nada.

    Enquanto isso, a linha 2 não é uma coerção permitida: em nenhum lugar da lista de coerções que você vinculou está escrito que &Tpode ser coagido T; fazer isso requer cópia (desreferenciação) ou clonagem.

    • 9

relate perguntas