为何T: Trait/impl Trait有时适配dyn Trait有时却不行？

首先看你的代码场景：当make_inner返回Inner<Box<T>>时，无法将其推入Vec<Inner<Box<dyn Trait>>>，但直接指定返回类型为Inner<Box<dyn Trait>>却可以正常工作。核心原因在于Rust的强制转换规则和泛型类型的可变性（Variance）限制。

1. 为什么第一种场景无法自动转换？ #

当你调用make_inner(t)时，编译器会根据传入的t的具体类型推断出T的类型（比如t是i32，则T=i32），因此make_inner返回的是Inner<Box<i32>>。现在要将这个值推入期望Inner<Box<dyn Trait>>的Vec，需要完成Inner<Box<i32>> → Inner<Box<dyn Trait>>的转换，但这个转换是不被编译器自动允许的：

• Box<T>可以被强制转换为Box<dyn Trait>（因为Box对其内部类型是协变的，且T满足Trait + 'static），但这种强制转换不会递归穿透外层的泛型结构体Inner。
• 默认情况下，泛型结构体Inner<T>的类型参数T是**不变（Invariant）**的——也就是说，即使A可以转换为B，Inner<A>也不能自动转换为Inner<B>，除非你显式标注T为协变。

2. 为什么修改返回类型后可以正常工作？ #

当你把make_inner的返回类型改为Inner<Box<dyn Trait>>时，编译器会在函数内部完成转换：

• Box::new(t)创建的Box<T>会被强制转换为Box<dyn Trait>（这是直接作用于Box类型的合法强制转换），然后被包装进Inner返回。此时返回的类型正好是Vec期望的类型，自然可以直接推入。

3. 关于你的两个疑问 #

（1）返回类型推断 vs 参数类型推断的差异 #

参数类型推断是从实参到形参的推导，会优先确定最具体的类型（比如传入具体的i32，就推断T=i32）；而显式指定返回类型时，编译器会反向推导，在函数内部完成必要的类型转换来匹配返回类型。两种场景的推断方向不同，导致是否触发强制转换的时机也不同：前者是先确定具体类型再尝试转换（但转换不被允许），后者是先确定目标类型，再在内部完成合法的转换。

（2）所有权转移不影响类型转换规则 #

push获取所有权只是语义上的转移，和类型转换的规则无关。即使转移所有权，Inner<Box<T>>和Inner<Box<dyn Trait>>仍然是完全不同的类型，编译器不会因为所有权转移就自动允许跨类型转换——转换的合法性只由类型系统的规则决定。

解决方案 #

方案一：显式指定make_inner的返回类型（你已经尝试的方法） #

fn make_inner<T: Trait>(t: T) -> Inner<Box<dyn Trait>> {
    Inner(Box::new(t))
}

方案二：手动完成嵌套类型的转换 #

在调用处手动将Box<T>转换为Box<dyn Trait>，再包装进Inner：

pub fn spawn(&mut self, t: impl Trait + 'static) {
    let inner = Inner(Box::new(t) as Box<dyn Trait>);
    self.things.push(inner);
}

方案三：给Inner添加协变标注 #

如果Inner的设计允许协变（即内部的T不会被可变引用或其他破坏协变的结构使用），可以显式标注T为协变，让Inner<Box<T>>可以自动转换为Inner<Box<dyn Trait>>：

struct Inner<#[covariant] T>(T);

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