Rust基本语法
1 - Rust的常量
常量是绑定到一个名称的不允许改变的值。
常量与不可变变量的区别:
- 不允许对常量使用
mut
- 声明常量使用
const
关键字而不是let
,并且 必须 注明值的类型。 - 常量只能被设置为常量表达式,而不能是函数调用的结果,或任何其他只能在运行时计算出的值
备注:rust的常量是必须在编译时明确赋值的。
声明常量的例子:
const MAX_POINTS: u32 = 100_000;
2 - Rust的变量
不可变变量
变量默认是不可改变的(immutable),这是Rust 提供的安全性和简单并发性来编写代码的众多方式之一。
let 关键字用于定义变量,默认定义的是不可变变量:
fn main() {
// 可以通过类型推导得到变量类型,因此可以不制定变量类型
let a = 1;
// 也可以明确指定变量类型
let b: bool = true;
}
Rust 编译器保证,如果声明一个值不会变,它就真的不会变。这意味着当阅读和编写代码时,不需要追踪一个值如何和在哪可能会被改变,从而使得代码易于推导。
可变变量
变量只是默认不可变;正如在第二章所做的那样,你可以在变量名之前加 mut 来使其可变。除了允许改变值之外,mut 向读者表明了其他代码将会改变这个变量值的意图。
fn main() {
let mut x = 5;
println!("The value of x is: {}", x);
x = 6;
println!("The value of x is: {}", x);
}
权衡使用
- 使用大型数据结构时,适当地使用可变变量,可能比复制和返回新分配的实例更快
- 对于较小的数据结构,总是创建新实例,采用更偏向函数式的编程风格,可能会使代码更易理解,为可读性而牺牲性能或许是值得的
当多种类型均有可能时,必须增加类型注解:
let guess: u32 = "42".parse().expect("Not a number!");
变量隐藏
可以定义一个与之前变量同名的新变量,而新变量会 隐藏(Shadowing) 之前的变量。
Rustacean 们称之为第一个变量被第二个 隐藏 了,这意味着使用这个变量时会看到第二个值。可以用相同变量名称来隐藏一个变量,以及重复使用 let
关键字来多次隐藏,如下所示:
fn main() {
let x = 5;
let x = x + 1;
let x = x * 2;
println!("The value of x is: {}", x);
}
当再次使用 let
时,实际上创建了一个新变量,我们可以改变值的类型,但复用这个名字:
let spaces = " ";
let spaces = spaces.len();
3 - Rust的语句
语句是指要执行的一些操作和产生副作用的表达式。
语句分为两种:
声明语句
用于声明各种语言项,包括声明变量,静态变量,常量,结构体,函数等,以及通过 extern 和 use 关键字引入包和模块等。
表达式语句
特指以分号结束的表达式。此类表达式求值结果将会被舍弃,并总是返回单元类型()
。
4 - Rust的表达式
表达式主要用于计算求值。
Rust 编译器在解析代码时:
- 如果遇到分号,就会继续往后面执行
- 如果遇到语句,就会执行语句
- 如果遇到表达式,就会对表达式求值
- 如果分号后面什么都没有,就会补上单元值
()
- 当遇到函数时,就会将函数体的花括号识别为块表达式。
块表达式
块表达式是由一对花括号和一系列表达式组成的,它总是返回块中最后一个表达式的值。
位置表达式
位置表达式(Place Expression)一般叫做左值,是表示内存位置的表达式,有以下几类:
- 本地变量
- 静态变量
- 解引用 (* express)
- 数组索引 (expr[expr])
- 字段引用 (expr.field)
- 位置表达式组合
通过位置表达式可以对某个数据单元的内存进行读写。位置表达式可以用于赋值。
值表达式
值表达式(Value Expression)一般叫做右值,值表达式引用了某个存储单元地址中的数据。它相当于数据,只能进行读操作。
从语义角度来说,位置表达式代表了持久性数据,值表达式代表了临时数据。位置表达式一般有持久的状态,值表达式要不是字面量,要不就是表达式求值过程中创建的临时值。
5 - Rust的注释
Rust的注释有两种:
- 普通注释
//
对整行进行注释/* .. */
对区块注释
- 文档注释
///
生成库文档,一般用于函数或者结构体的说明,置于说明对象的上方//!
也生成库文档,一般用于说明整个模块的功能,置于模块文件的头部
示例:
/// # 文档注释: Sum函数
/// 该函数为求和函数
/// # usage:
/// assert_eq!(3, sum(1, 2));
fn sum(a: i32, b: i32) -> i32 {
a + b
}
pub fn annotation() {
// 这是单行注释的示例
/*
* 这是区块注释, 被包含的区域都会被注释
* 你可以把/* 区块 */ 置于代码中的任何位置
*/
/*
注意上面区块注释中的*符号,纯粹是一种注释风格,
实际并不需要
*/
let x = 5 + /* 90 + */ 5;
println!("Is `x` 10 or 100? x = {}", x);
println!("2 + 3 = {}", sum(2, 3));
}
文档注释
文档注释支持 markdown !!
还支持对文档中的示例代码进行测试,可以用 rustdoc 工具生成 HTML 文档
6 - Rust的打印
打印操作由std::fmt
里面所定义的一系列宏来处理,包括:
format!
:将格式化文本输出到字符串
(String)print!
:与format!
类似,但将文本输出到控制台println!
: 与print!
类似,但输出结果追加一个换行符
详细的使用说明见rust官方文档:
7 - Rust的返回值
为什么使用返回值而不是异常
Why Rust uses Return Values for errors instead of Exceptions
我经常问自己,为什么Rust中的错误处理使用返回值而不是异常,在此进行解释,我引用在这里以备将来。
有些人需要在不允许使用 Exception 的地方使用Rust(因为展开表和清理代码太大)。这些人实际上包括所有浏览器供应商和游戏开发人员。此外, Exception 具有讨厌的代码生成权衡。您要么将它们设为零成本(如C ++,Obj-C和Swift编译器通常所做的那样),在这种情况下,在运行时抛出异常的代价非常高,或者使它们成为非零成本(如Java HotSpot和Go 6g/8g),在这种情况下,即使没有引发异常,您也会为每个 try 块(在Go中为defer)牺牲性能。对于使用RAII的语言,每个带有析构函数的堆栈对象都形成一个隐式try块,因此在实践中这是不切实际的。
零成本 Exception 的性能开销不是理论问题。我记得关于使用GCJ(使用零成本 Exception)进行编译时,Eclipse 需要花费30秒来启动的故事,因为它在启动时会引发数千个 Exception。
当您同时考虑错误和成功路径时,相对于 Exception,C处理错误的方法具有出色的性能和代码大小,这就是为什么系统代码非常喜欢它的原因。然而,它的人机工程学和安全性很差,Rust用Result来解决。Rust的方法形成了一种混合体,旨在实现C错误处理的性能,同时消除其陷阱。