rust / intermediate
Snippet
Trait Bounds und where-Klauseln
Trait Bounds schränken generische Typen ein, sodass nur Typen akzeptiert werden, die bestimmte Verhaltensweisen implementieren. Die `where`-Klausel bietet eine sauberere Syntax für komplexe Bounds im Vergleich zur Inline-Notation. Das Kombinieren mehrerer Trait Bounds ermöglicht es, mehrere Verhaltensweisen auf generische Typen anzuwenden.
snippet.rs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
use std::fmt::{Display, Debug};#[derive(Debug)]struct Point {x: f64,y: f64,}impl Display for Point {fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {write!(f, "({}, {})", self.x, self.y)}}fn print_both<T>(item: T)whereT: Display + Debug,{println!("Display: {}", item);println!("Debug: {:?}", item);}fn max<T>(a: T, b: T) -> TwhereT: PartialOrd + Copy,{if a >= b { a } else { b }}fn main() {let p = Point { x: 1.0, y: 2.0 };print_both(p);println!("Max: {}", max(5, 10));}
Erklärung
1
where T: Display + Debug,
Where-Klausel kombiniert mehrere Trait-Anforderungen sauber
2
T: PartialOrd + Copy
Mehrere Bounds erfordern sowohl Vergleichs- als auch Copy-Semantik
3
if a >= b { a } else { b }
Generische Vergleichslogik funktioniert auf jedem PartialOrd-Typ