let-rebinding和标准赋值之间有什么区别？

Question

拉斯特,为了改变一个可变变量的值,是什么在差let x = 12或x = 12在以下示例代码？

fn main() {
    let mut x: i32 = 8;
    {
        println!("{}", x); 
        let x = 12;  // what if change to x = 12
        println!("{}", x); 
    }
    println!("{}", x); 
    let x =  42;
    println!("{}", x); 
}

输出是8, 12, 8, 42.如果我let x = 12改为x = 12......

fn main() {
    let mut x: i32 = 8;
    {
        println!("{}", x); 
        x = 12; 
        println!("{}", x); 
    }
    println!("{}", x); 
    let x =  42;
    println!("{}", x); 
}

输出是8, 12, 12, 42.

我知道Rust使用let来做变量绑定,所以它let x = 12是一个变量重绑定,绑定只在一个范围内有效.但是如何解释功能x = 12和相应的范围呢​​？这是一种变量绑定吗？

Answer 1

第二let x引入的第二绑定的阴影的第一个用于块的其余部分.也就是说,有两个变量名称x,但您只能在语句后使用block语句访问第二个变量let x = 12;.这两个变量不需要具有相同的类型!

然后,在块语句之后,第二个x超出范围,因此您x再次访问第一个.

但是,如果您x = 12;改为编写,那就是赋值表达式:将x覆盖值in .这不会引入新变量,因此分配的值的类型必须与变量的类型兼容.

如果编写循环,这种差异很重要.例如,考虑这个功能:

fn fibonacci(mut n: u32) -> u64 {
    if n == 0 {
        return 1;
    }

    let mut a = 1;
    let mut b = 1;

    loop {
        if n == 1 {
            return b;
        }

        let next = a + b;
        a = b;
        b = next;
        n -= 1;
    }
}

此函数重新分配变量,以便循环的每次迭代都可以对前一次迭代分配的值进行操作.

但是,您可能会像这样编写循环:

loop {
    if n == 1 {
        return b;
    }

    let (a, b) = (b, a + b);
    n -= 1;
}

这不起作用,因为该let语句引入了新变量,并且这些变量将在下一次迭代开始之前超出范围.在下一次迭代中,(b, a + b)仍将使用原始值.