Lebenszeiten

Statische Lebenszeit

Wenn eine Referenz die Lebenszeit 'static hat, bedeutet dies:

1. Die Daten unter der Referenz können nicht verändert werden

2. Die Daten unter der Referenz sind nicht dynamisch

3. Die Daten unter der Referenz werden niemals freigegeben

4. Die Daten unter der Referenz leben im statischen Speicherbereich

Prüfen

'static bedeutet „lebt für das gesamte Programm“, und daher dürfen Daten unter einer statischen Referenz niemals freigegeben werden. Obwohl 'static -Referenzen in der Praxis normalerweise nicht veränderbar sind, hat die Bedeutung der 'static -Lebenszeit keine wesentliche Beziehung zur Veränderbarkeit.

---

Lebenszeiten-Inferenz

Betrachten Sie die folgende un-annotierte Funktionssignatur.

struct Foo<'a> {
  bar: &'a i32
}

fn baz(f: Foo) -> &i32 { /* ... */ }

Wird Rust diese Funktionssignatur akzeptieren? Wenn ja, welche Lebenszeiten wird es inferieren?

1. fn baz<'a>(f: Foo<'a>) -> &'a i32

2. fn baz<'a>(f: Foo) -> &'a i32

3. fn baz<'a>(f: Foo<'a>) -> &i32

4. fn baz(f: Foo) -> &i32

5. Rust wird diese Funktionssignatur ablehnen

Prüfen

Die Struktur nimmt einen einzelnen Lebenszeitparameter entgegen, und die Ausgabe hat eine einzelne Lebenszeit, daher nimmt Rust an, dass diese identisch sind.

---

Komplexe Lebenszeiten-Inferenz

Betrachten Sie die folgende un-annotierte Funktionssignatur.

struct Foo<'a> {
  bar: &'a i32
}

// Foo geändert zu &Foo
fn baz(f: &Foo) -> &i32 { /* ... */ }

Wird Rust diese Funktionssignatur akzeptieren? Wenn ja, welche Lebenszeiten wird es inferieren?

1. fn baz<'a, 'b>(f: &'a Foo<'b>) -> &'a i32

2. fn baz(f: &Foo) -> &i32

3. fn baz<'a>(f: &'a Foo) -> &'a i32

4. Rust wird diese Funktionssignatur ablehnen

5. fn baz<'a, 'b>(f: &'a Foo<'b>) -> &'b i32

6. fn baz<'a>(f: &Foo<'a>) -> &'a i32

Prüfen

Rust wird dieses Programm nicht kompilieren, da es unklar ist, ob die Lebenszeit der Ausgabe an die Lebenszeit von &Foo oder die Referenz Foo.bar gebunden ist.

---