fold对于接受的闭包很挑剔

问题描述

（这里是rust noob；我试图了解在高阶函数情况下哪些可以/不能/应该/不应该通过引用传递）

let a = [1,2,3];

此调用有效：

let sum = a.iter().fold(0,|acc:  i32,x: &i32| acc + x);

这些不是：

let sum = a.iter().fold(0,|acc: i32,x: i32| acc + x);
let sum = a.iter().fold(0,|acc: &i32,x: i32| acc + x);

错误消息是

error[E0631]: type mismatch in closure arguments
 --> main.rs:8:22
  |
8 |   let sum = a.iter().fold(0,x: i32| acc + x);
  |                      ^^^^    --------------------------- found signature of `for<'r> fn(&'r i32,i32) -> _`
  |                      |
  |                      expected signature of `fn({integer},&{integer}) -> _`

error: aborting due to previous error

For more information about this error,try `rustc --explain E0631`.

该解释未提供任何令人感兴趣的内容。它说闭包的参数与fold的参数不匹配。但是，我从fold的声明中看不出它是怎么回事：

fn fold<B,F>(self,init: B,f: F) -> B
where
    F: FnMut(B,Self::Item) -> B

为什么第二个参数应该是&{integer}，第一个参数是{integer}？

解决方法

迭代器中的项是从数组中借用的，因此&i32不是i32。此表格有效，因为累加器是拥有的，而物品是借来的：

let sum = a.iter().fold(0,|acc: i32,x: &i32| acc + x);

您可以转换迭代器，以便复制其项目而不是引用它，然后第一种形式将起作用：

let sum = a.iter().copied().fold(0,x: i32| acc + x);

第三种形式永远无法使用。闭包必须能够返回用于更新累加器的新值。累加器的类型为i32。它不能作为引用，因为您不能从闭包中返回引用（原始值将被删除，Rust不允许您返回悬空的指针）。

,

查看fold()

的声明

fn fold<B,F>(self,init: B,f: F) -> B
where
    F: FnMut(B,Self::Item) -> B

您会看到该函数具有两个泛型类型参数-累加器B的类型和闭包F的类型。闭合类型的特征绑定为FnMut(B,Self::Item) -> B，这意味着第一个参数的类型与累加器的类型相同，而第二个参数的类型为迭代器的项类型。

在调用中

let sum = a.iter().fold(0,|acc,x| acc + x);

我们使用项目类型为&i32的迭代器，并且您的累加器被初始化为0，因此其类型被推断为i32（这是默认的整数类型没有任何进一步的资格。