Trait nom::lib::std::iter::SourceIter [−][src]
pub unsafe trait SourceIter { type Source: Iterator; pub unsafe fn as_inner(&mut self) -> &mut Self::Source; }
inplace_iteration
)This trait provides transitive access to source-stage in an interator-adapter pipeline under the conditions that
- the iterator source
S
itself implementsSourceIter<Source = S>
- there is a delegating implementation of this trait for each adapter in the pipeline between the source and the pipeline consumer.
When the source is an owning iterator struct (commonly called IntoIter
) then
this can be useful for specializing FromIterator
implementations or recovering the
remaining elements after an iterator has been partially exhausted.
Note that implementations do not necessarily have to provide access to the inner-most source of a pipeline. A stateful intermediate adapter might eagerly evaluate a part of the pipeline and expose its internal storage as source.
The trait is unsafe because implementers must uphold additional safety properties.
See as_inner
for details.
Examples
Retrieving a partially consumed source:
let mut iter = vec![9, 9, 9].into_iter().map(|i| i * i); let _ = iter.next(); let mut remainder = std::mem::replace(unsafe { iter.as_inner() }, Vec::new().into_iter()); println!("n = {} elements remaining", remainder.len());
Associated Types
type Source: Iterator
[src]
inplace_iteration
)A source stage in an iterator pipeline.
Required methods
pub unsafe fn as_inner(&mut self) -> &mut Self::Source
[src]
inplace_iteration
)Retrieve the source of an iterator pipeline.
Safety
Implementations of must return the same mutable reference for their lifetime, unless replaced by a caller. Callers may only replace the reference when they stopped iteration and drop the iterator pipeline after extracting the source.
This means iterator adapters can rely on the source not changing during iteration but they cannot rely on it in their Drop implementations.
Implementing this method means adapters relinquish private-only access to their source and can only rely on guarantees made based on method receiver types. The lack of restricted access also requires that adapters must uphold the source’s public API even when they have access to its internals.
Callers in turn must expect the source to be in any state that is consistent with its public API since adapters sitting between it and the source have the same access. In particular an adapter may have consumed more elements than strictly necessary.
The overall goal of these requirements is to let the consumer of a pipeline use
- whatever remains in the source after iteration has stopped
- the memory that has become unused by advancing a consuming iterator
Implementors
impl<S, A, B> SourceIter for Zip<A, B> where
A: SourceIter<Source = S>,
B: Iterator,
S: Iterator,
[src]
impl<S, A, B> SourceIter for Zip<A, B> where
A: SourceIter<Source = S>,
B: Iterator,
S: Iterator,
[src]impl<S, B, I, F> SourceIter for FilterMap<I, F> where
F: FnMut(<I as Iterator>::Item) -> Option<B>,
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]
impl<S, B, I, F> SourceIter for FilterMap<I, F> where
F: FnMut(<I as Iterator>::Item) -> Option<B>,
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]impl<S, B, I, F> SourceIter for Map<I, F> where
F: FnMut(<I as Iterator>::Item) -> B,
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]
impl<S, B, I, F> SourceIter for Map<I, F> where
F: FnMut(<I as Iterator>::Item) -> B,
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]impl<S, B, I, P> SourceIter for MapWhile<I, P> where
I: Iterator + SourceIter<Source = S>,
P: FnMut(<I as Iterator>::Item) -> Option<B>,
S: Iterator,
[src]
impl<S, B, I, P> SourceIter for MapWhile<I, P> where
I: Iterator + SourceIter<Source = S>,
P: FnMut(<I as Iterator>::Item) -> Option<B>,
S: Iterator,
[src]impl<S, I> SourceIter for Enumerate<I> where
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]
impl<S, I> SourceIter for Enumerate<I> where
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]impl<S, I> SourceIter for Fuse<I> where
I: FusedIterator + SourceIter<Source = S>,
S: Iterator,
[src]
impl<S, I> SourceIter for Fuse<I> where
I: FusedIterator + SourceIter<Source = S>,
S: Iterator,
[src]impl<S, I> SourceIter for Peekable<I> where
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]
impl<S, I> SourceIter for Peekable<I> where
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]impl<S, I> SourceIter for Skip<I> where
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]
impl<S, I> SourceIter for Skip<I> where
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]impl<S, I> SourceIter for Take<I> where
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]
impl<S, I> SourceIter for Take<I> where
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]impl<S, I, F> SourceIter for Inspect<I, F> where
F: FnMut(&<I as Iterator>::Item),
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]
impl<S, I, F> SourceIter for Inspect<I, F> where
F: FnMut(&<I as Iterator>::Item),
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]impl<S, P, I> SourceIter for Filter<I, P> where
I: Iterator + SourceIter<Source = S>,
P: FnMut(&<I as Iterator>::Item) -> bool,
S: Iterator,
[src]
impl<S, P, I> SourceIter for Filter<I, P> where
I: Iterator + SourceIter<Source = S>,
P: FnMut(&<I as Iterator>::Item) -> bool,
S: Iterator,
[src]impl<S, P, I> SourceIter for SkipWhile<I, P> where
I: Iterator + SourceIter<Source = S>,
P: FnMut(&<I as Iterator>::Item) -> bool,
S: Iterator,
[src]
impl<S, P, I> SourceIter for SkipWhile<I, P> where
I: Iterator + SourceIter<Source = S>,
P: FnMut(&<I as Iterator>::Item) -> bool,
S: Iterator,
[src]impl<S, P, I> SourceIter for TakeWhile<I, P> where
I: Iterator + SourceIter<Source = S>,
P: FnMut(&<I as Iterator>::Item) -> bool,
S: Iterator,
[src]
impl<S, P, I> SourceIter for TakeWhile<I, P> where
I: Iterator + SourceIter<Source = S>,
P: FnMut(&<I as Iterator>::Item) -> bool,
S: Iterator,
[src]impl<St, F, B, S, I> SourceIter for Scan<I, St, F> where
F: FnMut(&mut St, <I as Iterator>::Item) -> Option<B>,
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]
impl<St, F, B, S, I> SourceIter for Scan<I, St, F> where
F: FnMut(&mut St, <I as Iterator>::Item) -> Option<B>,
I: Iterator + SourceIter<Source = S>,
S: Iterator,
[src]impl<T> SourceIter for nom::lib::std::collections::binary_heap::IntoIter<T>
[src]
impl<T> SourceIter for nom::lib::std::collections::binary_heap::IntoIter<T>
[src]impl<T, A> SourceIter for nom::lib::std::vec::IntoIter<T, A> where
A: Allocator,
[src]
impl<T, A> SourceIter for nom::lib::std::vec::IntoIter<T, A> where
A: Allocator,
[src]