What Are Lifetime Bounds on Generic Types?

Lifetime bounds on generic types are constraints that specify how long a reference must remain valid relative to other references in a function or struct. You define them using the 'a syntax in the generic parameter list to ensure the compiler can verify memory safety.

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

In this example, the 'a lifetime bound ensures the returned reference lives as long as the shortest of the two input references.

Lifetime bounds are rules that tell the compiler how long a piece of data must stay alive while your code uses it. Think of them like a rental agreement: you can only borrow a car (reference) for as long as the owner (data) keeps it available. You use them to prevent your program from accidentally using data that has already been deleted.