Lifetime-Varianz und Kovarianz in Referenzen

Snippet

Lifetime-Varianz und Kovarianz in Referenzen

Varianz bestimmt, wie das Subtyping zwischen Lifetimes die Kompatibilität komplexer Typen beeinflusst. Unveränderliche Referenzen sind kovariant über ihre Lifetime, was bedeutet, dass man eine längerlebige Referenz an eine Funktion übergeben kann, die eine kürzere erwartet. Veränderliche Referenzen sind hingegen invariant, um Speicherunsicherheit zu vermeiden.

snippet.rs
rust
fn subtyping_demo<'a, 'b: 'a>(short: &'a str, long: &'b str) {
    // &'b str is a subtype of &'a str because 'b outlives 'a
    let x: &'a str = long; // Covariance: we can use a longer lifetime where a shorter is expected
    
    // This would fail if we used mutable references:
    // let mut m_long: &'b str = "...";
    // let r: &mut &'a str = &mut m_long; // Error: &mut T is invariant over T
}

Erklärung

'b: 'a

Eine Lifetime-Constraint, die besagt, dass 'b mindestens so lange wie 'a dauern muss.

let x: &'a str = long;

Demonstriert Kovarianz: Ein Subtyp (&'b) wird einem Supertyp (&'a) zugewiesen.

&mut T ist invariant

Stellt sicher, dass der exakte Typ T beibehalten wird, um ungültige Lifetime-Zuweisungen zu verhindern.

Vorheriges Snippet Nächstes Snippet

Verwandt

Aus deiner Bibliothek