Trait
Ein Trait definiert eine Menge von Methoden für gemeinsames Verhalten; Typen implementieren den Trait, um diese Methoden bereitzustellen — das Schnittstellen- und Abstraktionskonzept von Rust/Scala.
Zweck
Schnittstellen für gemeinsames Verhalten definieren und Komposition über Vererbung stellen.
Mechanismus
Ein Trait deklariert Methodensignaturen (evtl. mit Standardimplementierungen). Typen machen impl Trait, um Methodenkörper bereitzustellen. Trait-Bounds beschränken generische Typen. Trait-Objekte (dyn Trait) ermöglichen dynamischen Dispatch. Supertraits bieten Vererbung.
Anwendungsfälle
- Rust-Programmierung
- Schnittstellenabstraktion
- Generische Einschränkungen