h1
Async Builders
-
2019-09-21
Last month we introduced Surf, an async cross-platform streaming HTTP client for Rust. It was met with a great reception, and people generally seem to be really enjoying it.
A common piece of feedback we’ve gotten is how much people enjoy the interface, in particular how little code it requires to create HTTP requests.
surf::get("https://example.com").await?;
In this post we’ll cover a pattern at the heart of Surf’s ergonomics stjepang came up with: the “async finalizer”.
Note: it’s probably worth setting some expectations at this point. This post is unfortunately not about async destructors. I’m sorry if this is disappointing. Trust me, I want them too.
Refresher: builder pattern
In languages such as JavaScript it’s common to pass options objects to provide configuration. You define an object, set some parameters, and often pass it as an optional extra argument to a function.
// default
let app = choo()
// with options
let opts = { hash: true }
let app = choo(opts)
However in Rust this doesn’t quite work the same because of how the type system’s rules. Instead there are a few different different ways of defining configuration, of which one of the most common variants is the builder patter.
Instead of passing options into a constructor, you create a configuration struct
with methods to set options, and one final method that takes the config and
outputs the struct you wanted. An example from std is fs::OpenOptions
:
use std::fs::OpenOptions;
let file = OpenOptions::new()
.read(true)
.write(true)
.create(true)
.open("foo.txt");
In the case of OpenOptions
the open
method converts the configuration into a
File
. The open
method is what we refer to as the “finalizer” method.
note: OpenOptions
is a bit special because it can be reused. It’s exceedingly
common for builders to consume the configuration in their finalizer, as we do in
Surf.
Await and the borrow checker
In Async Rust the builder pattern that was shown above works perfectly fine. But
because of how await
works some interesting options open up. In particular we
can lean on the property of await
that the compiler statically ensures the
same future is not awaited twice.
use async_std::future;
#[async_attributes::main]
async fn main() {
let fut = future::ready(1u8);
fut.await;
fut.await; // this is invalid
}
error[E0382]: use of moved value: `fut`
--> examples/logging.rs:11:9
|
9 | let fut = async_std::future::ready(1u8);
| --- move occurs because `fut` has type `impl std::future::Future`, which does not implement the `Copy` trait
10 | fut.await;
| --------- value moved here
11 | fut.await;
| ^^^ value used here after move
error: aborting due to previous error
This compiler error occurs because await
takes futures by value, not by
reference (self
vs &self
). Which is exactly the property we want for a
consuming finalizer.
Async Finalizers
In Surf we started off with a send
method as the finalizer, but it never felt
quite right. This is because await
filled a similar role already, and send
was essentially redundant. Once we realized we were swiftly able to remove it,
and the resulting API felt a lot nicer.
We still have a
few special-purpose finalizers such as
recv_json
,
but we only use those to reduce the amount of instances of await
for shorter
scripts.
surf::get("https://example.com").send().await?; // old
surf::get("https://example.com").await?; // new
await
is the primary way the Request
builder now terminates, and returns a
Result<Response>
. Because if you think of it: a request really is a fancy
configuration option that’s submitted to the server to get what you really want:
a response.
The way we’ve implemented this is more or less like this:
impl Future for Request {
type Output = Result<Response, Exception>;
fn poll(mut self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output> {
/// Construct a future once, and store it internally.
if self.fut.is_none() {
self.fut = Some(Box::pin(async move {
let res = Next::new(&self.middleware)
.run(self.req, self.client)
.await?;
Ok(Response::new(res))
}));
}
/// Now that we have an inner future, we can forward all poll calls to
/// it until it resolves.
self.fut.as_mut().unwrap().as_mut().poll(cx)
}
}
This pattern can be implemented in many different ways, but the core of it is to
implement the Future
trait on the builder itself.
Addendum: Future ergonomic improvements
As was pointed out by
nemo157,
it’s interesting to consider how this would interact with the IntoFuture
trait.
futures-preview
no longer has this trait, but
futures@0.1
used to have it. There’s also a mention of it in last year’s async/await
RFC.
The idea is that if we had a trait IntoFuture
, and await
is the keyword
to call .into_future()
and then poll the future to completion. This would
allow us to get rid of boxing the future, and then driving it to completion
ourselves, which would be more performant and easier to implement.
All together the usage would remain exactly the same, but the definition could be simplified:
// Trait definition.
mod std {
mod future {
pub trait IntoFuture {
type Future: Future<Output = Self::Output>;
type Output;
fn into_future(self) -> Self::Future;
}
}
}
// Example usage in surf.
//
// We could construct a manual future here instead of `BoxFuture`, but for the
// purposes of the demo we won't.
impl std::future::IntoFuture for Request {
type Output = Result<Response, Exception>;
type Future = Pin<Box<dyn Future<Output = Self::Output> + Send>>
fn into_future(self) -> Self::Future {
Box::pin(async move {
let res = Next::new(&self.middleware)
.run(self.req, self.client)
.await?;
Ok(Response::new(res))
})
}
}
Even though we’ve cheated a little with the lifetimes of Pin<Box>
, it
definitely feels like it removes some of the rough edges around async
finalizers. I haven’t seen IntoFuture
being mentioned anywhere in the
async/await stabilization
report, which leads me to
believe that the omission from the async/await MVP stabilization is mostly
because it simply hasn’t been deemed a priority.
Extra: guarding against manual re-polling
The only caveat in the (simplified) example above is that it doesn’t provide a
nice error message if manually polled repeated multiple times. In the actual
implementation the inner values are Option
s that we take
, which means the
builder would panic if polled after completion. But we can do better.
By having debug_assert
and keeping an inner flag we can provide a slightly
nicer error message for this case. This would look something like this:
fn poll(mut self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output> {
debug_assert!(self.is_resolved == false, "Cannot poll future after being resolved");
// Construct the future here
let res = future::ready!(self.fut.as_mut().unwrap().as_mut().poll(cx));
self.is_resolved = true;
Poll::Ready(res)
}
Extra: JavaScript Promises
This pattern is so nice, you might wonder why other languages don’t have this.
In particular JavaScript’s Fetch
API
uses async/await, and yet doesn’t have this pattern.
let myRequest = new Request('flowers.jpg', {
method: 'GET',
cache: 'default'
});
let res = await fetch(myRequest);
This is because Rust’s futures are lazy; they don’t do anything until poll
or .await
is called on them. JavaScript’s promises are eager; they start
running the moment they’re constructed. This means that construction of the
promise needs to be separated from construction of the options.
addendum: as was pointed
out by tehdog
it’s actually possible to achieve do this in JavaScript using “thenables”. That
is: any object that has a then
method on its prototype can be awaited as if it
were a Promise, but unlike Promises isn’t run until awaited. This enables lazy
evaluation in JavaScript, much like in Rust.
class Request {
constructor(url: string) {
this.url = url
}
then() {
return fetch(this.url)
}
}
let x = new Request("hello") // Request is constructed, no I/O happens.
let res = await x // Request is sent, I/O happens here.
Conclusion
In this post we’ve more closely examined the “async finalizer” pattern which
underpins some of Surf’s biggest ergonomic conveniences. We’ve explained what
builders are, how they work, and how we can achieve the same results in async
code using the Future
trait.
I’m really happy we figured this out, and since we’ve released Surf we’ve seen this same pattern being used in some other places too. We’re probably not the first people to think of this pattern, but I’m pretty sure neither Stjepan nor I had seen this before when Stjepan proposed we use it. And I figured it’d be worth writing about so more people can find out about this!
In general I feel this it’s still early days in the design space around async/await. As time goes on it seems likely we’ll discover more patterns like these, and eventually induct them into a well-known set of “best practices”. This is my attempt at sharing a neat little pattern we found, in the hope that more people will discover it and be able to pick it up.
As always, thanks for reading! I hope this was helpful!