MCPcopy Index your code
hub / github.com/dtolnay/async-trait

github.com/dtolnay/async-trait @0.1.89

Chat with this repo
repository ↗ · DeepWiki ↗ · release 0.1.89 ↗ · + Follow
296 symbols 441 edges 28 files 3 documented · 1%
What it actually does AI analysis from the code graph — generated when you open this
loading…
README

Async trait methods

github crates.io docs.rs build status

The stabilization of async functions in traits in Rust 1.75 did not include support for using traits containing async functions as dyn Trait. Trying to use dyn with an async trait produces the following error:

pub trait Trait {
    async fn f(&self);
}

pub fn make() -> Box<dyn Trait> {
    unimplemented!()
}
error[E0038]: the trait `Trait` is not dyn compatible
 --> src/main.rs:5:22
  |
5 | pub fn make() -> Box<dyn Trait> {
  |                      ^^^^^^^^^ `Trait` is not dyn compatible
  |
note: for a trait to be dyn compatible it needs to allow building a vtable
      for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
 --> src/main.rs:2:14
  |
1 | pub trait Trait {
  |           ----- this trait is not dyn compatible...
2 |     async fn f(&self);
  |              ^ ...because method `f` is `async`
  = help: consider moving `f` to another trait

This crate provides an attribute macro to make async fn in traits work with dyn traits.

Please refer to why async fn in traits are hard for a deeper analysis of how this implementation differs from what the compiler and language deliver natively.

Example

This example implements the core of a highly effective advertising platform using async fn in a trait.

The only thing to notice here is that we write an #[async_trait] macro on top of traits and trait impls that contain async fn, and then they work. We get to have Vec<Box<dyn Advertisement + Sync>> or &[&dyn Advertisement], for example.

use async_trait::async_trait;

#[async_trait]
trait Advertisement {
    async fn run(&self);
}

struct Modal;

#[async_trait]
impl Advertisement for Modal {
    async fn run(&self) {
        self.render_fullscreen().await;
        for _ in 0..4u16 {
            remind_user_to_join_mailing_list().await;
        }
        self.hide_for_now().await;
    }
}

struct AutoplayingVideo {
    media_url: String,
}

#[async_trait]
impl Advertisement for AutoplayingVideo {
    async fn run(&self) {
        let stream = connect(&self.media_url).await;
        stream.play().await;

        // Video probably persuaded user to join our mailing list!
        Modal.run().await;
    }
}

Supported features

It is the intention that all features of Rust traits should work nicely with #[async_trait], but the edge cases are numerous. Please file an issue if you see unexpected borrow checker errors, type errors, or warnings. There is no use of unsafe in the expanded code, so rest assured that if your code compiles it can't be that badly broken.

  • 👍 Self by value, by reference, by mut reference, or no self;
  • 👍 Any number of arguments, any return value;
  • 👍 Generic type parameters and lifetime parameters;
  • 👍 Associated types;
  • 👍 Having async and non-async functions in the same trait;
  • 👍 Default implementations provided by the trait;
  • 👍 Elided lifetimes.

Explanation

Async fns get transformed into methods that return Pin<Box<dyn Future + Send + 'async_trait>> and delegate to an async block.

For example the impl Advertisement for AutoplayingVideo above would be expanded as:

impl Advertisement for AutoplayingVideo {
    fn run<'async_trait>(
        &'async_trait self,
    ) -> Pin<Box<dyn std::future::Future<Output = ()> + Send + 'async_trait>>
    where
        Self: Sync + 'async_trait,
    {
        Box::pin(async move {
            /* the original method body */
        })
    }
}

Non-threadsafe futures

Not all async traits need futures that are dyn Future + Send. To avoid having Send and Sync bounds placed on the async trait methods, invoke the async trait macro as #[async_trait(?Send)] on both the trait and the impl blocks.

Elided lifetimes

Be aware that async fn syntax does not allow lifetime elision outside of & and &mut references. (This is true even when not using #[async_trait].) Lifetimes must be named or marked by the placeholder '_.

Fortunately the compiler is able to diagnose missing lifetimes with a good error message.

type Elided<'a> = &'a usize;

#[async_trait]
trait Test {
    async fn test(not_okay: Elided, okay: &usize) {}
}
error[E0726]: implicit elided lifetime not allowed here
 --> src/main.rs:9:29
  |
9 |     async fn test(not_okay: Elided, okay: &usize) {}
  |                             ^^^^^^- help: indicate the anonymous lifetime: `<'_>`

The fix is to name the lifetime or use '_.

#[async_trait]
trait Test {
    // either
    async fn test<'e>(elided: Elided<'e>) {}
    // or
    async fn test(elided: Elided<'_>) {}
}

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this crate by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Extension points exported contracts — how you extend this code

Trait (Interface)
(no doc) [34 implementers]
tests/test.rs
Trait (Interface)
(no doc) [2 implementers]
tests/ui/lifetime-span.rs
DynCompatible (Interface)
(no doc) [3 implementers]
tests/test.rs
Trait2 (Interface)
(no doc) [2 implementers]
tests/ui/lifetime-span.rs
Generic (Interface)
(no doc) [3 implementers]
tests/test.rs
Trait (Interface)
(no doc) [2 implementers]
tests/ui/self-span.rs
TestTrait (Interface)
(no doc) [2 implementers]
tests/test.rs
ClientExt (Interface)
(no doc) [2 implementers]
tests/ui/consider-restricting.rs

Core symbols most depended-on inside this repo

where_clause_or_default
called by 5
src/expand.rs
block_on_simple
called by 5
tests/executor/mod.rs
visit_type_mut
called by 4
src/expand.rs
has_self_in_sig
called by 3
src/receiver.rs
parenthesize_impl_trait
called by 3
src/lifetime.rs
lint_suppress_with_body
called by 3
src/expand.rs
transform_sig
called by 3
src/expand.rs
contains_fn
called by 2
src/receiver.rs

Shape

Method 125
Function 63
Interface 52
Class 49
Enum 7

Languages

Rust100%

Modules by API surface

tests/test.rs155 symbols
src/receiver.rs19 symbols
src/expand.rs16 symbols
src/lifetime.rs14 symbols
tests/ui/lifetime-span.rs6 symbols
tests/ui/consider-restricting.rs6 symbols
tests/ui/unreachable.rs5 symbols
tests/ui/type-mismatch.rs5 symbols
tests/ui/send-not-implemented.rs5 symbols
tests/ui/self-span.rs5 symbols
tests/ui/must-use.rs5 symbols
tests/executor/mod.rs5 symbols

For agents

$ claude mcp add async-trait \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact