Rust变量绑定

fn main() {
    let x = 5i;}

在每个例子前都加上fn main() {有点单调乏味，所以以后就省略。如果读者一直跟着学习，请确保编辑main ()函数，不能省略，否则会出错。

在很多语言中，这叫做“变量”。但Rust的变量绑定却暗藏玄机。例如，Rust左边的let表达式是一个“模式”，而不仅仅是一个变量名。这意味着可以这么做：

let (x, y) = (1i, 2i);

这个表达式求值以后，x是1，y是2。模式是非常强大的，独立成一个章节。我先现在还用不到这些特性，往下学习之际，暂且记住这一点。

顺便说一下，在这些例子中，i表示数字是整型。

Rust是静态类型语言，这意味着，提前指定类型，在编译是会进行类型检查。那么第一个例子为什么能编译呢？那是因为Rust有“类型推断”的能力。如果Rust能分析出来某个东西的类型，就不要求开发者实际敲出来。

不过，如果愿意，也可以加上类型。类型放在冒号（:）后面：

let x: int = 5;

如果我让你大声地对着全班读出来，就是“x绑定到int类型，绑定值5”。

let x = 5i;
x = 10i;

编译器会报错：

error: re-assignment of immutable variable `x`
    x = 10i;
    ^~~~~~~

如果想要绑定可以更改，必须使用mut：

let mut x = 5i;
x = 10i;

绑定默认不可变更的不能用一句话说清楚，不过可以从Rust的核心考虑：安全。如果忘记使用mut，编译器就会捕捉到，让你知道更改了本不想更改的东西。如果默认绑定可变，编译器就不能告诉你这个问题。如果缺失想要设成可变，解决办法很简单：加上mut。

尽可能避免使用可变状态还有其他很好的理由，但超出了本指南所述范围。一般而言，通常能够避免使用可变量，因此在Rust中这么做更可取。尽管如此，有时需要使用可变量，因此并不禁止使用。

再回到变量绑定。Rust变量绑定还有一个区别于其他语言之处：绑定必须用值初始化才能使用。如果这么做：

let x;

就会出错：

src/main.rs:2:9: 2:10 error: cannot determine a type for this local variable: unconstrained type
src/main.rs:2     let x;
                      ^

不过，指定类型就可以编译：

let x: int;

我们来试一试。修改src/main.rs如下：

fn main() {
    let x: int;
    println!("Hello, world!");}

可以在命令行使用cargo build来生成程序。会出现警告，但仍会输出“Hello, world!”

Compiling hello_world v0.0.1 (file:///home/you/projects/hello_world)
src/main.rs:2:9: 2:10 warning: unused variable: `x`, #[warn(unused_variable)] on by default
src/main.rs:2     let x: int;
                       ^

Rust警告我们从未使用变量绑定，但由于我们没有使用这个变量，没出问题，也不可怕。但如果实际使用这个x，那就不一样了。我们试一下。修改程序如下：

fn main() {
    let x: int;
    println!("The value of x is:｛｝", x);}

试试生成这个程序。会得到如下错误：

$ cargo build
   Compiling hello_world v0.0.1 (file:///home/you/projects/hello_world)
src/main.rs:4:39: 4:40 error: use of possibly uninitialized variable: `x`
src/main.rs:4     println!("The value of x is: {}", x);
                                                    ^
note: in expansion of format_args!<std macros>:2:23: 2:77 note: expansion site
<std macros>:1:1: 3:2 note: in expansion of println!
src/main.rs:4:5: 4:42 note: expansion site
error: aborting due to previous error
Could not compile `hello_world`.

Rust不允许使用未经初始化的值。接下来，我们谈谈添加到println！的大括号。如果在输出的字符串中包含两个大括号（｛｝），Rust会解释成要求在这个问题插入某种值。字符串插入上一个计算机科学术语，意思是“在字符串中间插入”。我们增加了一个都要好，紧跟着x，表示想要在大括号的位置插入x的值。如果传递个参数有多个，逗号用来分割传给函数的参数和宏。

如果仅使用大括号，Rust会尝试检查值的类型，以有意义的方式显示值。如果想要更详细地指定格式，还有很多选项可供使用。目前，我们仅使用默认设置：输入整型并不复杂。