Rust 传递返回Box<dyn Iterator>闭包无类型注解报类型不匹配问题

核心原因 #

Rust 的类型推断不会自动触发 Unsizing Coercion（不定长类型强制转换）——也就是把实现了 trait 的具体类型转为 trait 对象的操作，除非有明确的类型目标作为转换依据。

你首次编写代码时没有给read_from_file加类型注解，编译器会优先按最具体的类型做推断：

• 闭包内部Box::new(vec![...].into_iter())会被推断为Box<std::vec::IntoIter<i32>>，这是一个具体的结构体类型，不是dyn Iterator trait 对象。
• 整个Box::new(|path: &Path| {...})会被推断为Box<[临时闭包类型]>，这个闭包的签名是fn(&Path) -> Box<IntoIter<i32>>，和foo要求的dyn Fn(&Path) -> Box<dyn Iterator<Item=i32>>签名不匹配。

此时你把这个闭包传入foo，编译器需要将具体闭包类型转为符合要求的dyn Fn trait 对象，但两者的返回类型不匹配，因此抛出E0271类型不匹配错误。

加类型注解后正常编译的原理 #

当你给read_from_file加上显式类型注解后，编译器拿到了明确的类型要求：它知道你需要的闭包返回值必须是Box<dyn Iterator<Item=i32>>，因此会在闭包内Box::new(into_iter)执行时自动触发 unsizing 转换，把具体的Box<IntoIter<i32>>转为 trait 对象类型，闭包签名和入参要求匹配，自然可以正常编译。

为什么没有报类型注解缺失错误 #

E0283类型注解缺失错误，仅会在编译器完全无法推导变量类型的场景下抛出。而本次场景中编译器可以正常推导出read_from_file的具体类型，只是推导出来的类型不符合foo的入参要求，因此抛出的是类型不匹配的E0271错误，而非类型无法推断的E0283错误。

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