Implementiere das generische Double Deallocation Trait

Einführung

In diesem Lab wird ein generisches DoubleDrop-Trait definiert, das eine double_drop-Methode enthält, die einem Typ ermöglicht, sich selbst und einen Eingabeparameter zu deallokieren.

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.

Traits

Natürlich können auch Traits generisch sein. Hier definieren wir eines, das das Drop-Trait als eine generische Methode neu implementiert, um sich selbst und einen Eingabeparameter zu entfernen.

// Nicht kopierbare Typen.
struct Empty;
struct Null;

// Ein Trait, das über `T` generisch ist.
trait DoubleDrop<T> {
    // Definiere eine Methode auf dem aufrufenden Typ, die einen
    // zusätzlichen einzelnen Parameter `T` annimmt und nichts damit macht.
    fn double_drop(self, _: T);
}

// Implementiere `DoubleDrop<T>` für jeden generischen Parameter `T` und
// aufrufenden Typ `U`.
impl<T, U> DoubleDrop<T> for U {
    // Diese Methode übernimmt die Besitznahme beider übergebenen Argumente
    // und entfernt beide.
    fn double_drop(self, _: T) {}
}

fn main() {
    let empty = Empty;
    let null  = Null;

    // Entferne `empty` und `null`.
    empty.double_drop(null);

    //empty;
    //null;
    // ^ TODO: Versuche, diese Zeilen auszukommentieren.
}

Zusammenfassung

Herzlichen Glückwunsch! Sie haben das Traits-Lab abgeschlossen. Sie können in LabEx weitere Labs ausprobieren, um Ihre Fähigkeiten zu verbessern.