| 1 | //! Futures. |
| 2 | |
| 3 | use core::ops::DerefMut; |
| 4 | use core::pin::Pin; |
| 5 | use core::task::{Context, Poll}; |
| 6 | |
| 7 | #[doc (no_inline)] |
| 8 | pub use core::future::Future; |
| 9 | |
| 10 | /// An owned dynamically typed [`Future`] for use in cases where you can't |
| 11 | /// statically type your result or need to add some indirection. |
| 12 | /// |
| 13 | /// This type is often created by the [`boxed`] method on [`FutureExt`]. See its documentation for more. |
| 14 | /// |
| 15 | /// [`boxed`]: https://docs.rs/futures/latest/futures/future/trait.FutureExt.html#method.boxed |
| 16 | /// [`FutureExt`]: https://docs.rs/futures/latest/futures/future/trait.FutureExt.html |
| 17 | #[cfg (feature = "alloc" )] |
| 18 | pub type BoxFuture<'a, T> = Pin<alloc::boxed::Box<dyn Future<Output = T> + Send + 'a>>; |
| 19 | |
| 20 | /// `BoxFuture`, but without the `Send` requirement. |
| 21 | /// |
| 22 | /// This type is often created by the [`boxed_local`] method on [`FutureExt`]. See its documentation for more. |
| 23 | /// |
| 24 | /// [`boxed_local`]: https://docs.rs/futures/latest/futures/future/trait.FutureExt.html#method.boxed_local |
| 25 | /// [`FutureExt`]: https://docs.rs/futures/latest/futures/future/trait.FutureExt.html |
| 26 | #[cfg (feature = "alloc" )] |
| 27 | pub type LocalBoxFuture<'a, T> = Pin<alloc::boxed::Box<dyn Future<Output = T> + 'a>>; |
| 28 | |
| 29 | /// A future which tracks whether or not the underlying future |
| 30 | /// should no longer be polled. |
| 31 | /// |
| 32 | /// `is_terminated` will return `true` if a future should no longer be polled. |
| 33 | /// Usually, this state occurs after `poll` (or `try_poll`) returned |
| 34 | /// `Poll::Ready`. However, `is_terminated` may also return `true` if a future |
| 35 | /// has become inactive and can no longer make progress and should be ignored |
| 36 | /// or dropped rather than being `poll`ed again. |
| 37 | pub trait FusedFuture: Future { |
| 38 | /// Returns `true` if the underlying future should no longer be polled. |
| 39 | fn is_terminated(&self) -> bool; |
| 40 | } |
| 41 | |
| 42 | impl<F: FusedFuture + ?Sized + Unpin> FusedFuture for &mut F { |
| 43 | fn is_terminated(&self) -> bool { |
| 44 | <F as FusedFuture>::is_terminated(&**self) |
| 45 | } |
| 46 | } |
| 47 | |
| 48 | impl<P> FusedFuture for Pin<P> |
| 49 | where |
| 50 | P: DerefMut + Unpin, |
| 51 | P::Target: FusedFuture, |
| 52 | { |
| 53 | fn is_terminated(&self) -> bool { |
| 54 | <P::Target as FusedFuture>::is_terminated(&**self) |
| 55 | } |
| 56 | } |
| 57 | |
| 58 | mod private_try_future { |
| 59 | use super::Future; |
| 60 | |
| 61 | pub trait Sealed {} |
| 62 | |
| 63 | impl<F, T, E> Sealed for F where F: ?Sized + Future<Output = Result<T, E>> {} |
| 64 | } |
| 65 | |
| 66 | /// A convenience for futures that return `Result` values that includes |
| 67 | /// a variety of adapters tailored to such futures. |
| 68 | pub trait TryFuture: Future + private_try_future::Sealed { |
| 69 | /// The type of successful values yielded by this future |
| 70 | type Ok; |
| 71 | |
| 72 | /// The type of failures yielded by this future |
| 73 | type Error; |
| 74 | |
| 75 | /// Poll this `TryFuture` as if it were a `Future`. |
| 76 | /// |
| 77 | /// This method is a stopgap for a compiler limitation that prevents us from |
| 78 | /// directly inheriting from the `Future` trait; in the future it won't be |
| 79 | /// needed. |
| 80 | fn try_poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Result<Self::Ok, Self::Error>>; |
| 81 | } |
| 82 | |
| 83 | impl<F, T, E> TryFuture for F |
| 84 | where |
| 85 | F: ?Sized + Future<Output = Result<T, E>>, |
| 86 | { |
| 87 | type Ok = T; |
| 88 | type Error = E; |
| 89 | |
| 90 | #[inline ] |
| 91 | fn try_poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output> { |
| 92 | self.poll(cx) |
| 93 | } |
| 94 | } |
| 95 | |
| 96 | #[cfg (feature = "alloc" )] |
| 97 | mod if_alloc { |
| 98 | use super::*; |
| 99 | use alloc::boxed::Box; |
| 100 | |
| 101 | impl<F: FusedFuture + ?Sized + Unpin> FusedFuture for Box<F> { |
| 102 | fn is_terminated(&self) -> bool { |
| 103 | <F as FusedFuture>::is_terminated(&**self) |
| 104 | } |
| 105 | } |
| 106 | |
| 107 | #[cfg (feature = "std" )] |
| 108 | impl<F: FusedFuture> FusedFuture for std::panic::AssertUnwindSafe<F> { |
| 109 | fn is_terminated(&self) -> bool { |
| 110 | <F as FusedFuture>::is_terminated(&**self) |
| 111 | } |
| 112 | } |
| 113 | } |
| 114 | |