Struct heapless::spsc::Queue

pub struct Queue<T, N, U = usize, C = MultiCore>(_)
 where
    N: ArrayLength<T>,
    U: Uxx,
    C: XCore;

A statically allocated single producer single consumer queue with a capacity of N elements

IMPORTANT: To get better performance use a capacity that is a power of 2 (e.g. U16, U32, etc.).

By default spsc::Queue will use usize integers to hold the indices to its head and tail. For small queues usize indices may be overkill. However, spsc::Queue's index type is generic and can be changed to u8 or u16 to reduce its footprint. The easiest to construct a spsc::Queue with a smaller index type is to use the u8 and u16 constructors.

IMPORTANT: spsc::Queue<_, _, u8> has a maximum capacity of 255 elements; spsc::Queue<_, _, u16> has a maximum capacity of 65535 elements.

spsc::Queue also comes in a single core variant. This variant can be created using the following constructors: u8_sc, u16_sc, usize_sc and new_sc. This variant is unsafe to create because the programmer must make sure that the queue's consumer and producer endpoints (if split) are kept on a single core for their entire lifetime.

Methods

impl<T, N, U, C> Queue<T, N, U, C> where
    N: ArrayLength<T>,
    U: Uxx,
    C: XCore, 

pub fn split<'rb>(
    &'rb mut self
) -> (Producer<'rb, T, N, U, C>, Consumer<'rb, T, N, U, C>)

Splits a statically allocated queue into producer and consumer end points

impl<T, N, U, C> Queue<T, N, U, C> where
    N: ArrayLength<T>,
    U: Uxx,
    C: XCore, 

pub fn capacity(&self) -> U

Returns the maximum number of elements the queue can hold

pub fn is_empty(&self) -> bool

Returns true if the queue has a length of 0

Important traits for Iter<'a, T, N, U, C>

impl<'a, T, N, U, C> Iterator for Iter<'a, T, N, U, C> where
    N: ArrayLength<T>,
    U: Uxx,
    C: XCore,  type Item = &'a T;

pub fn iter(&self) -> Iter<T, N, U, C>

Iterates from the front of the queue to the back

Important traits for IterMut<'a, T, N, U, C>

impl<'a, T, N, U, C> Iterator for IterMut<'a, T, N, U, C> where
    N: ArrayLength<T>,
    U: Uxx,
    C: XCore,  type Item = &'a mut T;

pub fn iter_mut(&mut self) -> IterMut<T, N, U, C>

Returns an iterator that allows modifying each value.

impl<T, N> Queue<T, N, usize, MultiCore> where
    N: ArrayLength<T>, 

pub fn new() -> Self

Alias for spsc::Queue::usize

impl<T, N> Queue<T, N, usize, SingleCore> where
    N: ArrayLength<T>, 

pub unsafe fn new_sc() -> Self

Alias for spsc::Queue::usize_sc

impl<T, N> Queue<T, N, u8, MultiCore> where
    N: ArrayLength<T>, 

pub fn u8() -> Self

Creates an empty queue with a fixed capacity of N

impl<T, N> Queue<T, N, u8, SingleCore> where
    N: ArrayLength<T>, 

pub unsafe fn u8_sc() -> Self

Creates an empty queue with a fixed capacity of N (single core variant)

impl<T, N, C> Queue<T, N, u8, C> where
    N: ArrayLength<T>,
    C: XCore, 

pub fn peek(&self) -> Option<&T>

Returns a reference to the item in the front of the queue without dequeuing, or None if the queue is empty.

Examples

use heapless::spsc::Queue;
use heapless::consts::*;

let mut queue: Queue<u8, U235, _> = Queue::u8();
let (mut producer, mut consumer) = queue.split();
assert_eq!(None, consumer.peek());
producer.enqueue(1);
assert_eq!(Some(&1), consumer.peek());
assert_eq!(Some(1), consumer.dequeue());
assert_eq!(None, consumer.peek());

pub fn dequeue(&mut self) -> Option<T>

Returns the item in the front of the queue, or None if the queue is empty

pub fn enqueue(&mut self, item: T) -> Result<(), T>

Adds an item to the end of the queue

Returns back the item if the queue is full

pub unsafe fn enqueue_unchecked(&mut self, item: T)

Adds an item to the end of the queue, without checking if it's full

Unsafety

If the queue is full this operation will leak a value (T's destructor won't run on the value that got overwritten by item), and will allow the dequeue operation to create a copy of item, which could result in T's destructor running on item twice.

pub fn len(&self) -> u8

Returns the number of elements in the queue

impl<T, N> Queue<T, N, u16, MultiCore> where
    N: ArrayLength<T>, 

pub fn u16() -> Self

Creates an empty queue with a fixed capacity of N

impl<T, N> Queue<T, N, u16, SingleCore> where
    N: ArrayLength<T>, 

pub unsafe fn u16_sc() -> Self

Creates an empty queue with a fixed capacity of N (single core variant)

impl<T, N, C> Queue<T, N, u16, C> where
    N: ArrayLength<T>,
    C: XCore, 

pub fn peek(&self) -> Option<&T>

Returns a reference to the item in the front of the queue without dequeuing, or None if the queue is empty.

Examples

use heapless::spsc::Queue;
use heapless::consts::*;

let mut queue: Queue<u8, U235, _> = Queue::u8();
let (mut producer, mut consumer) = queue.split();
assert_eq!(None, consumer.peek());
producer.enqueue(1);
assert_eq!(Some(&1), consumer.peek());
assert_eq!(Some(1), consumer.dequeue());
assert_eq!(None, consumer.peek());

pub fn dequeue(&mut self) -> Option<T>

Returns the item in the front of the queue, or None if the queue is empty

pub fn enqueue(&mut self, item: T) -> Result<(), T>

Adds an item to the end of the queue

Returns back the item if the queue is full

pub unsafe fn enqueue_unchecked(&mut self, item: T)

Adds an item to the end of the queue, without checking if it's full

Unsafety

If the queue is full this operation will leak a value (T's destructor won't run on the value that got overwritten by item), and will allow the dequeue operation to create a copy of item, which could result in T's destructor running on item twice.

pub fn len(&self) -> u16

Returns the number of elements in the queue

impl<T, N> Queue<T, N, usize, MultiCore> where
    N: ArrayLength<T>, 

pub fn usize() -> Self

Creates an empty queue with a fixed capacity of N

impl<T, N> Queue<T, N, usize, SingleCore> where
    N: ArrayLength<T>, 

pub unsafe fn usize_sc() -> Self

Creates an empty queue with a fixed capacity of N (single core variant)

impl<T, N, C> Queue<T, N, usize, C> where
    N: ArrayLength<T>,
    C: XCore, 

pub fn peek(&self) -> Option<&T>

Returns a reference to the item in the front of the queue without dequeuing, or None if the queue is empty.

Examples

use heapless::spsc::Queue;
use heapless::consts::*;

let mut queue: Queue<u8, U235, _> = Queue::u8();
let (mut producer, mut consumer) = queue.split();
assert_eq!(None, consumer.peek());
producer.enqueue(1);
assert_eq!(Some(&1), consumer.peek());
assert_eq!(Some(1), consumer.dequeue());
assert_eq!(None, consumer.peek());

pub fn dequeue(&mut self) -> Option<T>

Returns the item in the front of the queue, or None if the queue is empty

pub fn enqueue(&mut self, item: T) -> Result<(), T>

Adds an item to the end of the queue

Returns back the item if the queue is full

pub unsafe fn enqueue_unchecked(&mut self, item: T)

Adds an item to the end of the queue, without checking if it's full

Unsafety

If the queue is full this operation will leak a value (T's destructor won't run on the value that got overwritten by item), and will allow the dequeue operation to create a copy of item, which could result in T's destructor running on item twice.

pub fn len(&self) -> usize

Returns the number of elements in the queue

Trait Implementations

impl<T, N, C> Clone for Queue<T, N, u8, C> where
    T: Clone,
    N: ArrayLength<T>,
    C: XCore, 

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T, N, C> Clone for Queue<T, N, u16, C> where
    T: Clone,
    N: ArrayLength<T>,
    C: XCore, 

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T, N, C> Clone for Queue<T, N, usize, C> where
    T: Clone,
    N: ArrayLength<T>,
    C: XCore, 

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T, N, U, C> Debug for Queue<T, N, U, C> where
    N: ArrayLength<T>,
    T: Debug,
    U: Uxx,
    C: XCore, 

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<T, N, U, C> Drop for Queue<T, N, U, C> where
    N: ArrayLength<T>,
    U: Uxx,
    C: XCore, 

fn drop(&mut self)

Executes the destructor for this type.

impl<T, N, U, C> Eq for Queue<T, N, U, C> where
    T: Eq,
    N: ArrayLength<T>,
    U: Uxx,
    C: XCore, 

impl<T, N, U, C> Hash for Queue<T, N, U, C> where
    N: ArrayLength<T>,
    T: Hash,
    U: Uxx,
    C: XCore, 

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl<T, N, U, C> Hash for Queue<T, N, U, C> where
    N: ArrayLength<T>,
    T: Hash,
    U: Uxx,
    C: XCore, 

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<'a, T, N, U, C> IntoIterator for &'a Queue<T, N, U, C> where
    N: ArrayLength<T>,
    U: Uxx,
    C: XCore, 

type Item = &'a T

The type of the elements being iterated over.

type IntoIter = Iter<'a, T, N, U, C>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'a, T, N, U, C> IntoIterator for &'a mut Queue<T, N, U, C> where
    N: ArrayLength<T>,
    U: Uxx,
    C: XCore, 

type Item = &'a mut T

The type of the elements being iterated over.

type IntoIter = IterMut<'a, T, N, U, C>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<T, N, U, C, N2, U2, C2> PartialEq<Queue<T, N2, U2, C2>> for Queue<T, N, U, C> where
    T: PartialEq,
    N: ArrayLength<T>,
    U: Uxx,
    C: XCore,
    N2: ArrayLength<T>,
    U2: Uxx,
    C2: XCore, 

fn eq(&self, other: &Queue<T, N2, U2, C2>) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.