Rust: A elisão vitalícia é muito gananciosa sem declaração de tipo explícita

Criado em 19 fev. 2017 · 3Comentários · Fonte: rust-lang/rust

No próximo exemplo, o fechamento toma emprestado o valor por mais tempo do que deveria:

fn main () {
    let f = |y| { println!("{}", y); };
    let x = 4u8;
    f(&x);
}

O que causa erro de compilação:

error: `x` does not live long enough
 --> ./test.rs:5:1
  |
4 |     f(&x);
  |        - borrow occurs here
5 | }
  | ^ `x` dropped here while still borrowed
  |
  = note: values in a scope are dropped in the opposite order they are created

No entanto, se declararmos o tipo de argumento explicitamente, ele funcionará conforme o esperado:

fn main () {
    let f = |y: &u8| { println!("{}", y); };
    let x = 4u8;
    f(&x);
}

Não tenho certeza se isso é um bug ou comportamento esperado. Também não consegui encontrar explicação para esse efeito na documentação.

Comentários muito úteis

Triagem: agora compila em 2018.
Erros de 2015:

error[E0597]: `x` does not live long enough
 --> src/main.rs:4:8
  |
4 |     f(&x);
  |        ^ borrowed value does not live long enough
5 | }
  | - `x` dropped here while still borrowed
  |
  = note: values in a scope are dropped in the opposite order they are created

rustc: 1.32.0

memoryruins em 30 jan. 2019

🎉2

Todos 3 comentários

Só para citar um termo para mecanismos de pesquisa: explorando isso hoje no fórum de usuários, tive a forte impressão de que o motivo pelo qual |x: &u8| funciona pode estar relacionado ao fato de servir como uma dica para HRTB.

Possivelmente relacionado: encontrei este também (especificamente o exemplo de outubro de Huon), que estranhamente quebra na outra direção; ou seja, só funciona _sem_ a anotação explícita: https://github.com/rust-lang/rust/issues/22557

ExpHP em 19 fev. 2017

Triagem: agora compila em 2018.
Erros de 2015:

error[E0597]: `x` does not live long enough
 --> src/main.rs:4:8
  |
4 |     f(&x);
  |        ^ borrowed value does not live long enough
5 | }
  | - `x` dropped here while still borrowed
  |
  = note: values in a scope are dropped in the opposite order they are created

rustc: 1.32.0

memoryruins em 30 jan. 2019

🎉2

Fechando já que não é mais um problema noturno em nenhuma das edições