Es 07 Lists
- with T generic
This commit is contained in:
220
src/es07_list_generic.rs
Normal file
220
src/es07_list_generic.rs
Normal file
@@ -0,0 +1,220 @@
|
||||
#![allow(unused)]
|
||||
|
||||
/**
|
||||
* Fare una implementazione delle liste doppiamenti linkate come la precedente, ma i metodo get
|
||||
* rimuove l’elemento nella posizione n e lo ritorna. Per questa implementazione il tipo generico
|
||||
* T non deve implementare Copy.
|
||||
|
||||
#[derive(Default)]
|
||||
struct Node<T> {
|
||||
item: T,
|
||||
next: Pointer<T>,
|
||||
prev: Pointer<T>,
|
||||
}
|
||||
impl<T> Node<T> {
|
||||
fn new(item: T) -> Self
|
||||
}
|
||||
|
||||
type Pointer<T> = Option<Rc<RefCell<Node<T>>>>;
|
||||
|
||||
#[derive(Default)]
|
||||
pub struct DoublyPointedList<T> {
|
||||
head: Pointer<T>,
|
||||
tail: Pointer<T>,
|
||||
size: usize,
|
||||
}
|
||||
impl<T> DoublyPointedList<T> {
|
||||
pub fn new() -> Self
|
||||
pub fn is_empty(&self) -> bool
|
||||
pub fn len(&self) -> usize
|
||||
pub fn push_back(&mut self, item: T)
|
||||
pub fn push_front(&mut self, item: T)
|
||||
pub fn pop_back(&mut self) -> Option<T>
|
||||
pub fn pop_front(&mut self) -> Option<T>
|
||||
// Se n e' positivo ritornate l'ennesimo elemento dall'inizio
|
||||
//della lista mentre se e' negativo lo ritornate dalla coda
|
||||
//(-1 e' il primo elemento dalla coda)
|
||||
pub fn get(& self, n:i32) -> Option<T>
|
||||
}
|
||||
*/
|
||||
use std::{
|
||||
borrow::Borrow,
|
||||
cell::{RefCell, RefMut},
|
||||
mem,
|
||||
rc::Rc,
|
||||
};
|
||||
|
||||
type Pointer<T> = Option<Rc<RefCell<T>>>;
|
||||
|
||||
#[derive(Debug)]
|
||||
pub struct LinkedList<T> {
|
||||
size: usize,
|
||||
head: Pointer<Node<T>>,
|
||||
tail: Pointer<Node<T>>,
|
||||
}
|
||||
|
||||
#[derive(Debug)]
|
||||
struct Node<T> {
|
||||
element: Option<T>,
|
||||
next: Pointer<Node<T>>,
|
||||
prev: Pointer<Node<T>>,
|
||||
}
|
||||
|
||||
impl<T> Node<T> {
|
||||
pub fn new(element: T) -> Self {
|
||||
Self {
|
||||
element: Some(element),
|
||||
next: None,
|
||||
prev: None,
|
||||
}
|
||||
}
|
||||
pub fn get(node: &Rc<RefCell<Node<T>>>) -> RefMut<Node<T>> {
|
||||
node.as_ref().borrow_mut()
|
||||
}
|
||||
pub fn as_memref(self) -> Rc<RefCell<Node<T>>> {
|
||||
Rc::new(RefCell::new(self))
|
||||
}
|
||||
}
|
||||
|
||||
impl<T> LinkedList<T> {
|
||||
pub fn new() -> Self {
|
||||
Self {
|
||||
size: 0,
|
||||
head: None,
|
||||
tail: None,
|
||||
}
|
||||
}
|
||||
|
||||
pub fn is_empty(&self) -> bool {
|
||||
self.size == 0
|
||||
}
|
||||
|
||||
pub fn len(&self) -> usize {
|
||||
self.size
|
||||
}
|
||||
|
||||
pub fn push_front(&mut self, element: T) {
|
||||
let element = Node::new(element).as_memref();
|
||||
if let Some(head) = self.head.as_ref() {
|
||||
Node::get(head).prev = Some(element.clone());
|
||||
Node::get(&element).next = Some(head.clone());
|
||||
}
|
||||
if let None = self.tail.as_ref() {
|
||||
self.tail = Some(element.clone());
|
||||
}
|
||||
|
||||
self.head = Some(element.clone());
|
||||
self.size += 1;
|
||||
}
|
||||
pub fn push_back(&mut self, element: T) {
|
||||
let element = Node::new(element).as_memref();
|
||||
if let Some(tail) = self.tail.as_ref() {
|
||||
Node::get(tail).next = Some(element.clone());
|
||||
Node::get(&element).prev = Some(tail.clone());
|
||||
}
|
||||
if let None = self.tail.as_ref() {
|
||||
self.head = Some(element.clone());
|
||||
}
|
||||
|
||||
self.tail = Some(element.clone());
|
||||
self.size += 1;
|
||||
}
|
||||
|
||||
pub fn pop_front(&mut self) -> Option<T> {
|
||||
self.pop(true)
|
||||
}
|
||||
pub fn pop_back(&mut self) -> Option<T> {
|
||||
self.pop(false)
|
||||
}
|
||||
fn pop(&mut self, from_head: bool) -> Option<T> {
|
||||
let ptr = if from_head {
|
||||
&mut self.head
|
||||
} else {
|
||||
&mut self.tail
|
||||
};
|
||||
|
||||
if let Some(node) = ptr.clone() {
|
||||
let mut node = Node::get(&node);
|
||||
|
||||
let other = if from_head {
|
||||
node.next.clone()
|
||||
} else {
|
||||
node.prev.clone()
|
||||
};
|
||||
|
||||
if let Some(node) = other.clone() {
|
||||
*ptr = other;
|
||||
if from_head {
|
||||
Node::get(&node).prev = None;
|
||||
} else {
|
||||
Node::get(&node).next = None;
|
||||
}
|
||||
} else {
|
||||
self.head = None;
|
||||
self.tail = None;
|
||||
}
|
||||
|
||||
self.size -= 1;
|
||||
return mem::take(&mut node.element);
|
||||
}
|
||||
None
|
||||
}
|
||||
|
||||
|
||||
pub fn get(&mut self, n: i32) -> Option<T> {
|
||||
if self.size == 0 {
|
||||
return None;
|
||||
}
|
||||
|
||||
let index = n + if n < 0 { self.size as i32 } else { 0 };
|
||||
if index == 0 {
|
||||
self.pop_front()
|
||||
} else if (index - 1) as usize == self.size {
|
||||
self.pop_back()
|
||||
} else if let Some(node) = self.find(index) {
|
||||
let mut node = Node::get(&node);
|
||||
let prev = node.prev.clone();
|
||||
let next = node.next.clone();
|
||||
|
||||
match &prev {
|
||||
Some(val) => Node::get(val).next = next.clone(),
|
||||
None => self.head = next.clone(),
|
||||
}
|
||||
match &next {
|
||||
Some(val) => Node::get(val).prev = prev.clone(),
|
||||
None => self.tail = prev.clone(),
|
||||
}
|
||||
|
||||
self.size -= 1;
|
||||
mem::take(&mut node.element)
|
||||
} else {
|
||||
None
|
||||
}
|
||||
}
|
||||
|
||||
fn find(&self, index: i32) -> Pointer<Node<T>> {
|
||||
if index < 0 || index as usize >= self.size {
|
||||
return None;
|
||||
}
|
||||
|
||||
let index = index as usize;
|
||||
let delta_back = (self.size - index) - 1_usize;
|
||||
let from_head = index <= delta_back;
|
||||
|
||||
let node = if from_head { &self.head } else { &self.tail };
|
||||
let index = if from_head { index } else { delta_back };
|
||||
Self::find_node(node, index, from_head)
|
||||
}
|
||||
fn find_node(node: &Pointer<Node<T>>, index: usize, from_head: bool) -> Pointer<Node<T>> {
|
||||
if let Some(node) = node {
|
||||
return if index == 0 {
|
||||
Some(node.clone())
|
||||
} else {
|
||||
let node = node.as_ref().borrow();
|
||||
let node = if from_head { &node.next } else { &node.prev };
|
||||
Self::find_node(node, index - 1, from_head)
|
||||
};
|
||||
}
|
||||
None
|
||||
}
|
||||
}
|
||||
@@ -5,6 +5,4 @@ pub mod es04_rational_traits;
|
||||
pub mod es05_bank;
|
||||
pub mod es06_list;
|
||||
pub mod es07_list_generic;
|
||||
pub mod es08_folds;
|
||||
pub mod es09_auction;
|
||||
|
||||
|
||||
187
tests/es07_list_generic.rs
Normal file
187
tests/es07_list_generic.rs
Normal file
@@ -0,0 +1,187 @@
|
||||
use esercizi::es07_list_generic::LinkedList;
|
||||
|
||||
#[test]
|
||||
fn test_front() {
|
||||
let mut list = LinkedList::new();
|
||||
|
||||
assert_eq!(0, list.len());
|
||||
assert_eq!(true, list.is_empty());
|
||||
assert_eq!(None, list.pop_front());
|
||||
assert_eq!(true, list.is_empty());
|
||||
assert_eq!(0, list.len());
|
||||
|
||||
list.push_front(50);
|
||||
assert_eq!(1, list.len());
|
||||
assert_eq!(false, list.is_empty());
|
||||
assert_eq!(Some(50), list.pop_front());
|
||||
assert_eq!(true, list.is_empty());
|
||||
assert_eq!(0, list.len());
|
||||
assert_eq!(None, list.pop_front());
|
||||
|
||||
list.push_front(50);
|
||||
list.push_front(20);
|
||||
assert_eq!(2, list.len());
|
||||
assert_eq!(false, list.is_empty());
|
||||
assert_eq!(Some(20), list.pop_front());
|
||||
assert_eq!(Some(50), list.pop_front());
|
||||
assert_eq!(None, list.pop_front());
|
||||
|
||||
list.push_front(50);
|
||||
list.push_front(20);
|
||||
list.push_front(150);
|
||||
assert_eq!(3, list.len());
|
||||
assert_eq!(false, list.is_empty());
|
||||
assert_eq!(Some(150), list.pop_front());
|
||||
assert_eq!(Some(20), list.pop_front());
|
||||
assert_eq!(Some(50), list.pop_front());
|
||||
assert_eq!(None, list.pop_front());
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_back() {
|
||||
let mut list = LinkedList::new();
|
||||
|
||||
assert_eq!(0, list.len());
|
||||
assert_eq!(true, list.is_empty());
|
||||
assert_eq!(None, list.pop_back());
|
||||
assert_eq!(true, list.is_empty());
|
||||
assert_eq!(0, list.len());
|
||||
|
||||
list.push_back(50);
|
||||
assert_eq!(1, list.len());
|
||||
assert_eq!(false, list.is_empty());
|
||||
assert_eq!(Some(50), list.pop_back());
|
||||
assert_eq!(true, list.is_empty());
|
||||
assert_eq!(0, list.len());
|
||||
assert_eq!(None, list.pop_back());
|
||||
|
||||
list.push_back(50);
|
||||
list.push_back(20);
|
||||
assert_eq!(2, list.len());
|
||||
assert_eq!(false, list.is_empty());
|
||||
assert_eq!(Some(20), list.pop_back());
|
||||
assert_eq!(Some(50), list.pop_back());
|
||||
assert_eq!(None, list.pop_back());
|
||||
|
||||
list.push_back(50);
|
||||
list.push_back(20);
|
||||
list.push_back(150);
|
||||
assert_eq!(3, list.len());
|
||||
assert_eq!(false, list.is_empty());
|
||||
assert_eq!(Some(150), list.pop_back());
|
||||
assert_eq!(Some(20), list.pop_back());
|
||||
assert_eq!(Some(50), list.pop_back());
|
||||
assert_eq!(None, list.pop_back());
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_mixed() {
|
||||
let mut list: LinkedList<u32> = LinkedList::new();
|
||||
assert_eq!(0, list.len());
|
||||
|
||||
list.push_back(50);
|
||||
assert_eq!(1, list.len());
|
||||
|
||||
list.push_front(20);
|
||||
assert_eq!(2, list.len());
|
||||
|
||||
list.push_front(10);
|
||||
assert_eq!(3, list.len());
|
||||
|
||||
list.push_back(150);
|
||||
list.push_back(15);
|
||||
list.push_front(0);
|
||||
assert_eq!(6, list.len());
|
||||
|
||||
assert_eq!(Some(15), list.pop_back());
|
||||
assert_eq!(5, list.len());
|
||||
assert_eq!(Some(0), list.pop_front());
|
||||
assert_eq!(4, list.len());
|
||||
assert_eq!(Some(150), list.pop_back());
|
||||
assert_eq!(3, list.len());
|
||||
assert_eq!(Some(50), list.pop_back());
|
||||
assert_eq!(2, list.len());
|
||||
assert_eq!(Some(10), list.pop_front());
|
||||
assert_eq!(1, list.len());
|
||||
assert_eq!(Some(20), list.pop_front());
|
||||
assert_eq!(0, list.len());
|
||||
|
||||
assert_eq!(None, list.pop_back());
|
||||
assert_eq!(None, list.pop_front());
|
||||
|
||||
// creo lista [50, 20, 10, 30, 40]
|
||||
list.push_back(10);
|
||||
list.push_front(20);
|
||||
list.push_back(30);
|
||||
list.push_back(40);
|
||||
list.push_front(50);
|
||||
|
||||
assert_eq!(Some(50), list.pop_front());
|
||||
assert_eq!(Some(20), list.pop_front());
|
||||
assert_eq!(Some(10), list.pop_front());
|
||||
assert_eq!(Some(30), list.pop_front());
|
||||
assert_eq!(Some(40), list.pop_front());
|
||||
assert_eq!(None, list.pop_front());
|
||||
|
||||
list.push_back(10);
|
||||
list.push_front(20);
|
||||
list.push_back(30);
|
||||
list.push_back(40);
|
||||
list.push_front(50);
|
||||
|
||||
assert_eq!(Some(40), list.pop_back());
|
||||
assert_eq!(Some(30), list.pop_back());
|
||||
assert_eq!(Some(10), list.pop_back());
|
||||
assert_eq!(Some(20), list.pop_back());
|
||||
assert_eq!(Some(50), list.pop_back());
|
||||
assert_eq!(None, list.pop_back());
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_get() {
|
||||
let mut list = LinkedList::new();
|
||||
// creo lista [50, 20, 10, 30, 40]
|
||||
list.push_back(10);
|
||||
list.push_front(20);
|
||||
list.push_back(30);
|
||||
list.push_back(40);
|
||||
list.push_front(50);
|
||||
|
||||
assert_eq!(5, list.len());
|
||||
// [50, 20, 10, 30, 40]
|
||||
assert_eq!(Some(10), list.get(2));
|
||||
// [50, 20, 30, 40]
|
||||
assert_eq!(Some(20), list.get(1));
|
||||
// [50, 30, 40]
|
||||
assert_eq!(Some(30), list.get(1));
|
||||
// [30, 40]
|
||||
assert_eq!(Some(40), list.get(1));
|
||||
// [30]
|
||||
assert_eq!(Some(50), list.get(0));
|
||||
// []
|
||||
assert_eq!(None, list.get(0));
|
||||
assert_eq!(None, list.pop_back());
|
||||
assert_eq!(None, list.pop_front());
|
||||
assert_eq!(0, list.len());
|
||||
|
||||
// creo lista [50, 20, 10, 30, 40]
|
||||
list.push_back(10);
|
||||
list.push_front(20);
|
||||
list.push_back(30);
|
||||
list.push_back(40);
|
||||
list.push_front(50);
|
||||
|
||||
assert_eq!(5, list.len());
|
||||
assert_eq!(None, list.get(-6));
|
||||
assert_eq!(Some(50), list.get(-5));
|
||||
assert_eq!(4, list.len());
|
||||
assert_eq!(Some(20), list.get(-4));
|
||||
assert_eq!(3, list.len());
|
||||
assert_eq!(Some(10), list.get(-3));
|
||||
assert_eq!(2, list.len());
|
||||
assert_eq!(Some(30), list.get(-2));
|
||||
assert_eq!(1, list.len());
|
||||
assert_eq!(Some(40), list.get(-1));
|
||||
assert_eq!(None, list.get(-1));
|
||||
assert_eq!(0, list.len());
|
||||
}
|
||||
Reference in New Issue
Block a user