rust - 如何解构元组以使绑定(bind)可变？

Question

如果我有以下结构:

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

以及以下函数:

// This will not compile
fn function(&mut struct: MyStruct) {
    let (val1, val2) = 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 是按引用绑定(bind)的；将它与 mut 结合起来可以为您提供可变引用。具体来说，它会为您提供一对 &mut i32。由于这些是引用，您必须取消引用它们才能通过它们进行分配(否则，您将尝试重新分配引用本身)。