iterator - 将结构的迭代器传递给接受 Rust 中引用的函数？

Question

我有一个函数，它接受对结构的引用的迭代器。有时我在向量上迭代，效果很好，但有时我创建了一个生成新结构的迭代器，但我很难弄清楚那个。我知道当我在闭包中创建一个值时，它会在闭包创建时消失。当我不想要它时，Rust 总是试图将值从事物中移出；为什么不在这里？

struct Thing {
    value: u32,
}

fn consume<'a, I: IntoIterator<Item = &'a Thing>>(things: I) {
    for thing in things {
        println!("{}", thing.value);
    }
}

fn main() {
    let solid = vec![Thing { value: 0 }];
    let ephemeral = (1..5).map(|i| &Thing { value: i }); // Boxing Thing does not work either
    consume(solid.iter());
    consume(ephemeral);
}

但是

error[E0515]: cannot return reference to temporary value
  --> src/main.rs:13:36
   |
13 |     let ephemeral = (1..5).map(|i| &Thing { value: i }); // Boxing Thing does not work either
   |                                    ^------------------
   |                                    ||
   |                                    |temporary value created here
   |                                    returns a reference to data owned by the current function

我觉得我要么需要将结构移出闭包和迭代器，要么将其存储在某个地方。但是 Box 结构不起作用并且返回结构而不是指针不会进行类型检查(而且我找不到 .cloned() 的反义词).这里的方法是什么？

Answer 1

简短的回答:你不能。

---

更长的解释:

这里是“一个产生新结构的迭代器”:

let iterator_of_structs = (1..5).map(|value| Thing { value });

解决这个问题的主要技巧是始终询问“谁拥有数据？”。

每次我们调用 next 时，闭包都会获取一个整数的所有权(通过 value)并构造一个新的 Thing。闭包返回 Thing，将所有权转移给调用 next 的代码。

当您借用一个值(也就是引用)时，该值的所有权不能易手，并且该值的持续时间必须长于借用的持续时间。

让我们转向引用迭代器的概念并提出我们的问题:“谁拥有数据？”。

map(|value| &Thing { value })

在这里，我们创建了一个 Thing 并引用了它。没有变量拥有 Thing，因此 scope 拥有它，并且当范围结束时该值将被销毁。闭包试图返回引用，但这违反了借用的项目必须比借用的期限长的公理。

---

那么，如何解决呢？最简单的方法是将您的功能更改为更易于接受:

use std::borrow::Borrow;

struct Thing {
    value: u32,
}

fn consume(things: impl IntoIterator<Item = impl Borrow<Thing>>) {
    for thing in things {
        let thing = thing.borrow();
        println!("{}", thing.value);
    }
}

fn main() {
    let iterator_of_structs = (1..5).map(|value| Thing { value });
    consume(iterator_of_structs);

    let vector_of_structs: Vec<_> = (1..5).map(|value| Thing { value }).collect();
    let iterator_of_references_to_structs = vector_of_structs.iter();
    consume(iterator_of_references_to_structs);
}

在这里，我们接受任何可以转换为项目迭代器的类型，这些项目允许我们借用对 Thing 的引用。这适用于任何项目和对项目的任何引用。