我试图在可迭代序列中找到重复。此外,我想知道在那个序列中发生的元素。
我创建了一个HashMap
,并尝试在insert
使用的闭包内调用take_while
。但是,由于与具体/绑定生命周期相关的类型不匹配,到目前为止我还没有设法编译它。
以下是我的代码的简化版本,它显示了相同的错误:
use std::collections::HashSet;
fn main() {
let mut seq = HashSet::new();
let mut insert = |k| seq.insert(k);
(1..10).cycle().take_while(insert);
}
以下是我得到的错误:
error[E0631]: type mismatch in closure arguments
--> src/main.rs:6:21
|
5 | let mut insert = |k| seq.insert(k);
| ----------------- found signature of `fn(_) -> _`
6 | (1..10).cycle().take_while(insert);
| ^^^^^^^^^^ expected signature of `for<'r> fn(&'r {integer}) -> _`
error[E0271]: type mismatch resolving `for<'r> <[closure@src/main.rs:5:22: 5:39 seq:_] as std::ops::FnOnce<(&'r {integer},)>>::Output == bool`
--> src/main.rs:6:21
|
6 | (1..10).cycle().take_while(insert);
| ^^^^^^^^^^ expected bound lifetime parameter, found concrete lifetime
我如何更改代码才能正常工作?
答案 0 :(得分:8)
这实际上是伪装的借用错误。
Iterator<Item = T>::take_while()
接受类FnMut(&T) -> bool
的闭包 - 也就是说,它通过引用将每个元素传递给闭包。这非常自然,因为take_while()
必须能够生成成功测试的元素,因此它不能通过值传递它。
这意味着insert
参数类型被推断为&_
,因此HashSet
的通用参数也被推断为&_
。但是,这意味着您尝试将对cycle()
迭代器产生的临时值的引用存储到寿命更长的结构中。借用规则不允许这样做。不幸的是,Rust并没有完全显示出这种推理,因为由于某种原因,它无法推断出数值类型是i32
,并且它也无法推断出闭包的正确生命周期参数。这就是你的错误。
相反,您的闭包应该在将参数存储到集合之前取消引用该参数。 This works:
use std::collections::HashSet;
fn main() {
let mut seq = HashSet::new();
let mut insert = |&k: &i32| seq.insert(k);
(1..10).cycle().take_while(insert);
}
我也必须添加完整类型的参数;正如我上面所说,我认为类型推断不足以推断它。
顺便说一句,如果你明确指定了类型,你实际上可以得到借用检查器错误:
use std::collections::HashSet;
fn main() {
let mut seq = HashSet::new();
let mut insert = |k: &i32| seq.insert(k); // no dereference
(1..10).cycle().take_while(insert);
}
上面的代码与原始示例相同,但显式类型注释除外,它会导致以下错误:
error[E0495]: cannot infer an appropriate lifetime due to conflicting requirements
--> src/main.rs:5:43
|
5 | let mut insert = |k: &i32| seq.insert(k);
| ^
|
note: first, the lifetime cannot outlive the anonymous lifetime #1 defined on the body at 5:22...
--> src/main.rs:5:22
|
5 | let mut insert = |k: &i32| seq.insert(k);
| ^^^^^^^^^^^^^^^^^^^^^^^
note: ...so that expression is assignable (expected &i32, found &i32)
--> src/main.rs:5:43
|
5 | let mut insert = |k: &i32| seq.insert(k);
| ^
note: but, the lifetime must be valid for the block suffix following statement 1 at 5:5...
--> src/main.rs:5:5
|
5 | / let mut insert = |k: &i32| seq.insert(k);
6 | | (1..10).cycle().take_while(insert);
7 | | }
| |_^
note: ...so that variable is valid at time of its declaration
--> src/main.rs:5:9
|
5 | let mut insert = |k: &i32| seq.insert(k);
| ^^^^^^^^^^