如何构造元组以使绑定可变？

Question

如果我有以下结构:

struct MyStruct { tuple: (i32, i32) };

并具有以下功能:

// This will not compile
fn function(my_struct: &mut MyStruct) {
    let (val1, val2) = my_struct.tuple;
    val1 = 1;
    val2 = 2;
}

我如何借用val1和val2作为可变因此当我重新分配它们时,更改出现在原始结构中？

Answer 1

你有一些问题:

• 你把它&mut放在了错误的地方; &mut是类型的一部分,而不是参数(除非你解构参数,你不是).

• 你不能调用参数struct,因为那是一个关键字.

• 您不能使用直接赋值分配给可变引用.

所以,考虑到这些,这是一个有效的解决方案:

#[derive(Debug)]
struct MyStruct {
    tuple: (i32, i32),
}

fn function(s: &mut MyStruct) {
    let (ref mut val1, ref mut val2) = s.tuple;
    *val1 = 1;
    *val2 = 2;
}

fn main() {
    let mut s = MyStruct { tuple: (0, 0) };
    function(&mut s);
    println!("{:?}", s);
}

这里的关键是ref在一个模式中通过引用绑定; 结合它mut给你一个可变的参考.具体来说,它给你一对&mut i32s.由于这些是引用,您必须取消引用它们以便通过它们进行分配(否则,您将尝试重新分配引用本身).

Answer 2

你有两个略有不同的问题.

您可以通过说mut两次来创建可变绑定:

fn main() {
    let a = (1, 2);
    let (mut b, mut c) = a;
    b += 1;
    c += 2;

    println!("{}, {}", b, c);
}

但是要在原始元组中进行更改,您需要对该元组进行可变引用:

fn main() {
    let mut a = (1, 2);

    {
        let (ref mut b, ref mut c) = a;
        *b += 1;
        *c += 2;
        // Let mutable borrows end
    }

    println!("{:?}", a);
}