rust - 如何表达容器的 Rust 迭代器的生命周期

Question

我有一个这样的循环缓冲区:

struct CircularBuffer<T: Copy> {
    seqno: usize,
    data: Vec<T>,
}

我想创建一个外部结构作为迭代器。此结构将引用 CircularBuffer 的内部数据向量像这样:

struct CircularBufferIterator<'a, T: 'a + Copy> {
    buffer: &'a CircularBuffer<T>,
    position: usize,
    limit: usize,
}

这是我能想到的最好的实际编译。您能否建议一种更好的方式来表达 CircularBufferIterator取决于 CircularBuffer对象？

困扰我的是T: 'a + Copy .我想知道是否有可能或者说不是 T 是否有意义类型，但是 CircularBuffer<T>是一个CircularBufferIterator取决于。

我没有看到的部分是为什么我需要添加 'a终生到T .不能是T: Copy ，没有一生？换句话说，我看不到 T 的情况。引用比 CircularBuffer 长.这是 CircularBuffer超过 CircularBufferIterator 的引用.

CircularBuffer上下文来自 this blog post .

Answer 1

why do I need to add the 'a lifetime to T

您没有向 T 添加生命周期；你是说无论选择什么 T，它都只能包含比 'a 更有效的引用。如果不是这种情况，那么我们可能会引用一个具有现在无效引用的类型。使用那个无效的引用会导致内存不安全； Rust 试图避免的一个关键问题。

---

我最初以为您是在问如何删除 Copy 绑定(bind)，所以这是我输入的所有内容。

一个更改是从 CircularBuffer 中删除绑定(bind)的 Copy，但将其保留在方法的实现上。那么你根本不需要在迭代器上使用它:

struct CircularBuffer<T> {
    seqno: usize,
    data: Vec<T>,
}

struct CircularBufferIterator<'a, T: 'a> {
    buffer: &'a CircularBuffer<T>,
    position: usize,
    limit: usize,
}

另一个变化是完全避免直接引用 CircularBuffer，并将直接迭代器保留在 Vec 中:

struct CircularBufferIterator<'a, T: 'a> {
    first: std::slice::Iter<'a, T>,
    second: Option<std::slice::Iter<'a, T>>,
}

但是，查看 Iterator 实现，我看到它返回一个 T，而不是 &T，所以您最终需要一个类型是Copy 或Clone。您会注意到标准库不需要这样做，因为它会返回对集合中项目的引用。如果您确实需要非引用，那就是 into_iter 或 Iterator::cloned是为了。