Trait futures_core::future::Future[][src]

pub trait Future {
    type Item;
    type Error;
    fn poll(&mut self, cx: &mut Context) -> Poll<Self::Item, Self::Error>;
}

A future represents an asychronous computation that may fail.

A future is like a Result value that may 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 ergonomics and implementation of the Future trait are very similar to the Iterator trait in that there is just one method you need to implement, but you get a whole lot of others for free as a result. These other methods allow you to chain together large computations based on futures, which will automatically handle asynchrony for you.

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 wake up is performed using cx.waker(), a handle for waking up the current task.

When using a future, you generally won't call poll directly, but instead use combinators to build up asynchronous computations. A complete computation can then be spawned onto an executor as a new, independent task that will automatically be polled to completion.

Combinators

Like iterators, futures provide a large number of combinators to work with futures to express computations in a much more natural method than scheduling a number of callbacks. As with iterators, the combinators are zero-cost: they compile away. You can find the combinators in the future-util crate.

Associated Types

A successful value

An error

Required Methods

Attempt 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:

  • Ok(Async::Pending) if the future is not ready yet
  • Ok(Async::Ready(val)) with the result val of this future if it finished successfully.
  • Err(err) if the future is finished but resolved to an error err.

Once a future has finished, clients should not poll it again.

When a future is not ready yet, poll returns Async::Pending. The future will also register the interest of the current task in the value being produced. For example, if the future represents the availability of data on a socket, then the task is recorded so that when data arrives, it is woken up (via cx.waker(). 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 if Pending is returned it only means that the current task (represented by the argument cx) will receive a notification. Tasks from previous calls to poll will not receive notifications.

Runtime characteristics

Futures alone are inert; they must be actively polled 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. Usually this is done by building up a large computation as a single future (using combinators), then spawning that future as a task onto an executor. Executors ensure that each task is polled every time a future internal to that task is ready to make progress.

The poll function is not called repeatedly in a tight loop for futures, but only whenever the future itself is ready, as signaled via cx.waker(). 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 must never 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 awhile, the work should be offloaded to a thread pool (or something similar) to ensure that poll can return quickly.

Errors

This future may have failed to finish the computation, in which case the Err variant will be returned with an appropriate payload of an error.

Panics

Once a future has completed (returned Ready or Err from poll), then any future calls to poll may panic, block forever, or otherwise cause bad behavior. The Future trait itself provides no guarantees about the behavior of poll after a future has completed.

Callers who may call poll too many times may want to consider using the fuse adaptor which defines the behavior of poll, but comes with a little bit of extra cost.

Implementations on Foreign Types

impl<A, B> Future for Either<A, B> where
    A: Future,
    B: Future<Item = A::Item, Error = A::Error>, 
[src]

impl<'a, F: ?Sized + Future> Future for &'a mut F
[src]

impl<F: ?Sized + Future> Future for Box<F>
[src]

impl<F: Future> Future for AssertUnwindSafe<F>
[src]

Implementors