Iterator::Collect函数是如何工作的? [英] How does the Iterator::collect function work?
本文介绍了Iterator::Collect函数是如何工作的?的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
我正在尝试通过some documentation了解collect
函数的全部功能。我遇到了一些挑战,特别是在页面上引用的最后一个示例中(也在下面列出了我的评论)
let results = [Ok(1), Err("nope"), Ok(3), Err("bad")];
let result: Result<Vec<_>, &str> = results.iter().cloned().collect();
// gives us the first error <-- Point 1
assert_eq!(Err("nope"), result);
let results = [Ok(1), Ok(3)];
let result: Result<Vec<_>, &str> = results.iter().cloned().collect();
// gives us the list of answers
assert_eq!(Ok(vec![1, 3]), result);
我在此代码之后编写了一些我自己的代码(如下所示)
let results: [std::result::Result<i32, &str>; 2] = [Err("nope"), Err("bad")];
let result: Vec<Result<i32, &str>> = results.iter().cloned().collect();
// The following prints <-- Point 2
// "nope"
// "bad"
for x in result{
println!("{:?}", x.unwrap_err());
}
查看the FromIterator
trait on the Result
struct的实现,我们可以看到它提到&获取Iterator
中的每个元素:如果它是Err
,则不再获取其他元素,并返回Err
。如果未出现Err
,则返回一个包含每个Result
值的容器。
此解释与在第1点看到的结果一致,但似乎不适用于第2点。在第2点,我预计只打印&q;否,而不是两个值。
因此,我试图了解这种(选择性)转换发生在哪里并遇到挑战。
如果我们查看方法定义本身,我们会看到以下内容。
#[inline]
fn from_iter<I: IntoIterator<Item=Result<A, E>>>(iter: I) -> Result<V, E> {
// FIXME(#11084): This could be replaced with Iterator::scan when this
// performance bug is closed.
iter::process_results(iter.into_iter(), |i| i.collect())
}
它显示正在迭代器上调用into_iter()
方法。搜索into_iter
会给出两种实现
#[stable(feature = "rust1", since = "1.0.0")]
impl<T, E> IntoIterator for Result<T, E> {
type Item = T;
type IntoIter = IntoIter<T>;
/// Returns a consuming iterator over the possibly contained value.
///
/// The iterator yields one value if the result is [`Result::Ok`], otherwise none.
///
/// # Examples
///
/// Basic usage:
///
/// ```
/// let x: Result<u32, &str> = Ok(5);
/// let v: Vec<u32> = x.into_iter().collect();
/// assert_eq!(v, [5]);
///
/// let x: Result<u32, &str> = Err("nothing!");
/// let v: Vec<u32> = x.into_iter().collect();
/// assert_eq!(v, []);
/// ```
#[inline]
fn into_iter(self) -> IntoIter<T> {
IntoIter { inner: self.ok() }
}
}
#[stable(since = "1.4.0", feature = "result_iter")]
impl<'a, T, E> IntoIterator for &'a Result<T, E> {
type Item = &'a T;
type IntoIter = Iter<'a, T>;
fn into_iter(self) -> Iter<'a, T> {
self.iter()
}
}
然而,在我对这种语言的有限理解中,似乎没有人能够解释文档所说的内容以及第二点发生的事情。
谁能解释一下这是如何工作的,或者给我介绍一下源代码中实现这种选择逻辑的正确位置?
我想了解的不是为什么我们得到一个向量中的所有值,而是结果中只有一个值,而是A.从值列表中选择第一个Err
和B.为什么在列表中收集结果时选择多个Err
值(根据文档,它应该只是第一个Err
值)
推荐答案
本例中
let result: Vec<Result<i32, &str>> = results.iter().cloned().collect();
您不会收集到Result
中,而是收集到Vec
中,因此所有值都会原封不动地收集起来。这应来自Vec
。
这与
有根本不同let result: Result<Vec<_>, &str> = results.iter().cloned().collect();
在哪里收集到Result
,它根据是否找到Err
来过滤元素。这来自impl<A, E, V> FromIterator<Result<A, E>> for Result<V, E> where V: FromIterator<A>,
。
这篇关于Iterator::Collect函数是如何工作的?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文