Testfall: Leere Schranken

Einführung

In diesem Lab zeigt der Code, wie Traits als Schranken verwendet werden können, auch wenn die Traits keine Funktionalität enthalten, indem die Traits Eq und Copy als Beispiel verwendet werden.

Hinweis: Wenn das Lab keinen Dateinamen angibt, können Sie einen beliebigen Dateinamen verwenden. Beispielsweise können Sie main.rs verwenden und es mit rustc main.rs &&./main kompilieren und ausführen.

Skills Graph

Testfall: leere Schranken

Eine Folge davon, wie Schranken funktionieren, ist, dass Sie auch dann einen trait als Schranke verwenden können, wenn er keine Funktionalität enthält. Eq und Copy sind Beispiele für solche traits aus der std-Bibliothek.

struct Cardinal;
struct BlueJay;
struct Turkey;

trait Red {}
trait Blue {}

impl Red for Cardinal {}
impl Blue for BlueJay {}

// Diese Funktionen sind nur gültig für Typen, die diese
// Traits implementieren. Dass die Traits leer sind, ist irrelevant.
fn red<T: Red>(_: &T)   -> &'static str { "rot" }
fn blue<T: Blue>(_: &T) -> &'static str { "blau" }

fn main() {
    let cardinal = Cardinal;
    let blue_jay = BlueJay;
    let _turkey   = Turkey;

    // `red()` funktioniert nicht für einen Blaumeise, und umgekehrt
    // wegen der Schranken.
    println!("Eine Kardinalen ist {}", red(&cardinal));
    println!("Eine Blaumeise ist {}", blue(&blue_jay));
    //println!("Eine Truthahn ist {}", red(&_turkey));
    // ^ TODO: Versuchen Sie, diese Zeile auszulassen.
}

Zusammenfassung

Herzlichen Glückwunsch! Sie haben den Testfall: Leere Schranken Lab abgeschlossen. Sie können in LabEx weitere Labs ausprobieren, um Ihre Fähigkeiten zu verbessern.