Lebenszeiten

Lebenszeiten und Fehlerprävention

Welche Art von Programmierfehler sollen Lebenszeiten verhindern?

1. Verwenden des Ergebnisses einer fehleranfälligen Berechnung, bevor die Möglichkeit eines Fehlers überprüft wurde

2. Verwenden einer Referenz auf ein Objekt, nachdem dessen Speicher freigegeben wurde

3. Nicht genügend Speicher für ein Objekt zuweisen

4. Indizieren über die Grenzen eines Arrays hinaus (Pufferüberlauf)

Prüfen

Lebenszeiten helfen zu identifizieren, wie lange ein Objekt „lebt“ und ob Referenzen auf dieses Objekt das Objekt selbst überdauern.

---

Referenz-Lebenszeiten

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

fn main() {
  println!("{}", shortest("hello", "rust"));
}

1. Kompiliert
2. Kompiliert nicht

Prüfen

Wenn die Typensignatur besagt, dass die Funktion eine Referenz mit der Lebenszeit 'a zurückgeben muss, dann wäre es ungültig, eine Referenz mit einer anderen Lebenszeit 'b zurückzugeben, d.h. y hier.

---