rust - 即使声明为可变的，变量也被认为是不可变的

Question

<分区>

Answer 1

shorter 的类型是一个引用，更准确地说是一个&Vec<bool> , 这意味着它指的是 Vec<bool>不允许对其进行突变¹。

将变量声明为 mut shorter只做 shorter variable 可变的，允许你例如使用 shorter = ...分配以使其引用不同的 Vec<bool> .无论变量的可变性如何，类型为 &Vec<bool> 的共享引用不允许改变它引用的对象。

您需要做的是创建一个类型为 &mut Vec<bool> 的可变引用, 使用 &mut bit_vec0和 &mut bit_vec1 .此更改使代码可以编译，此时 shorter不再需要 mut .

最后，这与问题无关，match_lengths接受 bit_vec0和 bit_vec1按值，修改它们，然后返回它们。虽然这确实有效，但接受可变引用更为惯用。这种方法对调用者来说更符合人体工程学，并且更清楚地表明该函数实际上并不“返回”任何东西，它实际上修改了现有对象。

经过这些修改，函数看起来像这样:

fn match_lengths(bit_vec0: &mut Vec<bool>, bit_vec1: &mut Vec<bool>) {
    let (shorter, longer) = if bit_vec0.len() < bit_vec1.len() {
        (bit_vec0, bit_vec1)
    } else {
        (bit_vec1, bit_vec0)
    };
    let bit_sign = match shorter.last() {
        Some(content) => *content,
        None => false,
    };
    for _ in shorter.len()..longer.len() {
        shorter.push(bit_sign);
    }
}

¹ 这听起来很像 C++ 的 const , 但 Rust 中的保证比 const 的保证还要强:不仅共享(非 mut)引用不允许改变它所指的对象，其他任何人也不允许! Rust 的编译器和运行时阻止创建 mut对该对象的任何共享引用存在时对该对象的引用。