blob: dada336d0c90e526e8bf4437791b09594bec3c2b [file] [log] [blame]
// Copyright 2020 The Chromium OS Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
// Need non-snake case so the macro can re-use type names for variables.
#![allow(non_snake_case)]
use std::future::Future;
use std::pin::Pin;
use std::task::{Context, Poll};
use futures::future::{maybe_done, MaybeDone};
use pin_utils::unsafe_pinned;
// Macro-generate future combinators to allow for running different numbers of top-level futures in
// this FutureList. Generates the implementation of `FutureList` for the completion types. For an
// explicit example this is modeled after, see `UnitFutures`.
macro_rules! generate {
($(
$(#[$doc:meta])*
($Complete:ident, <$($Fut:ident),*>),
)*) => ($(
#[must_use = "Combinations of futures don't do anything unless run in an executor."]
pub(crate) struct $Complete<$($Fut: Future),*> {
$($Fut: MaybeDone<$Fut>,)*
}
impl<$($Fut),*> $Complete<$($Fut),*>
where $(
$Fut: Future,
)*
{
// Safety:
// * No Drop impl
// * No Unpin impl
// * Not #[repr(packed)]
$(
unsafe_pinned!($Fut: MaybeDone<$Fut>);
)*
pub(crate) fn new($($Fut: $Fut),*) -> $Complete<$($Fut),*> {
$(
let $Fut = maybe_done($Fut);
)*
$Complete {
$($Fut),*
}
}
}
impl<$($Fut),*> Future for $Complete<$($Fut),*>
where $(
$Fut: Future,
)*
{
type Output = ($($Fut::Output),*);
fn poll(mut self: Pin<&mut Self>, cx: &mut Context) -> Poll<Self::Output> {
let mut complete = true;
$(
complete &= self.as_mut().$Fut().poll(cx).is_ready();
)*
if complete {
$(
let $Fut = self.as_mut().$Fut().take_output().unwrap();
)*
Poll::Ready(($($Fut), *))
} else {
Poll::Pending
}
}
}
)*)
}
generate! {
/// _Future for the [`complete2`] function.
(Complete2, <_Fut1, _Fut2>),
/// _Future for the [`complete3`] function.
(Complete3, <_Fut1, _Fut2, _Fut3>),
/// _Future for the [`complete4`] function.
(Complete4, <_Fut1, _Fut2, _Fut3, _Fut4>),
/// _Future for the [`complete5`] function.
(Complete5, <_Fut1, _Fut2, _Fut3, _Fut4, _Fut5>),
}