Rust中Boxed Future相关的编译器错误信息为何令人困惑？

问题代码 #

use std::pin::Pin;
use std::future::Future;

fn give_future<'a>(x : &'a i32) -> Pin<impl Future<Output=&'a i32> + 'a> {
    Box::pin(async move { x })
}

编译器错误信息 #

error[E0277]: `[async block@src/lib.rs]` cannot be unpinned
 --> src/lib.rs:7:47
  |
  | fn give_future<'a>(x : &'a i32) -> Pin<impl Future<Output=&'a i32> + 'a> {
  |                                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Unpin` is not implemented for `[async block@src/lib.rs]`
  |
  = note: consider using the `pin!` macro
          consider using `Box::pin` if you need to access the pinned value outside of the current scope
  = note: required for `Box<[async block@src/lib.rs]>` to implement `Future`

For more information about this error, try `rustc --explain E0277`.

用户疑问 #

我实际返回的是Pin<Box<impl Future>>，但函数签名声明返回Pin<impl Future>，为什么编译器不直接指出这个类型不匹配，反而抛出Unpin trait未实现的错误？

解答 #

这是Rust类型推断与 trait 约束检查的顺序导致的：

1. 返回类型的约束传递：函数签名要求返回Pin<impl Future<...> + 'a>，这里的impl Future必须满足Future trait。而Pin<T>要实现Future，前提是T必须同时实现Future + Unpin——这是标准库中Pin对Future的实现规则：只有内部的T是Unpin的，Pin<T>才能自动实现Future。

2. 类型适配的隐藏逻辑：Box::pin返回的是Pin<Box<F>>（F是async block的类型）。当你试图把它作为Pin<impl Future>返回时，编译器会尝试将Pin<Box<F>>适配到目标类型，这就要求Pin<Box<F>>实现Future。根据上面的规则，这需要Box<F>实现Future + Unpin。Box<F>确实能实现Future（因为F本身是Future），但Box<F>的Unpin实现依赖于F是否实现Unpin——而你的async block默认没有实现Unpin（async block只有在所有捕获变量都是Unpin且无自引用时才会自动实现Unpin）。

3. 错误信息的侧重点：编译器没有直接提示类型不匹配，是因为它在检查Pin<Box<F>>是否满足返回类型的Future约束时，先卡在了Unpin trait未实现这一步，所以优先抛出这个更底层的约束错误，而非直接指出外层的类型差异。

修复方案 #

有两种可行的解决方式：

• 调整返回类型：修改函数签名，直接匹配Box::pin的返回类型：

  use std::pin::Pin;
  use std::future::Future;
  
  fn give_future<'a>(x : &'a i32) -> Pin<Box<impl Future<Output=&'a i32> + 'a>> {
      Box::pin(async move { x })
  }
  

• 让async block实现Unpin：如果坚持使用Pin<impl Future>，可以给async block添加#[derive(Unpin)]（需用async fn或手动包装），或者用pin!宏在栈上固定future，但后者不适合跨作用域返回。

内容的提问来源于stack exchange，提问作者soupybionics