为什么允许我在嵌套函数（Rust）中有多个 &mut 引用？-解网

问：

我是 rust 的新手，我想知道为什么以下代码不会导致：不能一次多次借用 val 作为可变错误。似乎当我到达函数时，我应该对同一个原始变量有三个单独的引用：second_layerval

val_ref在主功能体中

val_ref2在first_layer函数体中

val_ref3在second_layer函数体中

任何帮助将不胜感激！

fn first_layer(val_ref2: &mut String)
{
    *val_ref2 = String::from("first_layer");
    println!("{}", val_ref2);
    second_layer(val_ref2);
}

fn second_layer(val_ref3: &mut String)
{
    *val_ref3 = String::from("second_layer");
    println!("{}", val_ref3);

}

fn main()
{
    let mut val = String::from("asdf");
    let val_ref: &mut String = &mut val;

    first_layer(val_ref);

    println!("{}", val_ref);

}

谢谢

锈参考不变性可变借用检查器

@Joe_Jingyu 因为这里的提问者问的是，嵌套引用是如何开始的，而不管隐式重借如何。换言之，当 compile 明显创建对的别名可变引用时，为什么会编译？隐式再借的讨论没有涵盖这一点，因为它只是解释了隐式再借如何通过创建嵌套引用来防止引用被移动。它没有解释为什么允许嵌套的内部引用从外部引用对数据进行别名。let mut i = 0i32; let r1 = &mut i; let r2 = &mut *r1i

1赞 Joe_Jingyu 12/13/2021

@user4815162342我明白你的意思了。但是，我不知道 RFC#2094 是否是关于重新借用动机的良好文档。如果你知道一个更适合初学者。我也想读书。谢谢。

答：

0赞 hkBst 12/13/2021 #1

在函数调用期间，调用另一个函数的函数中的引用暂时不存在。

标识符不会自动存在于堆栈下部调用的函数中。仅仅因为一个函数调用另一个函数并不意味着被调用方应该有权访问调用方的局部变量。如果你尝试过，你会得到一个。not found in this scope

您可以（尝试）做的是创建一个闭包来捕获调用方的环境，然后重用调用方的变量之一。但是你会发现，如果你违反了借用规则，编译器就会抱怨。

fn first_layer(val_ref2: &mut String) {
    // println!("{}", val); // Cannot use val from main!
    *val_ref2 = String::from("first_layer");
    println!("{}", val_ref2);
    (|val_ref3: &mut String| {
        *val_ref3 = String::from("second_layer");
        println!("{}", val_ref3);
        println!("{}", val_ref2); // This is not allowed
    })(val_ref2);
}

fn main() {
    let mut val = String::from("asdf");
    let val_ref: &mut String = &mut val;

    first_layer(val_ref);

    println!("{}", val_ref);
}

另一种思考方式是内联。如果将函数内联到函数中，则会得到：second_layerfirst_layer

fn first_layer(val_ref2: &mut String)
{
    *val_ref2 = String::from("first_layer");
    println!("{}", val_ref2);
    *val_ref2 = String::from("second_layer");
    println!("{}", val_ref2);
}

这完全没问题！

因此，将最后两行抽象为自身函数的代码也应该完全没问题。

如果使用，则不会收到错误，并且仅在删除后使用。但这并不能否定为什么 Rust 首先允许它们存在的问题。我认为原因是：1）允许重新借用，2）允许预测，即获得对你所引用的部分数据的可变引用。因此，嵌套引用是投影的一种特例。r2r1r2

上一个：分配可变变量后如何处理？

下一个：可变借入循环

为什么允许我在嵌套函数（Rust）中有多个 &mut 引用？

Why am I allowed to have multiple &mut refs in nested functions (Rust)?

评论

评论

为什么允许我在嵌套函数 （Rust） 中有多个 &amp;mut 引用？

Why am I allowed to have multiple &mut refs in nested functions (Rust)?

评论

评论

为什么允许我在嵌套函数（Rust）中有多个 &mut 引用？