遍历集合。一旦Iterator掉了就把它放下

Question

我把收藏品倒入了磁盘。当请求时，应该检索这些集合(没问题)，并为它构建一个iterator，返回检索到的值的引用。

在删除iterator之后，我不再需要这个集合了。我也想把它扔掉。

到目前为止，我已经尝试过：

1. Iterator拥有这个集合。这对我来说是最有意义的，但这是不可能的，我不太清楚为什么。有人说Iterator特性的next方法签名是问题所在。(示例)
2. 引用计数：Retriever返回一个Rc<Vec<usize>>。我遇到了与拥有迭代器相同的问题。(示例)
3. 让猎犬拥有它的收藏并给出它的参考资料。我尝试用内部可变性(RefCell<HashMap>)实现检索器，但是我不能以足够长的生命周期返回对HashMap的引用。

我看到了两种基本的可能性。

1. 猎犬转移所有权。然后，Iterator将需要拥有数据。行文中的某物： 使用std：：片：：Iter；fn检索(id: usize) -> Vec {//用蓝色(或磁盘、内存或网络)创建数据。(我不在乎)//把数据移出去。传输所有权让data = vec；data } fn消耗_ iterator <‘a，TIterator: Iterator>(迭代器: TIterator) { for in iterator{ println!("{}"，i)；}} fn处理程序(id: usize) -> Iter<'a，usize> { //handle_request现在拥有向量。//我现在想要构建一个拥有的迭代器。//这当然不会编译为向量，在这个方法的末尾将删除检索(Id).iter()} fn (){consume_iterator(处理程序(0))}
2. 猎犬拥有收藏品。但随后出现了两个新问题：

1. How can I drop the data when the iterator is out of range?
2. How do I tell the borrow-checker that I will own the collection long enough?

使用std::cell::{Ref，RefCell}；结构检索器{//拥有数据。但我希望一旦对它的引用超出范围，它就会被删除。数据: RefCell } impl检索{ fn检索<‘a>(&’a self，id: usize) -> Ref<'a，Vec> {//用蓝色创建数据(或磁盘、内存或网络)。)//现在可以在内部存储数据，并可以提供对它的引用。设mut = self.data.borrow_mut()；*data = vec；self.data.borrow() }} fn消费_迭代器<‘a，TIterator: Iterator>(迭代器: TIterator) { for i in iterator { println!("{}"，i)；}} fn处理程序<‘a>(ret：&'a Retriever，id: usize) -> IterWrapper<'a> { //andle_request现在有一个对集合//所以只调用iter()的引用？不是的。一生的问题。ret.retrieve(id).iter() } fn main() { let retriever = Retriever{data: RefCell：：RefCell(Vec：：new())}；consume_iterator(处理程序(&retriever，0)) }

我在这里有点迷茫，我忽略了一些显而易见的东西。

Answer 1

我现在终于能够实现一个相对统计的解决方案：

在Cells中隐藏迭代器的可更改性：

pub trait OwningIterator<'a> {
    type Item;
    fn next(&'a self) -> Option<Self::Item>;
}

结构现在需要一个Celld位置来允许迭代而不发生变异。举个例子，这里是结构的实现，两者都拥有并且可以在Arc<Vec<T>>上进行迭代。

pub struct ArcIter<T> {
    data: Arc<Vec<T>>,
    pos: Cell<usize>,
}

impl<'a, T: 'a> OwningIterator<'a> for ArcIter<T> {
    type Item = &'a T;

    fn next(&'a self) -> Option<Self::Item> {
        if self.pos.get() < self.data.len() {
            self.pos.set(self.pos.get() + 1);
            return Some(&self.data[self.pos.get() - 1]);
        }  
        None
    }
}

由于我能够将这些迭代器隐藏在接口后面，并且让用户只处理“真正的”迭代器，我觉得这是一个可以接受的偏离标准的方法。

感谢每一个为最终帮助我找到解决方案的想法而做出贡献的人。

Answer 2

爱尔兰人拥有这批收藏品。或通过参考书计算共同拥有 ContainerIterator { data: data，iter: data.iter()，}

不，你不能在同一个结构中具有该值和对该值的引用。。

让猎犬拥有它的收藏并给出它的参考资料。

不，你无法返回对迭代器拥有的项的引用。。

如前所述，使用IntoIter将项目的所有权传递给迭代器，然后将其作为迭代值分发：

use std::vec::IntoIter;

struct ContainerIterator {
    iter: IntoIter<usize>,
}

impl Iterator for ContainerIterator {
    type Item = usize;

    fn next(&mut self) -> Option<Self::Item> {
        self.iter.next()
    }
}

fn main() {
    let data = vec![0, 1, 2, 3];
    let cont = ContainerIterator { iter: data.into_iter() };

    for x in cont {
        println!("Hi {}", x)
    }
}

如果你必须返回推荐信..。然后，您需要将拥有它们的东西保存在所有引用可能存在的整个时间内。

当迭代器超出范围时，如何删除数据？

不再使用该值：

fn main() {
    {
        let loaded_from_disk = vec![0, 1, 2, 3];
        for i in &loaded_from_disk {
            println!("{}", i)
        }
        // loaded_from_disk goes out of scope and is dropped. Nothing to *do*, per se.
    }
}

我如何告诉借阅人，我将拥有足够长的收藏？

通过拥有足够长的收藏。没有任何秘密握手，锈蚀光明会使用与借阅检查。代码只需要结构化，以便在借入未完成时，被借用的东西不会变得无效。您不能移动它(更改内存地址)或删除它(更改内存地址)。