Rust排序算法实现遭遇E0502借用冲突错误求助

问题描述 #

在Rust中实现排序算法（未完成）时遇到E0502错误，提示无法对new_list进行可变借用，因为它已被不可变借用。尝试将new_list改为不可变引用而非移动，未能解决问题。

错误信息 #

error[E0502]: cannot borrow `new_list` as mutable because it is also borrowed as immutable
  --> src/exercises/mode_and_median.rs:35:13
   |
28 |     for &i in &new_list {
   |               ---------
   |               |
   |               immutable borrow occurs here
   |               immutable borrow later used here
...
35 |             new_list[index] = new_list[index + 1];
   |             ^^^^^^^^ mutable borrow occurs here

error[E0502]: cannot borrow `new_list` as mutable because it is also borrowed as immutable
  --> src/exercises/mode_and_median.rs:36:13
   |
28 |     for &i in &new_list {
   |               ---------
   |               |
   |               immutable borrow occurs here
   |               immutable borrow later used here
...
36 |             new_list[index + 1] = temp;
   |             ^^^^^^^^ mutable borrow occurs here

For more information about this error, try `rustc --explain E0502`.
error: could not compile `learning` (bin "learning") due to 2 previous errors

原代码 #

fn sort(list: &Vec<f32>) -> Vec<f32> {
    let mut new_list = list.clone();
    
    for &i in &new_list {
        let index = new_list.iter().position(|&x| x == i).unwrap();
        let next_item = new_list.get(index + 1).unwrap();
        if i > *next_item {
            //swap places
            //x = y; y = z; z = x;
            let temp = new_list[index];
            new_list[index] = new_list[index + 1];
            new_list[index + 1] = temp;
        }
    }

    return new_list;
}

问题分析 #

错误根源在于Rust的借用规则：同一时间内，一个值不能同时存在不可变借用和可变借用。原代码中for &i in &new_list创建了整个new_list的不可变借用，且该借用在整个循环周期内有效；而循环内部修改new_list的操作（new_list[index] = ...）会触发可变借用，两者冲突导致E0502错误。

此外原代码逻辑存在缺陷：

• 使用position查找元素索引时，若列表存在重复元素，会返回第一个匹配项的索引，导致排序逻辑错误。
• 每次循环都遍历列表查找索引，效率低下。

解决方案 #

改用索引迭代而非基于列表引用的迭代，避免持有整个列表的不可变借用；同时优化排序逻辑，修复索引错误问题。以下是修正后的冒泡排序实现：

fn sort(list: &Vec<f32>) -> Vec<f32> {
    let mut new_list = list.clone();
    let len = new_list.len();
    
    // 冒泡排序核心逻辑：按索引遍历，逐个比较相邻元素
    for i in 0..len - 1 {
        // 每轮循环后，最大元素已"冒泡"到末尾，无需再比较
        for j in 0..len - 1 - i {
            if new_list[j] > new_list[j + 1] {
                // 使用Rust内置swap方法简化交换操作
                new_list.swap(j, j + 1);
            }
        }
    }

    new_list
}

修正要点 #

1. 用for i in 0..len-1的索引迭代方式，避免持有整个列表的不可变借用，彻底解决E0502冲突。
2. 使用new_list.swap(j, j+1)替代手动交换，代码更简洁且安全。
3. 采用标准冒泡排序的嵌套循环逻辑，修复原代码中重复元素索引错误的问题，同时提升排序效率。

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