Rust中如何使用reduce方法计算向量乘积且不转移所有权？

V.iter()生成的是对向量元素的共享引用迭代器，迭代器的元素类型为&T（本场景下是&{integer}）。reduce方法要求闭包的返回值类型必须和迭代器的元素类型完全一致：

• 你在闭包中执行a * b时，Rust会自动对两个整数引用做解引用计算，最终得到的是{integer}类型的自有值，和要求的&{integer}类型不匹配，因此触发类型错误。
• 编译器提示你添加&后，&(a * b)是对临时计算结果的引用，临时值会在当前表达式执行结束后立即销毁，会产生悬垂引用，因此编译不通过。

你之前用into_iter的写法不会报错，是因为into_iter得到的是元素自有值的迭代器，类型匹配，但代价是消费了整个向量，转移了所有权，原向量无法继续使用。

对于实现了Copy trait的类型（比如所有整数、浮点数基础类型），可以调用迭代器的copied()方法，把引用类型的迭代器转换为自有值类型的迭代器，无需转移原向量所有权即可正常使用reduce：

let product = V.iter().copied().reduce(|a, b| a * b).unwrap();

如果元素类型没有实现Copy但实现了Clone trait，可以把copied()替换为cloned()，通过克隆元素得到自有值：

let product = V.iter().cloned().reduce(|a, b| a * b).unwrap();

原fold写法即使向量为空也会返回初始值1，而reduce对空迭代器会返回None，直接调用unwrap在向量为空时会触发panic。如果要完全对齐原fold的逻辑，可以把unwrap替换为unwrap_or(1)：

// 空向量也会返回1，和fold效果完全一致
let product = V.iter().copied().reduce(|a, b| a * b).unwrap_or(1);

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