Rust字符串拼接时fold正常运行reduce报错的原因是什么？

你遇到的两个报错分别对应以下两个底层原因：

1. E0369类型不支持加法报错：调用vec.iter()得到的迭代器元素类型是&&str（原vec的元素是&str，iter()默认返回元素的共享引用）。fold方法中你传入的初始值是String类型，闭包内cur是String，Rust为String实现了Add<&str> trait，运算时nxt（&&str）会自动解引用为&str，所以可以正常执行。但reduce没有初始值，直接取迭代器第一个元素作为初始累加值，因此cur和nxt都是&&str类型，Rust没有为&&str实现加法操作，所以报错。
2. E0277无法打印Option报错：reduce的返回值是Option<T>类型：如果迭代器为空，返回None；迭代器非空返回Some(累加结果)。而fold有固定初始值，无论迭代器是否为空都能直接返回累加值类型。你直接用{}打印Option类型，而Option默认没有实现Display trait，所以报错。

修正后的reduce写法示例：

let ss = vec!["a", "b", "c"]
    .into_iter() // 直接获取vec元素的所有权，元素类型为&str
    .map(|s| s.to_string()) // 统一转为String类型适配加法逻辑
    .reduce(|cur, nxt| cur + &nxt) // cur为String，&nxt为&str符合加法要求
    .unwrap(); // 已知迭代器非空，直接解包Option拿到String类型结果
println!("{}", ss);

• 初始值规则：fold必须手动传入初始累加值，reduce无初始值，默认取迭代器第一个元素作为初始累加值
• 返回值规则：fold返回值类型和初始值完全一致，迭代器为空也能正常返回结果；reduce返回Option<T>类型，需要自行处理空迭代器的None场景
• 类型灵活性：fold的累加值类型可以和迭代器元素类型不同（只要闭包运算逻辑合法即可），reduce的累加值类型必须和迭代器元素类型完全一致

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