如何解决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
(这是默认的整数类型没有任何进一步的资格。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。