讲动人的故事，写懂人的代码
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 | 局部变量 | 不允许 | （编译错误） |
