在内部，async fn创建一个状态机类型，其中包含每个正在等待的子Future。那么，当涉及到递归的时候怎么办呢？

示例

示例1

  • 源码
use futures;

async fn first() {}
async fn second() {}

async fn foo() {
  first().await;
  second().await;
}

fn main() {
  futures::executor::block_on(foo());
}
  • 配置
[dependencies]
futures = "0.3"
  • 说明

编译器会async块生成对应的结构体，上面的例子生成的结构体如下：

enum Foo {
    First(first),
    Second(second),
}

示例2

那么，当对应到递归会是什么样的呢？

  • 源码
use futures;

fn re() {
  re().await;
  re().await;
}

fn main() {
  futures::executor::block_on(re());
}
  • 说明

运行该程序报错。编译器对应的展开可能如下：

enum Re {
    First(Re),
    Second(Re),
}

显然，这样创造了一个无限尺寸大小的类型，因此报错。

解决办法

那么我们要使用递归怎么办？只需要使用Box就可以了，不过对应的限制是需要变成同步函数。

  • 源码
use futures::future::{BoxFuture, FutureExt};

fn re() -> BoxFuture<'static, ()> {
  async move {
    re().await;
    re().await;
  }.boxed()
}

fn main() {
  re();
}
  • 配置
[dependencies]
futures = "0.3"

运行ok。