pub trait Stream {
type Item;
fn poll_next(
self: Pin<&mut Self>,
cx: &mut Context<'_>
) -> Poll<Option<Self::Item>>;
fn size_hint(&self) -> (usize, Option<usize>) { ... }
}
Expand description
A stream of values produced asynchronously.
If Future<Output = T>
is an asynchronous version of T
, then Stream<Item = T>
is an asynchronous version of Iterator<Item = T>
. A stream
represents a sequence of value-producing events that occur asynchronously to
the caller.
The trait is modeled after Future
, but allows poll_next
to be called
even after a value has been produced, yielding None
once the stream has
been fully exhausted.
Associated Types
Required methods
Attempt to pull out the next value of this stream, registering the
current task for wakeup if the value is not yet available, and returning
None
if the stream is exhausted.
Return value
There are several possible return values, each indicating a distinct stream state:
-
Poll::Pending
means that this stream’s next value is not ready yet. Implementations will ensure that the current task will be notified when the next value may be ready. -
Poll::Ready(Some(val))
means that the stream has successfully produced a value,val
, and may produce further values on subsequentpoll_next
calls. -
Poll::Ready(None)
means that the stream has terminated, andpoll_next
should not be invoked again.
Panics
Once a stream has finished (returned Ready(None)
from poll_next
), calling its
poll_next
method again may panic, block forever, or cause other kinds of
problems; the Stream
trait places no requirements on the effects of
such a call. However, as the poll_next
method is not marked unsafe
,
Rust’s usual rules apply: calls must never cause undefined behavior
(memory corruption, incorrect use of unsafe
functions, or the like),
regardless of the stream’s state.
If this is difficult to guard against then the fuse
adapter can be used
to ensure that poll_next
always returns Ready(None)
in subsequent
calls.
Provided methods
Returns the bounds on the remaining length of the stream.
Specifically, size_hint()
returns a tuple where the first element
is the lower bound, and the second element is the upper bound.
The second half of the tuple that is returned is an Option
<
usize
>
.
A None
here means that either there is no known upper bound, or the
upper bound is larger than usize
.
Implementation notes
It is not enforced that a stream implementation yields the declared number of elements. A buggy stream may yield less than the lower bound or more than the upper bound of elements.
size_hint()
is primarily intended to be used for optimizations such as
reserving space for the elements of the stream, but must not be
trusted to e.g., omit bounds checks in unsafe code. An incorrect
implementation of size_hint()
should not lead to memory safety
violations.
That said, the implementation should provide a correct estimation, because otherwise it would be a violation of the trait’s protocol.
The default implementation returns (0,
None
)
which is correct for any
stream.
Implementations on Foreign Types
sourceimpl<S> Stream for AssertUnwindSafe<S> where
S: Stream,
impl<S> Stream for AssertUnwindSafe<S> where
S: Stream,
Implementors
sourceimpl<A, F> Stream for RepeatWith<F> where
F: FnMut() -> A,
impl<A, F> Stream for RepeatWith<F> where
F: FnMut() -> A,
type Item = A
sourceimpl<B, St, S, Fut, F> Stream for Scan<St, S, Fut, F> where
St: Stream,
F: FnMut(&mut S, <St as Stream>::Item) -> Fut,
Fut: Future<Output = Option<B>>,
impl<B, St, S, Fut, F> Stream for Scan<St, S, Fut, F> where
St: Stream,
F: FnMut(&mut S, <St as Stream>::Item) -> Fut,
Fut: Future<Output = Option<B>>,
type Item = B
sourceimpl<F> Stream for FlattenStream<F> where
F: Future,
Flatten<F, <F as Future>::Output>: Stream,
impl<F> Stream for FlattenStream<F> where
F: Future,
Flatten<F, <F as Future>::Output>: Stream,
sourceimpl<F> Stream for futures::future::IntoStream<F> where
Once<F>: Stream,
impl<F> Stream for futures::future::IntoStream<F> where
Once<F>: Stream,
sourceimpl<Fut> Stream for TryFlattenStream<Fut> where
Fut: TryFuture,
TryFlatten<Fut, <Fut as TryFuture>::Ok>: Stream,
impl<Fut> Stream for TryFlattenStream<Fut> where
Fut: TryFuture,
TryFlatten<Fut, <Fut as TryFuture>::Ok>: Stream,
sourceimpl<Fut> Stream for FuturesOrdered<Fut> where
Fut: Future,
impl<Fut> Stream for FuturesOrdered<Fut> where
Fut: Future,
sourceimpl<Fut> Stream for FuturesUnordered<Fut> where
Fut: Future,
impl<Fut> Stream for FuturesUnordered<Fut> where
Fut: Future,
sourceimpl<Fut, Si> Stream for FlattenSink<Fut, Si> where
TryFlatten<Fut, Si>: Stream,
impl<Fut, Si> Stream for FlattenSink<Fut, Si> where
TryFlatten<Fut, Si>: Stream,
sourceimpl<S, Item, E> Stream for SinkErrInto<S, Item, E> where
S: Sink<Item> + Stream,
<S as Sink<Item>>::Error: Into<E>,
impl<S, Item, E> Stream for SinkErrInto<S, Item, E> where
S: Sink<Item> + Stream,
<S as Sink<Item>>::Error: Into<E>,
sourceimpl<S, Item, U, Fut, F> Stream for With<S, Item, U, Fut, F> where
S: Stream + Sink<Item>,
F: FnMut(U) -> Fut,
Fut: Future,
impl<S, Item, U, Fut, F> Stream for With<S, Item, U, Fut, F> where
S: Stream + Sink<Item>,
F: FnMut(U) -> Fut,
Fut: Future,
sourceimpl<S, Item, U, St, F> Stream for WithFlatMap<S, Item, U, St, F> where
S: Stream + Sink<Item>,
F: FnMut(U) -> St,
St: Stream<Item = Result<Item, <S as Sink<Item>>::Error>>,
impl<S, Item, U, St, F> Stream for WithFlatMap<S, Item, U, St, F> where
S: Stream + Sink<Item>,
F: FnMut(U) -> St,
St: Stream<Item = Result<Item, <S as Sink<Item>>::Error>>,
sourceimpl<St1, St2> Stream for Chain<St1, St2> where
St1: Stream,
St2: Stream<Item = <St1 as Stream>::Item>,
impl<St1, St2> Stream for Chain<St1, St2> where
St1: Stream,
St2: Stream<Item = <St1 as Stream>::Item>,
sourceimpl<St1, St2> Stream for Select<St1, St2> where
St1: Stream,
St2: Stream<Item = <St1 as Stream>::Item>,
impl<St1, St2> Stream for Select<St1, St2> where
St1: Stream,
St2: Stream<Item = <St1 as Stream>::Item>,
sourceimpl<St1, St2, Clos, State> Stream for SelectWithStrategy<St1, St2, Clos, State> where
St1: Stream,
St2: Stream<Item = <St1 as Stream>::Item>,
Clos: FnMut(&mut State) -> PollNext,
impl<St1, St2, Clos, State> Stream for SelectWithStrategy<St1, St2, Clos, State> where
St1: Stream,
St2: Stream<Item = <St1 as Stream>::Item>,
Clos: FnMut(&mut State) -> PollNext,
sourceimpl<St> Stream for CatchUnwind<St> where
St: Stream + UnwindSafe,
impl<St> Stream for CatchUnwind<St> where
St: Stream + UnwindSafe,
sourceimpl<St> Stream for futures::stream::IntoStream<St> where
St: TryStream,
impl<St> Stream for futures::stream::IntoStream<St> where
St: TryStream,
sourceimpl<St> Stream for ReadyChunks<St> where
St: Stream,
impl<St> Stream for ReadyChunks<St> where
St: Stream,
sourceimpl<St> Stream for TryBufferUnordered<St> where
St: TryStream,
<St as TryStream>::Ok: TryFuture,
<<St as TryStream>::Ok as TryFuture>::Error == <St as TryStream>::Error,
impl<St> Stream for TryBufferUnordered<St> where
St: TryStream,
<St as TryStream>::Ok: TryFuture,
<<St as TryStream>::Ok as TryFuture>::Error == <St as TryStream>::Error,
sourceimpl<St> Stream for TryBuffered<St> where
St: TryStream,
<St as TryStream>::Ok: TryFuture,
<<St as TryStream>::Ok as TryFuture>::Error == <St as TryStream>::Error,
impl<St> Stream for TryBuffered<St> where
St: TryStream,
<St as TryStream>::Ok: TryFuture,
<<St as TryStream>::Ok as TryFuture>::Error == <St as TryStream>::Error,
sourceimpl<St> Stream for TryFlatten<St> where
St: TryStream,
<St as TryStream>::Ok: TryStream,
<<St as TryStream>::Ok as TryStream>::Error: From<<St as TryStream>::Error>,
impl<St> Stream for TryFlatten<St> where
St: TryStream,
<St as TryStream>::Ok: TryStream,
<<St as TryStream>::Ok as TryStream>::Error: From<<St as TryStream>::Error>,
sourceimpl<St, F> Stream for InspectErr<St, F> where
Inspect<IntoStream<St>, InspectErrFn<F>>: Stream,
impl<St, F> Stream for InspectErr<St, F> where
Inspect<IntoStream<St>, InspectErrFn<F>>: Stream,
type Item = <Inspect<IntoStream<St>, InspectErrFn<F>> as Stream>::Item
sourceimpl<St, F> Stream for InspectOk<St, F> where
Inspect<IntoStream<St>, InspectOkFn<F>>: Stream,
impl<St, F> Stream for InspectOk<St, F> where
Inspect<IntoStream<St>, InspectOkFn<F>>: Stream,
type Item = <Inspect<IntoStream<St>, InspectOkFn<F>> as Stream>::Item
sourceimpl<St, F> Stream for MapErr<St, F> where
Map<IntoStream<St>, MapErrFn<F>>: Stream,
impl<St, F> Stream for MapErr<St, F> where
Map<IntoStream<St>, MapErrFn<F>>: Stream,
type Item = <Map<IntoStream<St>, MapErrFn<F>> as Stream>::Item
sourceimpl<St, F> Stream for MapOk<St, F> where
Map<IntoStream<St>, MapOkFn<F>>: Stream,
impl<St, F> Stream for MapOk<St, F> where
Map<IntoStream<St>, MapOkFn<F>>: Stream,
type Item = <Map<IntoStream<St>, MapOkFn<F>> as Stream>::Item
sourceimpl<St, Fut, F> Stream for AndThen<St, Fut, F> where
St: TryStream,
F: FnMut(<St as TryStream>::Ok) -> Fut,
Fut: TryFuture<Error = <St as TryStream>::Error>,
impl<St, Fut, F> Stream for AndThen<St, Fut, F> where
St: TryStream,
F: FnMut(<St as TryStream>::Ok) -> Fut,
Fut: TryFuture<Error = <St as TryStream>::Error>,
sourceimpl<St, Fut, F> Stream for Filter<St, Fut, F> where
St: Stream,
F: for<'a> FnMut1<&'a <St as Stream>::Item, Output = Fut>,
Fut: Future<Output = bool>,
impl<St, Fut, F> Stream for Filter<St, Fut, F> where
St: Stream,
F: for<'a> FnMut1<&'a <St as Stream>::Item, Output = Fut>,
Fut: Future<Output = bool>,
sourceimpl<St, Fut, F> Stream for OrElse<St, Fut, F> where
St: TryStream,
F: FnMut(<St as TryStream>::Error) -> Fut,
Fut: TryFuture<Ok = <St as TryStream>::Ok>,
impl<St, Fut, F> Stream for OrElse<St, Fut, F> where
St: TryStream,
F: FnMut(<St as TryStream>::Error) -> Fut,
Fut: TryFuture<Ok = <St as TryStream>::Ok>,
sourceimpl<St, Fut, F> Stream for SkipWhile<St, Fut, F> where
St: Stream,
F: FnMut(&<St as Stream>::Item) -> Fut,
Fut: Future<Output = bool>,
impl<St, Fut, F> Stream for SkipWhile<St, Fut, F> where
St: Stream,
F: FnMut(&<St as Stream>::Item) -> Fut,
Fut: Future<Output = bool>,
sourceimpl<St, Fut, F> Stream for TakeWhile<St, Fut, F> where
St: Stream,
F: FnMut(&<St as Stream>::Item) -> Fut,
Fut: Future<Output = bool>,
impl<St, Fut, F> Stream for TakeWhile<St, Fut, F> where
St: Stream,
F: FnMut(&<St as Stream>::Item) -> Fut,
Fut: Future<Output = bool>,
sourceimpl<St, Fut, F> Stream for Then<St, Fut, F> where
St: Stream,
F: FnMut(<St as Stream>::Item) -> Fut,
Fut: Future,
impl<St, Fut, F> Stream for Then<St, Fut, F> where
St: Stream,
F: FnMut(<St as Stream>::Item) -> Fut,
Fut: Future,
sourceimpl<St, Fut, F> Stream for TryFilter<St, Fut, F> where
St: TryStream,
Fut: Future<Output = bool>,
F: FnMut(&<St as TryStream>::Ok) -> Fut,
impl<St, Fut, F> Stream for TryFilter<St, Fut, F> where
St: TryStream,
Fut: Future<Output = bool>,
F: FnMut(&<St as TryStream>::Ok) -> Fut,
sourceimpl<St, Fut, F> Stream for TrySkipWhile<St, Fut, F> where
St: TryStream,
F: FnMut(&<St as TryStream>::Ok) -> Fut,
Fut: TryFuture<Ok = bool, Error = <St as TryStream>::Error>,
impl<St, Fut, F> Stream for TrySkipWhile<St, Fut, F> where
St: TryStream,
F: FnMut(&<St as TryStream>::Ok) -> Fut,
Fut: TryFuture<Ok = bool, Error = <St as TryStream>::Error>,
sourceimpl<St, Fut, F> Stream for TryTakeWhile<St, Fut, F> where
St: TryStream,
F: FnMut(&<St as TryStream>::Ok) -> Fut,
Fut: TryFuture<Ok = bool, Error = <St as TryStream>::Error>,
impl<St, Fut, F> Stream for TryTakeWhile<St, Fut, F> where
St: TryStream,
F: FnMut(&<St as TryStream>::Ok) -> Fut,
Fut: TryFuture<Ok = bool, Error = <St as TryStream>::Error>,
sourceimpl<St, Fut, F, T> Stream for FilterMap<St, Fut, F> where
St: Stream,
F: FnMut1<<St as Stream>::Item, Output = Fut>,
Fut: Future<Output = Option<T>>,
impl<St, Fut, F, T> Stream for FilterMap<St, Fut, F> where
St: Stream,
F: FnMut1<<St as Stream>::Item, Output = Fut>,
Fut: Future<Output = Option<T>>,
type Item = T
sourceimpl<St, Fut, F, T> Stream for TryFilterMap<St, Fut, F> where
St: TryStream,
Fut: TryFuture<Ok = Option<T>, Error = <St as TryStream>::Error>,
F: FnMut(<St as TryStream>::Ok) -> Fut,
impl<St, Fut, F, T> Stream for TryFilterMap<St, Fut, F> where
St: TryStream,
Fut: TryFuture<Ok = Option<T>, Error = <St as TryStream>::Error>,
F: FnMut(<St as TryStream>::Ok) -> Fut,
sourceimpl<T> Stream for UnboundedReceiver<T>
impl<T> Stream for UnboundedReceiver<T>
type Item = T
sourceimpl<T, F> Stream for futures::future::PollImmediate<F> where
F: Future<Output = T>,
impl<T, F> Stream for futures::future::PollImmediate<F> where
F: Future<Output = T>,
A Stream implementation that can be polled repeatedly until the future is done. The stream will never return Poll::Pending so polling it in a tight loop is worse than using a blocking synchronous function.
use futures::task::Poll;
use futures::{StreamExt, future, pin_mut};
use future::FusedFuture;
let f = async { 1_u32 };
pin_mut!(f);
let mut r = future::poll_immediate(f);
assert_eq!(r.next().await, Some(Poll::Ready(1)));
let f = async {futures::pending!(); 42_u8};
pin_mut!(f);
let mut p = future::poll_immediate(f);
assert_eq!(p.next().await, Some(Poll::Pending));
assert!(!p.is_terminated());
assert_eq!(p.next().await, Some(Poll::Ready(42)));
assert!(p.is_terminated());
assert_eq!(p.next().await, None);