Struct std::collections::LinkedList
1.0.0 · source · pub struct LinkedList<T, A = Global>where
A: Allocator,{
head: Option<NonNull<Node<T>>>,
tail: Option<NonNull<Node<T>>>,
len: usize,
alloc: A,
marker: PhantomData<Box<Node<T>, A>>,
}
Expand description
A doubly-linked list with owned nodes.
The LinkedList
allows pushing and popping elements at either end
in constant time.
A LinkedList
with a known list of items can be initialized from an array:
use std::collections::LinkedList;
let list = LinkedList::from([1, 2, 3]);
RunNOTE: It is almost always better to use Vec
or VecDeque
because
array-based containers are generally faster,
more memory efficient, and make better use of CPU cache.
Fields§
§head: Option<NonNull<Node<T>>>
§tail: Option<NonNull<Node<T>>>
§len: usize
§alloc: A
§marker: PhantomData<Box<Node<T>, A>>
Implementations§
impl<T, A> LinkedList<T, A>where A: Allocator,
source§impl<T> LinkedList<T, Global>
impl<T> LinkedList<T, Global>
const: 1.39.0 · sourcepub const fn new() -> LinkedList<T, Global>
pub const fn new() -> LinkedList<T, Global>
sourcepub fn append(&mut self, other: &mut LinkedList<T, Global>)
pub fn append(&mut self, other: &mut LinkedList<T, Global>)
Moves all elements from other
to the end of the list.
This reuses all the nodes from other
and moves them into self
. After
this operation, other
becomes empty.
This operation should compute in O(1) time and O(1) memory.
Examples
use std::collections::LinkedList;
let mut list1 = LinkedList::new();
list1.push_back('a');
let mut list2 = LinkedList::new();
list2.push_back('b');
list2.push_back('c');
list1.append(&mut list2);
let mut iter = list1.iter();
assert_eq!(iter.next(), Some(&'a'));
assert_eq!(iter.next(), Some(&'b'));
assert_eq!(iter.next(), Some(&'c'));
assert!(iter.next().is_none());
assert!(list2.is_empty());
Runsource§impl<T, A> LinkedList<T, A>where
A: Allocator,
impl<T, A> LinkedList<T, A>where A: Allocator,
sourcepub const fn new_in(alloc: A) -> LinkedList<T, A>
🔬This is a nightly-only experimental API. (allocator_api
#32838)
pub const fn new_in(alloc: A) -> LinkedList<T, A>
allocator_api
#32838)sourcepub fn iter(&self) -> Iter<'_, T> ⓘ
pub fn iter(&self) -> Iter<'_, T> ⓘ
Provides a forward iterator.
Examples
use std::collections::LinkedList;
let mut list: LinkedList<u32> = LinkedList::new();
list.push_back(0);
list.push_back(1);
list.push_back(2);
let mut iter = list.iter();
assert_eq!(iter.next(), Some(&0));
assert_eq!(iter.next(), Some(&1));
assert_eq!(iter.next(), Some(&2));
assert_eq!(iter.next(), None);
Runsourcepub fn iter_mut(&mut self) -> IterMut<'_, T> ⓘ
pub fn iter_mut(&mut self) -> IterMut<'_, T> ⓘ
Provides a forward iterator with mutable references.
Examples
use std::collections::LinkedList;
let mut list: LinkedList<u32> = LinkedList::new();
list.push_back(0);
list.push_back(1);
list.push_back(2);
for element in list.iter_mut() {
*element += 10;
}
let mut iter = list.iter();
assert_eq!(iter.next(), Some(&10));
assert_eq!(iter.next(), Some(&11));
assert_eq!(iter.next(), Some(&12));
assert_eq!(iter.next(), None);
Runsourcepub fn cursor_front(&self) -> Cursor<'_, T, A>
🔬This is a nightly-only experimental API. (linked_list_cursors
#58533)
pub fn cursor_front(&self) -> Cursor<'_, T, A>
linked_list_cursors
#58533)Provides a cursor at the front element.
The cursor is pointing to the “ghost” non-element if the list is empty.
sourcepub fn cursor_front_mut(&mut self) -> CursorMut<'_, T, A>
🔬This is a nightly-only experimental API. (linked_list_cursors
#58533)
pub fn cursor_front_mut(&mut self) -> CursorMut<'_, T, A>
linked_list_cursors
#58533)Provides a cursor with editing operations at the front element.
The cursor is pointing to the “ghost” non-element if the list is empty.
sourcepub fn cursor_back(&self) -> Cursor<'_, T, A>
🔬This is a nightly-only experimental API. (linked_list_cursors
#58533)
pub fn cursor_back(&self) -> Cursor<'_, T, A>
linked_list_cursors
#58533)Provides a cursor at the back element.
The cursor is pointing to the “ghost” non-element if the list is empty.
sourcepub fn cursor_back_mut(&mut self) -> CursorMut<'_, T, A>
🔬This is a nightly-only experimental API. (linked_list_cursors
#58533)
pub fn cursor_back_mut(&mut self) -> CursorMut<'_, T, A>
linked_list_cursors
#58533)Provides a cursor with editing operations at the back element.
The cursor is pointing to the “ghost” non-element if the list is empty.
sourcepub fn clear(&mut self)
pub fn clear(&mut self)
Removes all elements from the LinkedList
.
This operation should compute in O(n) time.
Examples
use std::collections::LinkedList;
let mut dl = LinkedList::new();
dl.push_front(2);
dl.push_front(1);
assert_eq!(dl.len(), 2);
assert_eq!(dl.front(), Some(&1));
dl.clear();
assert_eq!(dl.len(), 0);
assert_eq!(dl.front(), None);
Run1.12.0 · sourcepub fn contains(&self, x: &T) -> boolwhere
T: PartialEq<T>,
pub fn contains(&self, x: &T) -> boolwhere T: PartialEq<T>,
Returns true
if the LinkedList
contains an element equal to the
given value.
This operation should compute linearly in O(n) time.
Examples
use std::collections::LinkedList;
let mut list: LinkedList<u32> = LinkedList::new();
list.push_back(0);
list.push_back(1);
list.push_back(2);
assert_eq!(list.contains(&0), true);
assert_eq!(list.contains(&10), false);
Runsourcepub fn front_mut(&mut self) -> Option<&mut T>
pub fn front_mut(&mut self) -> Option<&mut T>
Provides a mutable reference to the front element, or None
if the list
is empty.
This operation should compute in O(1) time.
Examples
use std::collections::LinkedList;
let mut dl = LinkedList::new();
assert_eq!(dl.front(), None);
dl.push_front(1);
assert_eq!(dl.front(), Some(&1));
match dl.front_mut() {
None => {},
Some(x) => *x = 5,
}
assert_eq!(dl.front(), Some(&5));
Runsourcepub fn back_mut(&mut self) -> Option<&mut T>
pub fn back_mut(&mut self) -> Option<&mut T>
Provides a mutable reference to the back element, or None
if the list
is empty.
This operation should compute in O(1) time.
Examples
use std::collections::LinkedList;
let mut dl = LinkedList::new();
assert_eq!(dl.back(), None);
dl.push_back(1);
assert_eq!(dl.back(), Some(&1));
match dl.back_mut() {
None => {},
Some(x) => *x = 5,
}
assert_eq!(dl.back(), Some(&5));
Runsourcepub fn push_front(&mut self, elt: T)
pub fn push_front(&mut self, elt: T)
sourcepub fn pop_front(&mut self) -> Option<T>
pub fn pop_front(&mut self) -> Option<T>
Removes the first element and returns it, or None
if the list is
empty.
This operation should compute in O(1) time.
Examples
use std::collections::LinkedList;
let mut d = LinkedList::new();
assert_eq!(d.pop_front(), None);
d.push_front(1);
d.push_front(3);
assert_eq!(d.pop_front(), Some(3));
assert_eq!(d.pop_front(), Some(1));
assert_eq!(d.pop_front(), None);
Runsourcepub fn split_off(&mut self, at: usize) -> LinkedList<T, A>where
A: Clone,
pub fn split_off(&mut self, at: usize) -> LinkedList<T, A>where A: Clone,
Splits the list into two at the given index. Returns everything after the given index, including the index.
This operation should compute in O(n) time.
Panics
Panics if at > len
.
Examples
use std::collections::LinkedList;
let mut d = LinkedList::new();
d.push_front(1);
d.push_front(2);
d.push_front(3);
let mut split = d.split_off(2);
assert_eq!(split.pop_front(), Some(1));
assert_eq!(split.pop_front(), None);
Runsourcepub fn remove(&mut self, at: usize) -> T
🔬This is a nightly-only experimental API. (linked_list_remove
#69210)
pub fn remove(&mut self, at: usize) -> T
linked_list_remove
#69210)Removes the element at the given index and returns it.
This operation should compute in O(n) time.
Panics
Panics if at >= len
Examples
#![feature(linked_list_remove)]
use std::collections::LinkedList;
let mut d = LinkedList::new();
d.push_front(1);
d.push_front(2);
d.push_front(3);
assert_eq!(d.remove(1), 2);
assert_eq!(d.remove(0), 3);
assert_eq!(d.remove(0), 1);
Runsourcepub fn extract_if<F>(&mut self, filter: F) -> ExtractIf<'_, T, F, A> ⓘwhere
F: FnMut(&mut T) -> bool,
🔬This is a nightly-only experimental API. (extract_if
#43244)
pub fn extract_if<F>(&mut self, filter: F) -> ExtractIf<'_, T, F, A> ⓘwhere F: FnMut(&mut T) -> bool,
extract_if
#43244)Creates an iterator which uses a closure to determine if an element should be removed.
If the closure returns true, then the element is removed and yielded. If the closure returns false, the element will remain in the list and will not be yielded by the iterator.
If the returned ExtractIf
is not exhausted, e.g. because it is dropped without iterating
or the iteration short-circuits, then the remaining elements will be retained.
Use extract_if().for_each(drop)
if you do not need the returned iterator.
Note that extract_if
lets you mutate every element in the filter closure, regardless of
whether you choose to keep or remove it.
Examples
Splitting a list into evens and odds, reusing the original list:
#![feature(extract_if)]
use std::collections::LinkedList;
let mut numbers: LinkedList<u32> = LinkedList::new();
numbers.extend(&[1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 15]);
let evens = numbers.extract_if(|x| *x % 2 == 0).collect::<LinkedList<_>>();
let odds = numbers;
assert_eq!(evens.into_iter().collect::<Vec<_>>(), vec![2, 4, 6, 8, 14]);
assert_eq!(odds.into_iter().collect::<Vec<_>>(), vec![1, 3, 5, 9, 11, 13, 15]);
RunTrait Implementations§
source§impl<T, A> Clone for LinkedList<T, A>where
T: Clone,
A: Allocator + Clone,
impl<T, A> Clone for LinkedList<T, A>where T: Clone, A: Allocator + Clone,
source§fn clone(&self) -> LinkedList<T, A>
fn clone(&self) -> LinkedList<T, A>
source§fn clone_from(&mut self, other: &LinkedList<T, A>)
fn clone_from(&mut self, other: &LinkedList<T, A>)
source
. Read moresource§impl<T> Default for LinkedList<T, Global>
impl<T> Default for LinkedList<T, Global>
source§fn default() -> LinkedList<T, Global>
fn default() -> LinkedList<T, Global>
Creates an empty LinkedList<T>
.
source§impl<T, A> Drop for LinkedList<T, A>where
A: Allocator,
impl<T, A> Drop for LinkedList<T, A>where A: Allocator,
source§impl<T, A> Eq for LinkedList<T, A>where
T: Eq,
A: Allocator,
impl<T, A> Eq for LinkedList<T, A>where T: Eq, A: Allocator,
fn assert_receiver_is_total_eq(&self)
1.2.0 · source§impl<'a, T, A> Extend<&'a T> for LinkedList<T, A>where
T: 'a + Copy,
A: Allocator,
impl<'a, T, A> Extend<&'a T> for LinkedList<T, A>where T: 'a + Copy, A: Allocator,
source§impl<T, A> Extend<T> for LinkedList<T, A>where
A: Allocator,
impl<T, A> Extend<T> for LinkedList<T, A>where A: Allocator,
source§fn extend<I>(&mut self, iter: I)where
I: IntoIterator<Item = T>,
fn extend<I>(&mut self, iter: I)where I: IntoIterator<Item = T>,
source§fn extend_one(&mut self, elem: T)
fn extend_one(&mut self, elem: T)
extend_one
#72631)source§impl<T> FromIterator<T> for LinkedList<T, Global>
impl<T> FromIterator<T> for LinkedList<T, Global>
source§fn from_iter<I>(iter: I) -> LinkedList<T, Global>where
I: IntoIterator<Item = T>,
fn from_iter<I>(iter: I) -> LinkedList<T, Global>where I: IntoIterator<Item = T>,
source§impl<'a, T, A> IntoIterator for &'a LinkedList<T, A>where
A: Allocator,
impl<'a, T, A> IntoIterator for &'a LinkedList<T, A>where A: Allocator,
source§impl<'a, T, A> IntoIterator for &'a mut LinkedList<T, A>where
A: Allocator,
impl<'a, T, A> IntoIterator for &'a mut LinkedList<T, A>where A: Allocator,
source§impl<T, A> IntoIterator for LinkedList<T, A>where
A: Allocator,
impl<T, A> IntoIterator for LinkedList<T, A>where A: Allocator,
source§impl<T, A> Ord for LinkedList<T, A>where
T: Ord,
A: Allocator,
impl<T, A> Ord for LinkedList<T, A>where T: Ord, A: Allocator,
source§fn cmp(&self, other: &LinkedList<T, A>) -> Ordering
fn cmp(&self, other: &LinkedList<T, A>) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere Self: Sized,
source§impl<T, A> PartialEq<LinkedList<T, A>> for LinkedList<T, A>where
T: PartialEq<T>,
A: Allocator,
impl<T, A> PartialEq<LinkedList<T, A>> for LinkedList<T, A>where T: PartialEq<T>, A: Allocator,
source§fn eq(&self, other: &LinkedList<T, A>) -> bool
fn eq(&self, other: &LinkedList<T, A>) -> bool
self
and other
values to be equal, and is used
by ==
.source§fn ne(&self, other: &LinkedList<T, A>) -> bool
fn ne(&self, other: &LinkedList<T, A>) -> bool
!=
. The default implementation is almost always
sufficient, and should not be overridden without very good reason.