nic*_*nii 5 types iterator type-inference return-type rust
所以我在这里有这个示例代码:
use std::iter::Filter;
use std::slice::Iter;
fn main() {
let numbers = vec![12i32, 26, 31, 56, 33, 16, 81];
for number in ends_in_six(numbers) {
println!("{}", number);
}
}
fn ends_in_six(numbers: Vec<i32>) /* -> ??? */ {
numbers.iter().filter(|&n| *n % 10 == 6)
}
Run Code Online (Sandbox Code Playgroud)
我正在尝试返回一个迭代器,从我收集到的内容来看,它在 Rust 中一直很麻烦。在这里运行代码给了我这个错误:
<anon>:13:5: 13:45 error: mismatched types:
expected `()`,
found `core::iter::Filter<core::slice::Iter<'_, i32>, [closure <anon>:13:27: 13:44]>`
(expected (),
found struct `core::iter::Filter`) [E0308]
<anon>:13 numbers.iter().filter(|&n| *n % 10 == 6)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Run Code Online (Sandbox Code Playgroud)
现在,解决这个问题(并且基于我对这一切如何运作的相对有限的知识),似乎我应该做一些类似的事情:
fn ends_in_six<'a>(numbers: Vec<i32>) -> Filter<Iter<'a, i32>, /* ??? */> {
Run Code Online (Sandbox Code Playgroud)
但是现在我又被卡住了,因为我得到了[closure <anon>:13:27: 13:44]
而不是实际类型。即使当我尝试使用此处的函数来尝试找出类型时,我也得到了:
core::iter::Filter<core::slice::Iter<i32>, [closure((&&i32,)) -> bool]>
Run Code Online (Sandbox Code Playgroud)
所以,试图自己弄清楚,并基于上一行,我尝试:
fn ends_in_six<'a>(numbers: Vec<i32>) -> Filter<Iter<'a, i32>, Fn(&&i32) -> bool> {
Run Code Online (Sandbox Code Playgroud)
并且得到了更多错误,因为 Fn 在编译时不是常数(即没有实现 Sized)。这是有道理的,但我有点不知所措。
编辑:我刚刚试过:
fn ends_in_six<'a, F>(numbers: Vec<i32>) -> Filter<Iter<'a, i32>, F>
where F: Fn(&&i32) -> bool {
Run Code Online (Sandbox Code Playgroud)
现在我收到这些错误:
<anon>:7:19: 7:30 error: unable to infer enough type information about `_`; type annotations required [E0282]
<anon>:7 for number in ends_in_six(numbers) {
^~~~~~~~~~~
<anon>:14:32: 14:34 error: the type of this value must be known in this context
<anon>:14 numbers.iter().filter(|&n| *n % 10 == 6)
^~
<anon>:14:27: 14:44 error: mismatched types:
expected `F`,
found `[closure <anon>:14:27: 14:44]`
(expected type parameter,
found closure) [E0308]
<anon>:14 numbers.iter().filter(|&n| *n % 10 == 6)
^~~~~~~~~~~~~~~~~
Run Code Online (Sandbox Code Playgroud)
每个闭包都有自己独特的类型(闭包是 struct 和 a 的糖Fn
,FnMut
或者FnOnce
实现,根据确定),并且无法写出闭包的类型。
您可以做的一件事是将其编写为函数,然后将其转换为函数指针,如下所示。
\n\n另一件事是使用盒装函数 ( Box<Fn(&&i32) -> bool>
),例如Box::new(|&&n| n % 10 == 6)
. 这涉及堆分配,因此不是最有效的,尽管在现实生活中您不需要担心性能差异。
您所做的泛型尝试不起作用\xe2\x80\x99t,因为泛型是关于允许调用者指定类型,任何类型,在这种情况下您希望被调用者指定单个唯一类型。
\n\nuse std::iter::Filter;\nuse std::slice::Iter;\n\nfn main() {\n let numbers = vec![12i32, 26, 31, 56, 33, 16, 81];\n\n for number in ends_in_six(numbers) {\n println!("{}", number);\n }\n}\n\nfn ends_in_six(numbers: Vec<i32>) Filter<Iter<\'a, i32>, fn(&&i32) -> bool> {\n fn filterer(&&n: &&i32) -> bool { n % 10 == 6 }\n numbers.iter().filter(filterer as fn(&&i32) -> bool)\n}\n
Run Code Online (Sandbox Code Playgroud)\n