Rust: Elisi seumur hidup terlalu serakah tanpa deklarasi tipe eksplisit

Dibuat pada 19 Feb 2017 · 3Komentar · Sumber: rust-lang/rust

Dalam contoh berikutnya penutupan meminjam nilai lebih lama dari yang seharusnya:

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

Yang menyebabkan kesalahan kompilasi:

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

Namun, jika kita mendeklarasikan tipe argumen secara eksplisit, itu berfungsi seperti yang diharapkan:

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

Tidak yakin apakah itu bug atau perilaku yang diharapkan. Saya juga tidak dapat menemukan penjelasan tentang efek ini dalam dokumentasi.

Komentar yang paling membantu

Triage: sekarang dikompilasi pada 2018.
kesalahan 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 pada 30 Jan 2019

🎉2

Semua 3 komentar

Hanya untuk menjatuhkan istilah untuk mesin pencari: menjelajahi ini hari ini di forum pengguna, saya mendapat kesan kuat bahwa alasan |x: &u8| bekerja mungkin terkait dengan itu yang berfungsi sebagai petunjuk untuk HRTB.

Mungkin terkait: Saya juga mengalami yang ini (khususnya contoh oktober huon), yang anehnya pecah ke arah lain; yaitu, ini hanya berfungsi _tanpa_ anotasi eksplisit: https://github.com/rust-lang/rust/issues/22557

ExpHP pada 19 Feb 2017

Triage: sekarang dikompilasi pada 2018.
kesalahan 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 pada 30 Jan 2019

🎉2

Penutupan karena ini tidak lagi menjadi masalah di malam hari di kedua edisi