Question 1

Was ist ein Higher-Ranked Trait Bound (HRTB) in Rust?

Accepted Answer

Ein Higher-Ranked Trait Bound (HRTB) ermöglicht es anzugeben, dass eine Funktion oder ein Trait für alle möglichen Lifetimes funktionieren muss, nicht nur für ein bestimmtes. Die for<'a>-Syntax gibt an, dass der Trait Bound für jedes vom Aufrufer gewählte Lifetime 'a erfüllt sein muss. Diese Funktion ist unerlässlich für Closures und Callbacks, die Referenzen mit unterschiedlichen Lifetimes akzeptieren müssen.

Question 2

Was ist der Unterschied zwischen fn foo<'a>(f: impl Fn(&'a str)) und fn foo(f: impl for<'a> Fn(&'a str))?

Accepted Answer

Bei fn foo<'a> wird das Lifetime 'a vom Aufrufer zum Zeitpunkt des Aufrufs festgelegt und bleibt während der gesamten Ausführung gleich. Bei for<'a> muss die Closure für jedes Lifetime funktionieren, sodass sie mehrmals mit Referenzen unterschiedlicher Lifetimes aufgerufen werden kann. Diese Unterscheidung ist entscheidend für APIs, die eine Closure mehrmals mit unterschiedlichen temporären Referenzen aufrufen.

Question 3

Was ist Lifetime Subtyping in Rust und was bedeutet 'a: 'b?

Accepted Answer

Lifetime Subtyping etabliert eine Subtyping-Beziehung zwischen Lifetimes. Die Notation 'a: 'b bedeutet, dass 'a mindestens so lange lebt wie 'b, sodass 'a ein Subtype von 'b ist. Eine Referenz mit einem längeren Lifetime kann dort verwendet werden, wo ein kürzeres Lifetime erwartet wird. Diese Beziehung ist covariant für unveränderliche Referenzen, sodass eine Referenz mit einem längeren Lifetime dort übergeben werden kann, wo ein kürzeres ausreichen würde.

Fortgeschrittene Lifetimes

Was ist ein Higher-Ranked Trait Bound (HRTB) in Rust?

Antwort

Was ist der Unterschied zwischen fn foo<'a>(f: impl Fn(&'a str)) und fn foo(f: impl for<'a> Fn(&'a str))?

Antwort

Was ist Lifetime Subtyping in Rust und was bedeutet 'a: 'b?

Antwort

Was ist Variance in Rust und wie wirkt sie sich auf generische Typen aus?

Warum ist &mut T in Bezug auf T invariant, während &T covariant ist?

Weitere Rust-Interviewthemen

Rust-Grundlagen

Ownership & Borrowing

Structs & Enums

Fehlerbehandlung

Collections

Module & Packages

Traits

Generics

Lifetimes

Iterators & Closures

Smart Pointers

Concurrency Basics

async/await

Testing

Cargo & Ecosystem

Pattern Matching

Makros

Serde & Serialisierung

Unsafe Rust

Fortgeschrittene Traits

Type System

Tokio & Async I/O

Performance-Optimierung

Memory Management

Web Frameworks

Database Integration

Rust Design Patterns

Meistere Rust für dein nächstes Interview