事实上每个非‘Hello World’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
”。
在本例中我们选择x是一个32位无符号整数。Rust有许多不同的整型。符号整型以i开头,无符号整型以u开头。可能整型大小为8,16,32,64位。
绑定默认是不可更改的。如下代码无法编译:
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会尝试检查值的类型,以有意义的方式显示值。如果想要更详细地指定格式,还有很多选项可供使用。目前,我们仅使用默认设置:输入整型并不复杂。