第2章 Rust初体验2/8：变量值绑定：默认不可变增强代码安全性：猜骰子冷热游戏

讲动人的故事，写懂人的代码

2.3.6 变量值绑定：默认不可变增强代码安全性

赵可菲：“那句给 guess 赋值的，没特别写出类型来，看起来Rust是自动帮我们搞定类型判断的吧。”

    let mut guess = String::new();

贾克强：“对啊，Rust会自动帮我们做类型推断（type inference)，这让代码看起来更简洁不是吗？但是，亲爱的同学，这里其实是在做变量绑定（binding），并不是赋值哦。”

"在Rust中，当我们第一次使用一个变量的值之前，就要用let关键字把值和变量名绑定在一起，这个过程我们称为变量绑定。"

“更重要的是，Rust 的 let 绑定机制默认情况下是不可变的。这意味着一旦你用 let 绑定了一个值到一个变量上，这个变量的值就不能再被改变（除非你显式使用 mut 声明为可变）。这种不可变性有助于避免无意的状态变化，提高代码的安全性和可靠性。”

席双嘉：“毫无疑问，在C++中不存在这个所谓的变量绑定。然而，这与变量的声明和初始化有一定的相似之处。”

赵可菲：“Java里也有变量声明和初始化。那Rust里的变量绑定和变量赋值有啥区别吗？”

贾克强：“在 Rust 语言中，我们使用赋值语句来改变已经绑定的变量的值哦。如果变量是可变的，也就是用 mut 声明的，那我们就可以对其进行重新赋值啦。”

“看看我们代码中的这两行，上面一行就是变量绑定，真的很简洁易懂。然后，下面一行的.read_line(&mut guess)，这个方法调用，就是在给 guess 变量赋值哦。”

let mut guess = String::new();

io::stdin()
    .read_line(&mut guess)
    .expect("Failed to read line");

"read_line 方法会帮你从标准输入（stdin）读取一行数据，然后把读取的内容追加到 guess 字符串的末尾。在这里，&mut guess 是对 guess 的可变引用，这就像是让 read_line 方法得到了修改 guess 内容的权限。”

2.3.6.1 能否只做变量声明，而不做变量初始化？

赵可菲：“如果在Rust里只声明变量，不做变量绑定，也就是不做初始化，会发生什么？”

贾克强：“哎呀，那样的话编译时会报错，提示说没有初始化哦。”

大家都对三种语言处理这个问题的不同方式进行了讨论。下面是艾极思用表格记录的讨论纪要。

只做变量声明而不做初始化	变量类型	只声明不初始化是否允许	未初始化后的初始值
Rust	局部变量	不允许	（编译错误）