Iterator::collect 函数如何工作?

2023-12-08

我正在尝试了解的全部功能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上的特质Result struct,我们看到它提到“取Iterator: 如果是一个Err,不再采取进一步的元素,并且Err被返回。不应该Err发生时,一个包含每个值的容器Result被返回。

这个解释与第 1 点中看到的结果一致,但似乎不适用于第 2 点。在第 2 点中,我期望只打印“nope”而不是两个值。

因此,我试图了解这种(选择性)转换是在哪里发生并遇到挑战的。

如果我们查看方法定义本身,我们会看到以下内容。

#[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()
    }
}

然而,以我对语言的有限理解,似乎没有人能够解释文档所说的内容以及第 2 点中发生的情况。

有人可以解释一下这是如何工作的,或者指出我在源代码中实现这种选择逻辑的正确位置吗?

我想理解的不是为什么我们得到向量中的所有值而结果中只有一个值,而是a.选择第一个的代码/逻辑在哪里Err来自值列表和b。为什么是多个Err当结果收集在列表中时选择的值(根据文档,它应该只是第一个Err value)


在这个例子中

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>,.

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

Iterator::collect 函数如何工作? 的相关文章

随机推荐