Rust中Vec迭代时显式类型与下划线类型的解引用差异疑问

首先看你给出的代码：

let numbers = vec![1, 2, 3, 4, 5, 6, 7, 8, 9];

// 显式指定Vec<i32>，需要解引用
let even_numbers: Vec<i32> = numbers.iter().filter(|&n| n % 2 == 0).map(|n| *n).collect();
  
// 自动推导类型，无需解引用
let even_numbers: Vec<_> = numbers.iter().filter(|&n| n % 2 == 0).map(|n| n).collect();

核心原因在于迭代器元素类型与目标Vec类型的匹配要求：

• numbers.iter()返回的是Iter<'_, i32>迭代器，它产生的元素是&i32（对原Vec中i32元素的不可变引用）。
• 当显式指定Vec<i32>时，collect()方法需要将迭代器的每个元素转换为i32类型才能存入Vec。此时map(|n| *n)就是把&i32解引用为i32，完成类型转换，满足目标Vec的类型要求。
• 当使用Vec<_>时，Rust编译器会反向推导目标Vec的泛型参数：它看到迭代器输出的是&i32，map(|n|n)没有修改元素类型，所以直接推导出Vec<&i32>作为变量类型。此时迭代器元素类型和目标Vec的元素类型完全一致，自然不需要解引用。

简单说，两种写法本质是在收集不同类型的元素：前者收集的是i32值，后者收集的是&i32引用。显式指定类型时你强制要求收集值，所以必须解引用；自动推导时编译器默认匹配迭代器的元素类型（引用），所以不需要额外操作。

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