Übungsblatt 1
Generelles
Die ersten beiden Aufgaben dienen zur Vertiefung Ihrer praktischen Erfahrungen in Rust. Sie implementieren einen Stack und eine Baumstruktur.
Allgemeine Hinweise
Für diese und alle folgenden Praktikumsaufgaben gilt, dass Einsendungen, die in der jeweils mitgegebenen Testumgebung nicht laufen, mit null Punkten bewertet werden! Das beinhaltet insbesondere alle Programme, die sich nicht fehlerfrei kompilieren lassen. Da Cargo für die Ausführung verantwortlich ist, sollte das Projekt bei Ihnen am Ende mit cargo test
ohne Fehler und Warnungen durchlaufen.
Abgabemodus
Die Lösung ist in einem eigenen Git-Repository abzugeben. Sie können in ihrer Lösung jedoch beliebige Hilfstypen und Module selbst definieren. Die grundlegende Struktur des hier mitgegebenen Templates sollte jedoch nicht verändert werden. Insbesondere ist es wichtig, dass die öffentliche Schnittstelle der Library, welche über die Signaturen der Methoden und Funktionen und deren absoluten Pfad definiert wird.
Zur Lösung der Aufgaben steht für Sie dieses Repository mit
- vorgegebenen Modulen stack und syntree
- der vorgegebenen Schnittstelle der Library in lib
- eine Reihe von Testfällen (Unit-Tests) innerhalb der Module
zur Verfügung.
Sie können die Implementierung mit
cargo test
prüfen. Mitcargo test -- --nocapture
werden Konsolenausgaben auch bei korrekten Tests angezeigt.
Aufgabe 1 (50 Punkte)
Kurzbeschreibung
Implementieren Sie einen Stack, der beliebig viele Integerzahlen speichern kann ("beliebig viel" bedeutet für uns: lediglich begrenzt durch den Arbeitsspeicher). Erweitern Sie dabei eine vorgegebene Schnittstelle (Stack Trait), sodass Ihr Stack in andere (bereits existierende) Programme eingebunden werden kann.
Aufgabenstellung
Wie sie in lib sehen können, betrachten wir einen Stack als eine Datenstruktur, auf der folgende Operationen ausgeführt werden können:
pub trait Stack {
/// Initialisiere einen leeren Stack
fn init() -> Self;
/// Füge einen neuen Wert zum Stack hinzu
fn push_val(&mut self, i: i32);
/// Lese den obersten Wert, ohne diesen zu entfernen
fn top_val(&self) -> Option<&i32>;
/// Entferne den obersten Wert und gib diesen zurück
fn pop_val(&mut self) -> Option<i32>;
/// Prüfe ob der Stack leer ist
fn is_empty(&self) -> bool;
}
- Implementieren Sie den Stack-Trait in stack.rs für
ListStack
und fürVec<T>
a) Implementierung für Vec (10 Punkte)
- Implementieren Sie den Trait für Vec
- Da Vec bereits selbst über die Methoden eines Stack verfügt, muss hier lediglich an Vec delegiert werden.
b) Implementierung für ListStack (40 Punkte)
- Vervollständigen Sie die Implementierung von Stack für ListStack
- Die Implementierung erfordert den Smart-Pointer
Box<T>
, um den rekursiven Typ sicher zu definieren. Eine Erklärung hierzu finden Sie im Buch - Zusätzlich wird ein Option benötigt, um Werte mit take auszutauschen
Aufgabe 2 (50 Punkte)
Kurzbeschreibung
Implementieren Sie eine Datenstruktur, die beliebig verzweigte Bäume speichern kann, mit den im Folgenden beschriebenen Methoden.
Aufgabenstellung
Die hier von Ihnen zu implementierende Datenstruktur dient der Repräsentation eines abstrakten Syntaxbaumes.
struct SynTree;
impl<'a, T> SynTree<T> {
/// Initialisiert einen neuen Syntaxbaum
pub fn new(value: T, id: ID) -> Syntree<T> { todo!() }
/// Fügt dem angegebenen Elternknoten den mitgegebenen Syntaxbaum als letztes Kind hinzu
pub fn push_node(&mut self, parent_id: ID, new_node: Syntree<T>) -> Result<(), String> { todo!() }
/// Fügt dem angegebenen Elternknoten den mitgegebenen Syntaxbaum als erstes Kind hinzu
pub fn prepend_node(&mut self, parent_id: ID, new_node: Syntree<T>) -> Result<(), String> { todo!() }
/// Fügt dem angegebenen Elternknoten den mitgegebenen Syntaxbaum als Kind an der indizierten Stelle hinzu
pub fn insert_node(
&mut self,
parent_id: ID,
index: usize,
new_node: Syntree<T>,
) -> Result<(), String> { todo!() }
/// Suche nach dem ersten Knoten mit der angegebenen ID und liefere eine mutable Referenz zurück
pub fn seek_node_mut(&'a mut self, id: &ID) -> Option<&'a mut Syntree<T>> { todo!() }
}
- Die zu implementierende Datenstruktur Syntree soll Baumknoten in beliebig komplexen Konfigurationen speichern können und davon beliebig viele.
- Vervollständigen Sie die Implementierung in der Datei syntree.rs.