blob: 903ae2064458559545d3ba2063b02db8906f973c [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, FutureExt, MaybeDone};
pub enum SelectResult<F: Future> {
Pending(F),
Finished(F::Output),
}
// Macro-generate future combinators to allow for running different numbers of top-level futures in
// this FutureList. Generates the implementation of `FutureList` for the select types. For an
// explicit example this is modeled after, see `UnitFutures`.
macro_rules! generate {
($(
$(#[$doc:meta])*
($Select:ident, <$($Fut:ident),*>),
)*) => ($(
#[must_use = "Combinations of futures don't do anything unless run in an executor."]
paste::item! {
pub(crate) struct $Select<$($Fut: Future + Unpin),*> {
$($Fut: MaybeDone<$Fut>,)*
}
}
impl<$($Fut: Future + Unpin),*> $Select<$($Fut),*> {
paste::item! {
pub(crate) fn new($($Fut: $Fut),*) -> $Select<$($Fut),*> {
$Select {
$($Fut: maybe_done($Fut),)*
}
}
}
}
impl<$($Fut: Future + Unpin),*> Future for $Select<$($Fut),*> {
type Output = ($(SelectResult<$Fut>),*);
fn poll(mut self: Pin<&mut Self>, cx: &mut Context) -> Poll<Self::Output> {
let mut complete = false;
$(
let $Fut = Pin::new(&mut self.$Fut);
// The future impls `Unpin`, use `poll_unpin` to avoid wrapping it in
// `Pin` to call `poll`.
complete |= self.$Fut.poll_unpin(cx).is_ready();
)*
if complete {
Poll::Ready(($(
match std::mem::replace(&mut self.$Fut, MaybeDone::Gone) {
MaybeDone::Future(f) => SelectResult::Pending(f),
MaybeDone::Done(o) => SelectResult::Finished(o),
MaybeDone::Gone => unreachable!(),
}
), *))
} else {
Poll::Pending
}
}
}
)*)
}
generate! {
/// _Future for the [`select2`] function.
(Select2, <_Fut1, _Fut2>),
/// _Future for the [`select3`] function.
(Select3, <_Fut1, _Fut2, _Fut3>),
/// _Future for the [`select4`] function.
(Select4, <_Fut1, _Fut2, _Fut3, _Fut4>),
/// _Future for the [`select5`] function.
(Select5, <_Fut1, _Fut2, _Fut3, _Fut4, _Fut5>),
/// _Future for the [`select6`] function.
(Select6, <_Fut1, _Fut2, _Fut3, _Fut4, _Fut5, _Fut6>),
}