Seumur Hidup dan Referensi

Di Rust, setiap referensi memiliki masa berlaku, yang sesuai dengan cakupan validitas referensi tersebut. Seringkali, masa hidup tersirat dan disimpulkan oleh kompiler berkat aturan elision seumur hidup. Namun, ketika hubungan antara masa hidup referensi yang berbeda bersifat ambigu, kita harus memberi anotasi secara eksplisit.

Tujuan utama dari masa hidup adalah untuk mencegah referensi yang menjuntai (referensi ke data yang telah dibatalkan alokasinya dari memori).

Sintaks Anotasi Seumur Hidup

Nama seumur hidup dimulai dengan tanda kutip (') dan biasanya berupa huruf kecil pendek (seperti 'a). Anotasi seumur hidup tidak mengubah masa hidup variabel yang sebenarnya, namun menunjukkan kepada penyusun hubungan antara validitas masukan dan keluaran.

Misalnya, jika suatu fungsi mengambil dua parameter referensi string dan mengembalikan referensi string, dan kami ingin referensi yang dikembalikan valid selama kedua parameter input valid, kami menggunakan:

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() {
        x
    } else {
        y
    }
}

Seumur hidup dalam Struktur Data

Jika suatu struktur berisi bidang yang merupakan referensi, kita harus secara eksplisit memberi anotasi seumur hidup pada referensi tersebut untuk memastikan bahwa instance struct tidak dapat hidup lebih lama dari data yang dirujuknya:

struct ImportantExcerpt<'a> {
    part: &'a str,
}

fn main() {
    let novel = String::from("Call me Ishmael. Some years ago...");
    let first_sentence = novel.split('.').next().unwrap();
    let i = ImportantExcerpt {
        part: first_sentence,
    };
}

Seumur Hidup Statis

Seumur hidup 'static adalah seumur hidup khusus yang berlangsung selama seluruh durasi program. Semua literal string (&str) secara implisit memiliki masa pakai 'static karena disimpan langsung di dalam biner yang dapat dieksekusi.

let s: &'static str = "I have a static lifetime.";

Cobalah sendiri

Latihan 1: Fungsi terpanjang

Latihan 2: Struktur dengan Referensi

Latihan 3: Referensi Statis