为何将值赋值给变量匹配dyn参数时出现类型不匹配错误？

场景重现 #

定义的结构体 #

struct Task {
    future: Mutex<Pin<Box<dyn Future<Output = ()> + Send>>>,
    executor: channel::Sender<Arc<Task>>,
}

正常运行的代码 #

直接在结构体初始化中赋值future：

fn spawn<F>(future: F, sender: &channel::Sender<Arc<Task>>)
where
    F: Future<Output = ()> + Send + 'static,
{
    let task = Arc::new(Task {
        future: Mutex::new(Box::pin(future)),
        executor: sender.clone(),
    });
    sender.send(task).unwrap();
}

出现类型不匹配的代码 #

先将future赋值给变量再传入结构体：

fn spawn<F>(future: F, sender: &channel::Sender<Arc<Task>>)
where
    F: Future<Output = ()> + Send + 'static,
{
    let future = Mutex::new(Box::pin(future));
    let task = Arc::new(Task {
        future,
        executor: sender.clone(),
    });
    sender.send(task).unwrap();
}

错误信息

error[E0308]: mismatched types
  --> src\bin\test.rs:76:13
   |
70 |     fn spawn<F>(future: F, sender: &channel::Sender<Arc<Task>>)
   |              - this type parameter
...
76 |             future,
   |             ^^^^^^ expected `Mutex<Pin<Box<...>>>`, found `Mutex<Pin<Box<F>>>`   
   |
   = note: expected struct `std::sync::Mutex<Pin<Box<(dyn futures::Future<Output = ()> + std::marker::Send + 'static)>>>`
              found struct `std::sync::Mutex<Pin<Box<F>>>`
   = help: type parameters must be constrained to match other types

修复后的代码 #

显式指定变量类型后错误消失：

let future: Mutex<Pin<Box<dyn Future<Output = ()> + Send>>> = Mutex::new(Box::pin(future));

问题 #

为什么会出现这种情况？是编译器无法自动推断dyn类型吗？

这是因为Rust类型推断的上下文差异导致的：

1. 直接初始化结构体的场景
   当在Task初始化表达式中直接赋值future时，编译器明确知道目标类型是Mutex<Pin<Box<dyn Future<Output = ()> + Send>>>。此时编译器会自动触发强制类型转换，将具体的Box<F>（F是泛型参数对应的具体Future类型）转换为Box<dyn Future<Output = ()> + Send>——也就是把具体类型装箱为trait对象，这个转换合法，因为F满足Future+Send+'static的约束。

2. 先赋值给变量的场景
   单独声明let future = Mutex::new(Box::pin(future));时，编译器会优先推断变量为最具体的类型，即Mutex<Pin<Box<F>>>。此时变量类型已被固定为具体类型，后续赋值给Task的future字段时，编译器发现具体类型与trait对象类型不匹配，就会抛出错误——Rust不会自动将具体类型的Mutex转换为trait对象的Mutex，必须显式触发转换。

3. 显式标注类型的作用
   给变量标注Mutex<Pin<Box<dyn Future<Output = ()> + Send>>>时，相当于告诉编译器需要的是trait对象类型。此时编译器会在赋值时自动完成Box<F>到Box<dyn Future...>的转换，让变量类型与结构体字段要求匹配。

简言之：直接赋值到结构体字段时，编译器有明确的目标类型参考，会自动完成trait对象转换；单独声明变量时，编译器默认推断最具体的类型，不会自动转为trait对象，必须显式指定类型才能触发转换。

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