Trait core::ops::Index

1.0.0 · source ·
pub trait Index<Idx: ?Sized> {
    type Output: ?Sized;

    // Required method
    fn index(&self, index: Idx) -> &Self::Output;
}
Expand description

Used for indexing operations (container[index]) in immutable contexts.

container[index] is actually syntactic sugar for *container.index(index), but only when used as an immutable value. If a mutable value is requested, IndexMut is used instead. This allows nice things such as let value = v[index] if the type of value implements Copy.

§Examples

The following example implements Index on a read-only NucleotideCount container, enabling individual counts to be retrieved with index syntax.

use std::ops::Index;

enum Nucleotide {
    A,
    C,
    G,
    T,
}

struct NucleotideCount {
    a: usize,
    c: usize,
    g: usize,
    t: usize,
}

impl Index<Nucleotide> for NucleotideCount {
    type Output = usize;

    fn index(&self, nucleotide: Nucleotide) -> &Self::Output {
        match nucleotide {
            Nucleotide::A => &self.a,
            Nucleotide::C => &self.c,
            Nucleotide::G => &self.g,
            Nucleotide::T => &self.t,
        }
    }
}

let nucleotide_count = NucleotideCount {a: 14, c: 9, g: 10, t: 12};
assert_eq!(nucleotide_count[Nucleotide::A], 14);
assert_eq!(nucleotide_count[Nucleotide::C], 9);
assert_eq!(nucleotide_count[Nucleotide::G], 10);
assert_eq!(nucleotide_count[Nucleotide::T], 12);

Required Associated Types§

1.0.0 · source

type Output: ?Sized

The returned type after indexing.

Required Methods§

1.0.0 · source

fn index(&self, index: Idx) -> &Self::Output

Performs the indexing (container[index]) operation.

§Panics

May panic if the index is out of bounds.

Implementors§

1.47.0 · source§

impl Index<RangeFrom<usize>> for CStr

1.0.0 · source§

impl<I> Index<I> for str
where I: SliceIndex<str>,

source§

impl<I, T, const N: usize> Index<I> for Simd<T, N>

1.0.0 · source§

impl<T, I> Index<I> for [T]
where I: SliceIndex<[T]>,

1.50.0 · source§

impl<T, I, const N: usize> Index<I> for [T; N]
where [T]: Index<I>,

source§

type Output = <[T] as Index<I>>::Output