Lifetimes | Faisal Affan

Versi Bahasa Indonesia. Baca dalam Bahasa Inggris

Lifetimes adalah cara untuk mengelola dan memastikan memory safety dengan mendefinisikan scope di mana sebuah reference valid.
Mencegah dangling references dan memastikan bahwa reference tidak hidup lebih lama dari data yang mereka tunjuk.
Lifetime dilambangkan menggunakan (') diikuti dengan nama, seperti 'a.
Sebagian besar waktu, kita tidak perlu secara eksplisit memberi anotasi lifetimes karena Rust memiliki aturan lifetime elision untuk menyimpulkan lifetimes dalam kasus sederhana.
Referensi:

lifetimes1.rs

// The Rust compiler needs to know how to check whether supplied references are
// valid, so that it can let the programmer know if a reference is at risk of
// going out of scope before it is used. Remember, references are borrows and do
// not own their own data. What if their owner goes out of scope?

// Fix the compiler error by updating the function signature.
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() {
        x
    } else {
        y
    }
}

fn main() {
    // You can optionally experiment here.
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_longest() {
        assert_eq!(longest("abcd", "123"), "abcd");
        assert_eq!(longest("abc", "1234"), "1234");
    }
}

Latihan ini cukup mudah.
Rust tidak dapat menyimpulkan lifetime dari input reference di fungsi longest.
Jadi kita perlu mendefinisikan lifetime secara eksplisit dengan menambahkan 'a (kamu dapat mengubah nama lifetime dengan apa pun yang kamu mau).
Ini untuk mengikat lifetime dari input x dan y ke output dari fungsi longest.

lifetimes2.rs

// Don't change this function.
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() {
        x
    } else {
        y
    }
}

fn main() {
    // Fix the compiler error by moving one line.

    let string1 = String::from("long string is long");
    let result;
    {
        let string2 = String::from("xyz");
        result = longest(&string1, &string2);
        println!("The longest string is '{result}'");
    }
}

Latihan ini mudah.
Macro println menggunakan variabel result yang sudah out of scope (Rust sudah men-drop-nya) jadi kita tidak dapat mengaksesnya lagi.
Kita hanya perlu memindahkan baris tersebut ke dalam kurung kurawal.

lifetimes3.rs

// Lifetimes are also needed when structs hold references.

// Fix the compiler errors about the struct.
struct Book<'a> {
    author: &'a str,
    title: &'a str,
}

fn main() {
    let book = Book {
        author: "George Orwell",
        title: "1984",
    };

    println!("{} by {}", book.title, book.author);
}

Di latihan ini kita memiliki struct Book yang menyimpan sebuah reference.
Jadi kita perlu mendefinisikan lifetime secara eksplisit dari setiap reference dalam struct agar struct tidak hidup lebih lama dari reference tersebut.

Kita dapat melakukannya seperti ini:

struct Book<'a> {
    author: &'a str,
    title: &'a str,
}