例如，上面的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))
    }
}

非线程安全的future

并非所有异步特质都需要dyn Future + Send类型的future。为了避免在异步特质的函数上放置Send和Sync约束，请在特质的声明和实现块上调用异步特质宏，使用#[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<'_>) {}
}

Dyn特质

具有异步方法的特质可以作为特质对象使用，只要它们满足dyn的常规要求——没有类型参数的方法、没有按值传递的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

有一个小问题是在提供异步方法默认实现的特质中。为了使默认实现生成的future是Send的，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作为超特征（如果存在具有默认实现的&mut self方法，则为Sync，如果存在具有默认实现的&self方法），以约束所有实现该特征的开发者，使得默认实现适用于他们

#[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;

许可证