Решение на упр.08 задача 1 от Георги Стоянов
Резултати
- 4 точки от тестове
- 0 бонус точки
- 4 точки общо
- 2 успешни тест(а)
- 0 неуспешни тест(а)
Код
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“ — опитва се да изчисти огромен списък с рекурсивна, не итеративна логика.
*/
Лог от изпълнението
Updating crates.io index
Locking 17 packages to latest compatible versions
Compiling proc-macro2 v1.0.103
Compiling quote v1.0.42
Compiling unicode-ident v1.0.22
Compiling futures-core v0.3.31
Compiling futures-sink v0.3.31
Compiling futures-channel v0.3.31
Compiling pin-project-lite v0.2.16
Compiling pin-utils v0.1.0
Compiling futures-task v0.3.31
Compiling syn v2.0.111
Compiling slab v0.4.11
Compiling futures-io v0.3.31
Compiling memchr v2.7.6
Compiling solution v0.1.0 (/tmp/d20251211-1757769-q34ueu/solution)
warning: struct `List` is never constructed
--> src/lib.rs:3:8
|
3 | struct List<T> {
| ^^^^
|
= note: `#[warn(dead_code)]` on by default
warning: associated items `new`, `head`, `tail`, `prepend`, and `iter` are never used
--> src/lib.rs:15:9
|
14 | impl<T> List<T> {
| --------------- associated items in this implementation
15 | pub fn new() -> Self {
| ^^^
...
19 | pub fn head(&self) -> Option<&T> {
| ^^^^
...
23 | pub fn tail(&self) -> List<T> {
| ^^^^
...
29 | pub fn prepend(&self, value: T) -> List<T> {
| ^^^^^^^
...
40 | pub fn iter(&self) -> Iter<'_, T> {
| ^^^^
warning: `solution` (lib) generated 2 warnings
Compiling futures-macro v0.3.31
Compiling futures-util v0.3.31
Compiling futures-executor v0.3.31
Compiling futures v0.3.31
Finished `test` profile [unoptimized + debuginfo] target(s) in 8.42s
Running tests/solution_test.rs (target/debug/deps/solution_test-ee0783488e12dce9)
running 2 tests
test solution_test::test_iterator ... ok
test solution_test::test_list ... ok
test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s