pub trait Future {
type Output;
// Required method
fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output>;
}Expand description
A future represents an asynchronous computation, commonly obtained by use of
async.
A future is a value that might not have finished computing yet. This kind of “asynchronous value” makes it possible for a thread to continue doing useful work while it waits for the value to become available.
§The poll method
The core method of future, poll, attempts to resolve the future into a
final value. This method does not block if the value is not ready. Instead,
the current task is scheduled to be woken up when it’s possible to make
further progress by polling again. The context passed to the poll
method can provide a Waker, which is a handle for waking up the current
task.
When using a future, you generally won’t call poll directly, but instead
.await the value.
Required Associated Types§
Required Methods§
1.36.0 · Sourcefn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output>
fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output>
Attempts to resolve the future to a final value, registering the current task for wakeup if the value is not yet available.
§Return value
This function returns:
Poll::Pendingif the future is not ready yetPoll::Ready(val)with the resultvalof this future if it finished successfully.
Once a future has finished, clients should not poll it again.
When a future is not ready yet, poll returns Poll::Pending and
stores a clone of the Waker copied from the current Context.
This Waker is then woken once the future can make progress.
For example, a future waiting for a socket to become
readable would call .clone() on the Waker and store it.
When a signal arrives elsewhere indicating that the socket is readable,
Waker::wake is called and the socket future’s task is awoken.
Once a task has been woken up, it should attempt to poll the future
again, which may or may not produce a final value.
Note that on multiple calls to poll, only the Waker from the
Context passed to the most recent call should be scheduled to
receive a wakeup.
§Runtime characteristics
Futures alone are inert; they must be actively polled for the
underlying computation to make progress, meaning that each time the
current task is woken up, it should actively re-poll pending futures
that it still has an interest in.
Having said that, some Futures may represent a value that is being computed in a different task. In this case, the future’s underlying computation is simply acting as a conduit for a value being computed by that other task, which will proceed independently of the Future. Futures of this kind are typically obtained when spawning a new task into an async runtime.
The poll function should not be called repeatedly in a tight loop –
instead, it should only be called when the future indicates that it is
ready to make progress (by calling wake()). If you’re familiar with the
poll(2) or select(2) syscalls on Unix it’s worth noting that futures
typically do not suffer the same problems of “all wakeups must poll
all events”; they are more like epoll(4).
An implementation of poll should strive to return quickly, and should
not block. Returning quickly prevents unnecessarily clogging up
threads or event loops. If it is known ahead of time that a call to
poll may end up taking a while, the work should be offloaded to a
thread pool (or something similar) to ensure that poll can return
quickly.
§Panics
Once a future has completed (returned Ready from poll), calling its
poll method again may panic, block forever, or cause other kinds of
problems; the Future trait places no requirements on the effects of
such a call. However, as the poll 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 future’s state.
Trait Implementations§
§impl<'a, T> UnsafeFutureObj<'a, T> for &'a mut (dyn Future<Output = T> + Unpin)
impl<'a, T> UnsafeFutureObj<'a, T> for &'a mut (dyn Future<Output = T> + Unpin)
§impl<'a, T> UnsafeFutureObj<'a, T> for Box<dyn Future<Output = T> + 'a>where
T: 'a,
impl<'a, T> UnsafeFutureObj<'a, T> for Box<dyn Future<Output = T> + 'a>where
T: 'a,
§impl<'a, T> UnsafeFutureObj<'a, T> for Box<dyn Future<Output = T> + Send + 'a>where
T: 'a,
impl<'a, T> UnsafeFutureObj<'a, T> for Box<dyn Future<Output = T> + Send + 'a>where
T: 'a,
§impl<'a, T> UnsafeFutureObj<'a, T> for Pin<&'a mut dyn Future<Output = T>>
impl<'a, T> UnsafeFutureObj<'a, T> for Pin<&'a mut dyn Future<Output = T>>
Implementors§
§impl Future for rama::http::core::h2::client::PushedResponseFuture
impl Future for rama::http::core::h2::client::PushedResponseFuture
§impl Future for rama::http::core::h2::client::ResponseFuture
impl Future for rama::http::core::h2::client::ResponseFuture
§impl<'a, T> Future for MutexLockFuture<'a, T>where
T: ?Sized,
impl<'a, T> Future for MutexLockFuture<'a, T>where
T: ?Sized,
type Output = MutexGuard<'a, T>
§impl<A> Future for ReadToString<'_, A>
impl<A> Future for ReadToString<'_, A>
§impl<A, B, C, D, E, F, G, H, I, Output> Future for EitherConn9<A, B, C, D, E, F, G, H, I>
impl<A, B, C, D, E, F, G, H, I, Output> Future for EitherConn9<A, B, C, D, E, F, G, H, I>
§impl<A, B, C, D, E, F, G, H, I, Output> Future for EitherConn9Connected<A, B, C, D, E, F, G, H, I>
impl<A, B, C, D, E, F, G, H, I, Output> Future for EitherConn9Connected<A, B, C, D, E, F, G, H, I>
§impl<A, B, C, D, E, F, G, H, Output> Future for EitherConn8<A, B, C, D, E, F, G, H>
impl<A, B, C, D, E, F, G, H, Output> Future for EitherConn8<A, B, C, D, E, F, G, H>
§impl<A, B, C, D, E, F, G, H, Output> Future for EitherConn8Connected<A, B, C, D, E, F, G, H>
impl<A, B, C, D, E, F, G, H, Output> Future for EitherConn8Connected<A, B, C, D, E, F, G, H>
§impl<A, B, C, D, E, F, G, Output> Future for EitherConn7<A, B, C, D, E, F, G>
impl<A, B, C, D, E, F, G, Output> Future for EitherConn7<A, B, C, D, E, F, G>
§impl<A, B, C, D, E, F, G, Output> Future for EitherConn7Connected<A, B, C, D, E, F, G>
impl<A, B, C, D, E, F, G, Output> Future for EitherConn7Connected<A, B, C, D, E, F, G>
§impl<A, B, C, D, E, F, Output> Future for EitherConn6<A, B, C, D, E, F>
impl<A, B, C, D, E, F, Output> Future for EitherConn6<A, B, C, D, E, F>
§impl<A, B, C, D, E, F, Output> Future for EitherConn6Connected<A, B, C, D, E, F>
impl<A, B, C, D, E, F, Output> Future for EitherConn6Connected<A, B, C, D, E, F>
§impl<A, B, C, D, E, Output> Future for EitherConn5<A, B, C, D, E>
impl<A, B, C, D, E, Output> Future for EitherConn5<A, B, C, D, E>
§impl<A, B, C, D, E, Output> Future for EitherConn5Connected<A, B, C, D, E>
impl<A, B, C, D, E, Output> Future for EitherConn5Connected<A, B, C, D, E>
§impl<A, B, C, D, Output> Future for EitherConn4<A, B, C, D>
impl<A, B, C, D, Output> Future for EitherConn4<A, B, C, D>
§impl<A, B, C, D, Output> Future for EitherConn4Connected<A, B, C, D>
impl<A, B, C, D, Output> Future for EitherConn4Connected<A, B, C, D>
§impl<A, B, C, Output> Future for EitherConn3<A, B, C>
impl<A, B, C, Output> Future for EitherConn3<A, B, C>
§impl<A, B, C, Output> Future for EitherConn3Connected<A, B, C>
impl<A, B, C, Output> Future for EitherConn3Connected<A, B, C>
§impl<A, B, Output> Future for EitherConn<A, B>
impl<A, B, Output> Future for EitherConn<A, B>
§impl<A, B, Output> Future for EitherConnConnected<A, B>
impl<A, B, Output> Future for EitherConnConnected<A, B>
§impl<B> Future for rama::http::core::h2::client::ReadySendRequest<B>where
B: Buf,
impl<B> Future for rama::http::core::h2::client::ReadySendRequest<B>where
B: Buf,
type Output = Result<SendRequest<B>, Error>
§impl<C> Future for LookupIpFuture<C>where
C: DnsHandle + 'static,
impl<C> Future for LookupIpFuture<C>where
C: DnsHandle + 'static,
type Output = Result<LookupIp, ResolveError>
§impl<E, S, T> Future for FirstAnswerFuture<S>
impl<E, S, T> Future for FirstAnswerFuture<S>
§impl<F> Future for TryJoinAll<F>where
F: TryFuture,
impl<F> Future for TryJoinAll<F>where
F: TryFuture,
1.36.0 · Source§impl<F> Future for AssertUnwindSafe<F>where
F: Future,
impl<F> Future for AssertUnwindSafe<F>where
F: Future,
1.36.0 · Source§impl<F, A> Future for rama::crypto::dep::x509_parser::prelude::asn1_rs::nom::lib::std::boxed::Box<F, A>
impl<F, A> Future for rama::crypto::dep::x509_parser::prelude::asn1_rs::nom::lib::std::boxed::Box<F, A>
§impl<F, S> Future for DnsMultiplexerConnect<F, S>where
F: Future<Output = Result<S, ProtoError>> + Send + Unpin + 'static,
S: DnsClientStream + Unpin + 'static,
impl<F, S> Future for DnsMultiplexerConnect<F, S>where
F: Future<Output = Result<S, ProtoError>> + Send + Unpin + 'static,
S: DnsClientStream + Unpin + 'static,
type Output = Result<DnsMultiplexer<S>, ProtoError>
§impl<F, S, TE> Future for DnsExchangeConnect<F, S, TE>where
F: Future<Output = Result<S, ProtoError>> + 'static + Send + Unpin,
S: DnsRequestSender + 'static + Send + Unpin,
TE: Time + Unpin,
impl<F, S, TE> Future for DnsExchangeConnect<F, S, TE>where
F: Future<Output = Result<S, ProtoError>> + 'static + Send + Unpin,
S: DnsRequestSender + 'static + Send + Unpin,
TE: Time + Unpin,
type Output = Result<(DnsExchange, DnsExchangeBackground<S, TE>), ProtoError>
§impl<Fut1, Fut2> Future for TryFlatten<Fut1, Fut2>where
TryFlatten<Fut1, Fut2>: Future,
impl<Fut1, Fut2> Future for TryFlatten<Fut1, Fut2>where
TryFlatten<Fut1, Fut2>: Future,
§impl<Fut> Future for TryMaybeDone<Fut>where
Fut: TryFuture,
impl<Fut> Future for TryMaybeDone<Fut>where
Fut: TryFuture,
§impl<Fut> Future for CatchUnwind<Fut>where
Fut: Future + UnwindSafe,
impl<Fut> Future for CatchUnwind<Fut>where
Fut: Future + UnwindSafe,
§impl<Fut> Future for IntoFuture<Fut>where
Fut: TryFuture,
impl<Fut> Future for IntoFuture<Fut>where
Fut: TryFuture,
§impl<Fut> Future for NeverError<Fut>
impl<Fut> Future for NeverError<Fut>
§impl<Fut, F> Future for InspectErr<Fut, F>
impl<Fut, F> Future for InspectErr<Fut, F>
§impl<Fut, F> Future for UnwrapOrElse<Fut, F>
impl<Fut, F> Future for UnwrapOrElse<Fut, F>
§impl<Fut, F, G> Future for MapOkOrElse<Fut, F, G>
impl<Fut, F, G> Future for MapOkOrElse<Fut, F, G>
§impl<I, S> Future for rama::http::core::server::conn::auto::Connection<'_, I, S>
impl<I, S> Future for rama::http::core::server::conn::auto::Connection<'_, I, S>
§impl<I, S> Future for rama::http::core::server::conn::auto::UpgradeableConnection<'_, I, S>
impl<I, S> Future for rama::http::core::server::conn::auto::UpgradeableConnection<'_, I, S>
§impl<I, S> Future for rama::http::core::server::conn::http1::Connection<I, S>
impl<I, S> Future for rama::http::core::server::conn::http1::Connection<I, S>
§impl<I, S> Future for rama::http::core::server::conn::http1::UpgradeableConnection<I, S>
impl<I, S> Future for rama::http::core::server::conn::http1::UpgradeableConnection<I, S>
§impl<I, S> Future for rama::http::core::server::conn::http2::Connection<I, S>
impl<I, S> Future for rama::http::core::server::conn::http2::Connection<I, S>
§impl<IO> Future for FallibleAccept<IO>where
IO: AsyncRead + AsyncWrite + Unpin,
impl<IO> Future for FallibleAccept<IO>where
IO: AsyncRead + AsyncWrite + Unpin,
§impl<IO> Future for FallibleConnect<IO>where
IO: AsyncRead + AsyncWrite + Unpin,
impl<IO> Future for FallibleConnect<IO>where
IO: AsyncRead + AsyncWrite + Unpin,
§impl<IO> Future for LazyConfigAcceptor<IO>where
IO: AsyncRead + AsyncWrite + Unpin,
impl<IO> Future for LazyConfigAcceptor<IO>where
IO: AsyncRead + AsyncWrite + Unpin,
type Output = Result<StartHandshake<IO>, Error>
Source§impl<L, R> Future for either::Either<L, R>
Either<L, R> is a future if both L and R are futures.
impl<L, R> Future for either::Either<L, R>
Either<L, R> is a future if both L and R are futures.