Rust中向量的等效浅拷贝方案探究

需求背景 #

实现算法时需要一个可变向量，其元素是原Vec<Point>的子集：子集顺序与原向量不同，且会逐步缩减（因此切片不可用）；本质需要可修改的浅拷贝。原向量以&points传入函数，单线程环境下原向量及其元素均不修改，性能优先级极高。

已尝试方案总结 #

• 克隆元素的Vec<Point>：内存占用高、深拷贝耗时，但算法运行无额外开销，总性能最优
• 存储引用的Vec<&Point>：内存占用低、拷贝引用快，但需实现两套子函数，算法运行开销约25%
• 使用Rc<Point>：内存占用低，但算法运行开销高达250%，且无法在函数内无克隆创建Vec<Rc<Point>>，已被排除

替代实现方案 #

1. 基于NonNull<Point>的unsafe方案 #

利用单线程下原向量内存稳定的特性，用NonNull存储原始元素的指针：

• 内存开销与Vec<&Point>一致（仅存储指针）
• 无需处理引用生命周期，不用维护两套子函数
• 实现示例：

  use std::ptr::NonNull;
  
  // 从原向量构建可变指针向量
  fn build_mutable_subset(points: &Vec<Point>, subset_indices: &[usize]) -> Vec<NonNull<Point>> {
      subset_indices.iter()
          .map(|&i| NonNull::from(&points[i]))
          .collect()
  }
  
  // 访问元素（unsafe，需保证原向量存活且未被修改）
  unsafe fn get_point(ptr: NonNull<Point>) -> &Point {
      ptr.as_ref()
  }
  

• 风险注意：必须严格保证原向量在Vec<NonNull<Point>>的生命周期内，不被扩容、修改或销毁。单线程下只要原向量以&points传入且全程只读，即可避免悬空指针问题。

2. 索引包装的安全方案 #

自定义结构存储原向量引用和子集索引，完全避免unsafe：

struct IndexedPoints<'a> {
    source: &'a Vec<Point>,
    indices: Vec<usize>,
}

impl<'a> IndexedPoints<'a> {
    fn new(source: &'a Vec<Point>, subset_indices: &[usize]) -> Self {
        Self {
            source,
            indices: subset_indices.to_vec(),
        }
    }

    // 安全访问元素
    fn get(&self, idx: usize) -> &Point {
        &self.source[self.indices[idx]]
    }

    // 修改子集（排序、删除等操作直接操作indices）
    fn sort_subset_by<F>(&mut self, mut compare: F)
    where
        F: FnMut(&Point, &Point) -> std::cmp::Ordering,
    {
        self.indices.sort_by(|&a, &b| compare(&self.source[a], &self.source[b]))
    }
}

• 内存开销为原向量引用+索引列表，若Point尺寸大于usize，内存占用远低于克隆方案
• 算法运行时仅多一次索引查找，开销远低于Vec<&Point>的生命周期检查，也远优于Rc
• 完全安全，无需担心悬空指针问题

关于纯浅拷贝的风险 #

你期望的“不移动的纯浅拷贝”本质是存储原始元素的指针/引用，唯一核心风险是原向量的内存稳定性：如果原向量在浅拷贝向量存活期间发生扩容（元素地址变更）、被修改或销毁，会导致悬空指针或未定义行为。但在你的单线程、原向量只读的场景下，只要保证原向量以引用传入且全程不被修改，这个风险完全可控。

内容的提问来源于stack exchange，提问作者Gunnar Bernstein