从 VecDeque<T> 字段返回 &Vec<T>

Question

我有一个带有VecDeque<T> 字段和get() -> Option<&Vec<T>> 方法的类型：

struct Storage<T> {
    buffer: VecDeque<T>
}

impl<T> Storage<T> {
    fn get(&self, /* args */ ) -> Option<&Vec<T>> { /* ... */ }
}

根据get() 的输入参数，我想返回一个Option<&Vec<T>>，它实质上是指buffer 内从索引i 到索引j 的切片：

index  =  0 ... i ... j  ... (n-1)
buffer = [a, b, c, d, e, f, g, h]
                |-----|
             return &Vec<T>

到目前为止，在我的尝试中，我发现VecDeque::as_slices() 可能会有所帮助（我确保在调用get() 之前缓冲区始终是连续的）并且我还看到有一些方法可以将切片转换为Vec<T>。它的参考部分&Vec<T> 我似乎遇到了麻烦。

附加细节： get() 方法实际上来自于一个 trait 的实现：

trait Storable {
    type OutputType;
    fn get(&self, /* args */) -> Option<&Self::OutputType>;
}

此 API 遵循 slab 板条箱中的 Slab 类型，事实上，为 Slab 实现 Storable 非常简单。一种可能性是我将OutputType 关联类型从Vec<T> 更改为其他类型。但是，在我的代码的其他地方，我可能会严重依赖此关联类型是Vec<T> 的假设。这可能是代码的味道。无论解决方案是什么，出于性能原因，我都希望尽可能避免复制/克隆。

Answer 1

我相信这不可能以您想象的方式发生，因为所有权规则：

如果您将双端队列作为切片，那么您将获得单个连续切片，这本质上是一个不可变的借用。这意味着切片不拥有这些值。它的类型是&[T]。

另一方面，现在Vec<T> 想要拥有 T 类型的值。因此从&[T] 创建Vec<T> 将不得不涉及副本或克隆，取决于T 是否支持这些操作。

您想要&Vec<T> 的事实并没有改变您需要在堆上创建实际Vec<T> 的事实，而这又需要更改所有权。

返回&Vec<T> 的另一个问题是生命周期。如果这个 Vec 是新创建的，通过你认为适合你的任何转换，它只会在它存在时才有效，这将是 get 函数：

impl<T> Storage<T> {
  fn get(&self, /* args*/ ) -> Option<&Vec<T>> {
    let return_vec: Vec<T> = /* some code */;
    /* some more code */
    Ok(&return_vec); // Uh oh!
  }
}

编译器会抱怨您无法返回对函数中本地内容的引用。

我认为最好的选择是将输出类型更改为切片&[T]。您说在您自己的内部代码中，您严重依赖 vec 表示。现在的好处是，通过一些智能 trait 实现，任何期望 &[T] 作为参数的函数也适用于 Vec<T>。