Решение на упр.08 задача 1 от Георги Стоянов
Код
use std::rc::Rc;
struct List<T> {
head: Link<T>,
}
type Link<T> = Option<Rc<Node<T>>>;
struct Node<T> {
elem: T,
next: Link<T>,
}
impl<T> List<T> {
pub fn new() -> Self {
List { head: None }
}
pub fn head(&self) -> Option<&T> {
self.head.as_ref().map(|node| &node.elem)
}
pub fn tail(&self) -> List<T> {
List {
head: self.head.as_ref().and_then(|node| node.next.clone()),
}
}
pub fn prepend(&self, value: T) -> List<T> {
let new_node = Rc::new(Node {
elem: value,
next: self.head.clone(),
});
List {
head: Some(new_node),
}
}
pub fn iter(&self) -> Iter<'_, T> {
Iter {
next: self.head.as_deref(),
}
}
}
pub struct Iter<'a, T> {
next: Option<&'a Node<T>>,
}
impl<'a, T> Iterator for Iter<'a, T> {
type Item = &'a T;
fn next(&mut self) -> Option<Self::Item> {
self.next.map(|node| {
self.next = node.next.as_deref();
&node.elem
})
}
}
/*
Всеки Node в списъка държи референция към следващия чрез Rc. Когато в края на програмата се извика drop(list),
Rust започва да освобождава Node-овете едно по едно, но Rc го прави РЕКУРСИВНО: за да дропне първия Node,
то дропва втория, което дропва третия, и така надолу — потенциално много пъти.
Рекурсията обаче се случва в стека на функцията и след достатъчно вложени извиквания стекът просто се запълва.
Затова програмата гърми със „stack overflow“ — опитва се да изчисти огромен списък с рекурсивна, не итеративна логика.
*/