Rust学习教程07 - 变量绑定与解构

本文节选自<<Rust语言圣经>>一书
欢迎大家加入Rust编程学院，一起学习交流:
QQ群：1009730433

变量绑定与解构

本节在内容上部分参考了Rust Book

鉴于本书的目标读者已经熟练掌握其它任意一门编程语言，因此这里就不再对何为变量进行赘述，让我们开门见山来谈谈，为何Rust选择了手动设定变量可变性。

为何要手动设置变量的可变性？

在其它大多数语言中，变量一旦创建，要么是可变的，要么是不可变的(ClosureScript),前者为编程提供了灵活性，后者为编程提供了安全性，而Rust选择了两者我都要，既要灵活性又要安全性。

能想要学习Rust，说明我们的读者都是相当有水平的程序员了，你们应该能理解一切选择都是权衡，那么两者都要的权衡是什么呢？这就是Rust开发团队为我们做出的贡献，两者都要意味着底层代码的实现复杂度大幅提升，Respect to The Rust Team!

除了以上两个优点，还有一个很大的优点，那就是运行性能上的提升，因为将本身无需改变的变量声明为不可变在运行期会避免一些多余的runtime检查。

变量命名

在命名方面，和其它语言没有区别，不过当你给变量命名时，需要遵循Rust命名规范。

Rust语言有一些关键字（keywords），和其他语言一样，这些关键字都是被保留给Rust语言使用的，因此，这些关键字不能被用作变量或函数的名称。 在附录 A 中可找到关键字列表。

变量绑定

在其它语言中，我们用var a = "hello world"的方式给a赋值，也就是把等式右边的"hello world"字符串赋值给变量a，而在Rust中，我们这样写：let a = "hello world", 同时给这个过程起了另一个名字:变量绑定。

为何不用赋值而用绑定呢(其实你也可以称之为赋值，但是绑定的含义更清晰准确)？这里就涉及Rust最核心的原则-所有权，简单来讲，任何内存对象都是有主人的，而且一般情况下完全属于它的主人，绑定就是把这个对象绑定给一个变量，让这个变量成为它的主人(聪明的读者应该能猜到，在这种情况下，该对象之前的主人就会丧失对该对象的所有权)，像极了我们的现实世界，不是吗？

至于为何要采用所有权这种复杂的东东，先别急，等讲Rust核心概念时，我们会为你详细道来。

变量可变性

Rust的变量在默认情况下是不可变的。在上文提到过，这是Rust团队为我们精心设计的语言特性之一，这样可以让我们编写更安全、更高性能的代码。当然你可以通过mut关键字让变量变为可变的，以实现更加灵活的设计。

当变量不可变时，这意味着一旦一个值绑定到一个变量a后，就不能再更改a的值了。为了说明，在我们的工程目录下使用 cargo new variables来创建一个名为 variables 的新项目。

然后在新建的 variables 目录下，打开 src/main.rs 并将代码替换为下面还未能通过编译的代码：

fn main() {
    let x = 5;
    println!("The value of x is: {}", x);
    x = 6;