为何Rust中for_each无法替代for循环？代码报错解析

问题重现 #

使用for循环初始化HashMap可以正常编译：

const DNA: [char; 4] = ['A', 'C', 'G', 'T'];
// ...
let mut map: HashMap<char, usize> = HashMap::new();
/* 初始化哈希表 */

for d in DNA.iter() {
    map.insert(*d, 0);
}

尝试用for_each替换for循环后出现编译错误：

DNA.iter().for_each(|d| map.insert(*d, 0));

报错信息：

error[E0308]: mismatched types                                                                 
  --> src/lib.rs:26:29                                                                        
   |                                                                                           
26 |     DNA.iter().for_each(|d| map.insert(*d, 0));                                           
 |                             ^^^^^^^^^^^^^^^^^ expected `()`, found enum `Option`         
 |                                                                                           
 = note: expected unit type `()`                                                             
                   found enum `Option<usize>`                

原因分析 #

for循环和for_each对循环体/闭包的返回值要求存在本质差异：

• for循环的循环体是一个表达式，但Rust会自动忽略它的返回值，无论循环体返回什么类型都不会影响编译。
• for_each是迭代器的方法，它要求传入的闭包必须返回单元类型()（即无返回值）。这是因为for_each的定义中，闭包参数的类型是FnMut(Self::Item) -> ()，明确规定了返回值必须是()。而HashMap::insert方法会返回Option<usize>（表示插入前该键对应的值，新键则返回None），这个返回值类型和for_each要求的()不匹配，因此触发编译错误。

解决办法 #

有几种方式可以解决这个问题：

• 手动让闭包返回()：用代码块包裹闭包逻辑，并在末尾加分号，让表达式的返回值变为()：

DNA.iter().for_each(|d| { map.insert(*d, 0); });

• 显式忽略insert的返回值：用下划线变量接收返回值，明确表示我们不需要这个结果：

DNA.iter().for_each(|d| { let _ = map.insert(*d, 0); });

• 更简洁的初始化方式：直接用迭代器的collect方法初始化HashMap，无需手动循环：

let map: HashMap<char, usize> = DNA.iter().map(|&c| (c, 0)).collect();

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