Rust中Peekable包裹dyn Iterator trait object触发类型不匹配报错

第一个版本能正常编译，是因为Rust针对Box类型支持不定长强转规则：当上下文明确要求Box<dyn Trait>类型时，编译器会自动把实现了该Trait的具体类型T对应的Box<T>强转为Box<dyn Trait>。第一个示例里，你把Box::new(long_tokens)的结果直接传入参数类型为Box<dyn Iterator<Item = Token>>的函数，编译器在传参位置识别到类型要求，自动完成了强转，所以没有报错。

第二个版本编译失败的核心原因有两点：

• 你调用.peekable()方法时，操作的对象是Box<Filter<...>>这个具体类型——Filter是filter方法返回的迭代器适配器类型，还包含了你写的过滤闭包，是个编译器已知具体大小的确定类型，此时peekable()返回的类型自然就是Peekable<Box<Filter<...>>>。
• Rust的泛型类型参数默认是不变的，没有自动穿透泛型结构体的强转规则：哪怕Box<Filter<...>>本身可以强转为Box<dyn Iterator<Item=Token>>，Peekable<Box<Filter<...>>>和Peekable<Box<dyn Iterator<Item=Token>>>也是完全无关的两个类型，编译器不会自动帮你做跨泛型包装层的类型转换。

你疑惑的「Filter已经实现了Iterator，为什么不能替换dyn Iterator」，本质是搞错了强转触发的时机：这种强转不会自动穿透Peekable这层泛型包装，只有当你直接持有Box<Filter<...>>、且上下文明确要求Box<dyn Iterator>类型时，强转才会自动发生。

只需要在调用.peekable()之前，先把包裹具体迭代器类型的Box手动强转为trait对象版本的Box即可，两种写法效果完全一致：

写法1：显式标注变量类型触发强转 #

fn main() {
    let tokens = get_tokens();
    let long_tokens = tokens.filter(|token| token.length > 32);
    // 明确标注变量类型，触发不定长强转，擦除Filter的具体类型
    let boxed: Box<dyn Iterator<Item = Token>> = Box::new(long_tokens);
    let peekable = boxed.peekable();
    do_something_with_peekable(peekable);
}

写法2：用as关键字手动指定强转 #

fn main() {
    let tokens = get_tokens();
    let long_tokens = tokens.filter(|token| token.length > 32);
    let boxed = Box::new(long_tokens) as Box<dyn Iterator<Item = Token>>;
    let peekable = boxed.peekable();
    do_something_with_peekable(peekable);
}

两种写法都是提前把具体的迭代器类型擦除为dyn Iterator trait对象，之后调用peekable()返回的类型就正好匹配函数参数要求的Peekable<Box<dyn Iterator<Item = Token>>>，可以直接传参通过编译。

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