例如上面的impl Advertisement for AutoplayingVideo会被展开为

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,
    {
        async fn run(_self: &AutoplayingVideo) {
            /* the original method body */
        }

        Box::pin(run(self))
    }
}

非线程安全 futures

并非所有异步特质的异步方法都需要dyn Future + Send。为了避免在异步特质方法上放置 Send 和 Sync 的界限，请在特质的宏和 impl 块上都调用#[async_trait(?Send)]。

省略的生命周期

请注意，异步函数语法不允许在 & 和 &mut 引用之外省略生命周期。即使在未使用 #[async_trait] 的情况下，也是如此。生命周期必须命名或用占位符 '_ 标记。

幸运的是，编译器能够通过良好的错误信息诊断缺少的生命周期。

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: `<'_>`

解决方案是命名生命周期或使用 '_。

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

动态特质

具有异步方法的特质可以作为特质对象使用，只要它们满足动态的常规要求——没有类型参数的方法，没有按值传递的 self，没有关联类型等。

#[async_trait]
pub trait ObjectSafe {
    async fn f(&self);
    async fn g(&mut self);
}

impl ObjectSafe for MyType {...}

let value: MyType = ...;
let object = &value as &dyn ObjectSafe;  // make trait object

唯一的问题在于提供异步方法默认实现的特质。为了使默认实现产生一个 Send 的 future，async_trait 宏必须在接收 &self 的特质方法上发出 Self: Sync 的界限，并在接收 &mut self 的特质方法上发出 Self: Send 的界限。上面的说明部分中展开代码的例子是前者的一个例子。

如果你创建了一个具有默认实现的异步方法的特质，除了这个特质不能用作特质对象之外，一切都会正常工作。创建一个类型为 &dyn Trait 的值会产生一个看起来像这样的错误

error: the trait `Test` cannot be made into an object
 --> src/main.rs:8:5
  |
8 |     async fn cannot_dyn(&self) {}
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

对于需要作为对象安全并且需要对某些异步方法有默认实现的特质，有两种解决方案。或者，你可以将 Send 和/或 Sync 作为超特质添加，以便约束特质的所有实现者，使默认实现适用于它们

#[async_trait]
pub trait ObjectSafe: Sync {  // added supertrait
    async fn can_dyn(&self) {}
}

let object = &value as &dyn ObjectSafe;

或者，你可以通过用 Self: Sized 约束来删除特质对象中的问题方法

#[async_trait]
pub trait ObjectSafe {
    async fn cannot_dyn(&self) where Self: Sized {}

    // presumably other methods
}

let object = &value as &dyn ObjectSafe;

许可证