Snippet

HRTB (Higher-Rank Trait Bounds) zur Abstraktion von Lebensdauern in Closure-Argumenten

Dieses Beispiel zeigt die Verwendung von Higher-Rank Trait Bounds (HRTB) mit der `for<'a>`-Syntax. Durch HRTB legen wir fest, dass die Closure eine Referenz mit einer beliebigen Lebensdauer `'a` akzeptieren muss (speziell Lebensdauern innerhalb von `execute_with_borrow`), anstatt auf eine feste Lebensdauer festgelegt zu sein, die vom Aufrufer gewählt wurde.

snippet.rs

rust

pub fn execute_with_borrow<F>(f: F)
where
    for<'a> F: Fn(&'a str) -> &'a str,
{
    let local_data = String::from("temporary string");
    let result = f(&local_data);
    println!("Processed result: {}", result);
}
 
fn main() {
    execute_with_borrow(|s| {
        if s.len() > 5 {
            &s[..5]
        } else {
            s
        }
    });
}

Erklärung

for<'a> F: Fn(&'a str) -> &'a str

Deklariert, dass die Closure `F` mit einer Referenz einer *beliebigen* Lebensdauer `'a` aufgerufen werden kann.

let local_data = String::from("...")

Eine lokale Zeichenfolge, die innerhalb des Funktionsbereichs zugewiesen wird.

let result = f(&local_data)

Übergibt eine Referenz von `local_data` an die Closure. Die Lebensdauer dieser Referenz ist lokal für diesen Funktionsaufruf.

|s| if s.len() > 5 { &s[..5] } else { s }

Die Closure leiht die Eingabereferenz aus und gibt ein Slice zurück, das an dieselbe beliebige Lebensdauer gebunden ist.

Vorheriges Snippet Nächstes Snippet

Mehr Rust-Übungen für Experten →

HRTB (Higher-Rank Trait Bounds) zur Abstraktion von Lebensdauern in Closure-Argumenten

Verwandt