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

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

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

非线程安全未来

并非所有异步特性都需要是dyn Future + Send类型。为了避免在异步特性方法上放置Send和Sync边界，请在特性和实现块上都使用#[trait_async(?Send)]宏。

省略的生命周期

请注意，异步函数语法不允许在&和&mut引用之外省略生命周期。（即使不使用#[trait_async]，这也同样适用。）生命周期必须命名或由占位符'_标记。

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

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

#[trait_async]
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: `<'_>`

修复方法是命名生命周期或使用'_。

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

动态特性

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

#[trait_async]
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，异步特性宏必须在需要&self的特性和需要&mut self的特性能产生Send类型的future上，分别添加Self: Sync和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作为超特性添加到特性中，以便约束所有特性的实现者，使得默认实现适用于它们

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

let object = &value as &dyn ObjectSafe;

或者，你可以通过将它们与Self: Sized约束来从特性对象中删除有问题的方法

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

    // presumably other methods
}

let object = &value as &dyn ObjectSafe;

许可证