如何在不分配内存的情况下将 Vec 一分为二?

nal*_*zok 1 memory-management unsafe vector ownership rust

我正在寻找类似于slice::split_at_mut. 让我们split_at用签名命名它

pub fn split_at<T>(v: Vec<T>, mid: usize) -> (Vec<T>, Vec<T>)
Run Code Online (Sandbox Code Playgroud)

以至于

let v = vec![1, 2, 3, 4];
let (first, second) = split_at(v, 2);
assert_eq!(first, vec![1, 2]);
assert_eq!(second, vec![3, 4]);
Run Code Online (Sandbox Code Playgroud)

该函数不应分配内存,只需将向量一分为二。您无需担心容量,因为结果向量不会被修改。

仅每晚使用的方法Vec::into_raw_parts似乎很有希望,但我在不允许使用此类方法的稳定发布频道上。

nal*_*zok 8

不完全是我想要的,但split_off足够接近。

let mut vec = vec![1, 2, 3];
let vec2 = vec.split_off(1);
assert_eq!(vec, [1]);
assert_eq!(vec2, [2, 3]);
Run Code Online (Sandbox Code Playgroud)

回答我自己的问题

pub fn split_at<T>(mut v: Vec<T>, mid: usize) -> (Vec<T>, Vec<T>) {
    let remainder = v.split_off(mid);
    (v, remainder)
}
Run Code Online (Sandbox Code Playgroud)


She*_*ter 5

如上所述,您的请求无法通过Vec. Vec表示分配的内存的唯一所有权。当 aVec超出范围时,该内存将被释放。

如果你能做到你所要求的,那么你要么

  1. 释放一段内存两次(起始内存)
  2. 释放一块未分配的内存(内存中间的某处)

这两种情况都是内存不安全,这正是 Rust 旨在防止的。


您可能来自带有垃圾收集器的编程语言,这也是解决相同问题的一种方法。

字节板条箱提供一个参考计数矢量样型称为Bytes(或BytesMut其他的情况下):

use bytes::Bytes; // 1.0.1

fn main() {
    let v = Bytes::from(vec![1, 2, 3, 4]);
    let (first, second) = v.split_at(2);
    assert_eq!(first, vec![1, 2]);
    assert_eq!(second, vec![3, 4]);
}
Run Code Online (Sandbox Code Playgroud)