「Learn Rust」#0 总章

学习一门新语言之Haskell

前言

Haskell学的差不多了，也没啥事想干了
GZTime之前也跟我推荐过Rust挺好玩的
这几天看一看
一样，没有教程，只是我的笔记而已

Installation

Mac上安装只需要安装rustup即可：

$ curl --proto '=https' --tlsv1.2 https://sh.rustup.rs -sSf | sh

然后更新、卸载、检查：

$ rustup update
$ rustup self uninstall
$ rustc --version

Rust代码的后缀名是.rs，通过rustc code.rs来编译出二进制文件code再运行

Cargo

通过rustup安装后自带cargo，可以通过cargo --version检查

通过cargo new project_name来新建一个项目，这时会在当前目录下自动生成下面的目录结构：

project_name
    ├── .git/
    ├── .gitignore
    ├── Cargo.toml
    └── src
        └── main.rs

cargo会根据输入的项目名称新建一个文件夹，并且默认使用git进行版本控制（可以使用cargo new ... --vcs none取消版本控制）

其中main.rs文件中就是一个Hell World程序。Cargo.toml是这个项目的配置文件：

[package]
name = "project_name"
version = "0.1.0"
edition = "2018"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]

构建、运行、发布

• 使用cargo build会构建这个项目，并且将可执行文件创建在target/debug/文件夹中
• 使用cargo run直接构建并运行这个项目
• 使用cargo check检查项目，但不生产可执行文件、也不输出结果
• 使用cargo build --release来发布，产生但可执行文件在target/release/文件夹中，不用于直接build，它会进行一些优化来使程序运行地更快

常见编程概念

变量

let语句会创建一个变量，但是默认都是不可变的（immutable）。即一旦使用let创建一个变量并为其赋值，那这个变量将不允许被改动，如果在代码中改动了这个变量，那么将不会通过编译

但是可以再使用let语句来创建一个同名变量：

let x = 1;
let x = x + 1;

这时，原来的x就被隐藏（shadowing）了（这种方式的前后两个x本质上还是两个变量，它们允许有着不同的数据类型）

在let后面加上mut也可以创建一个可变的变量：

let mut x = 1;
x = x + 1;

但这时x不能更改数据类型

常量

常量不同于变量，它一定是不可变的。常量通过const关键字创建，而且需要明确指定数据类型（Rust常量命名规范是用全大写）：

const MAX_POINT: u32 = 100_000;

数据类型

Rust是静态类型语言，编译器需要在编译时得到所有变量的类型，但是也可以自动推测类型。

Rust中的类型分为两种，标量（scalar）和复合（compound）

scalar

整型：

长度	有符号	无符号
8-bit	i8	u8
16-bit	i16	u16
32-bit	i32	u32
64-bit	i64	u64
128-bit	i128	u128
arch	isize	usize

isize和usize是根据系统而定（32/64）

同时整型的值也可以用不同进制表示（十六进制0x开头，八进制0o开头，二进制0b开头，单字节字符b开头（b’A’）），在数值中间也可以增加_来增强可读性，在数值结尾也可以加上类型后缀来明确类型

浮点型：
单精度浮点f32，双精度浮点f64

布尔型：
bool，值是小写true/false

字符型：
char，四字节（使用unicode）。字符是单引号而字符串是双引号

compound

元组：
元素类型可以不同，但是整个元组的类型和各个元素的类型都有关，例如：

let tup: (i32, f64, u8) = (500, 6.4, 1);

可以通过.加索引来访问元素：

let x = tup.1

列表：
不同于Python/Haskell，Rust中的列表的长度也是不可变的，而且列表中的所有元素的类型也必须一致。含有五个i32类型的元素的列表的类型就可以写成[i32; 5]

同时[3; 5]这种写法也等价于[3, 3, 3, 3, 3]

可以通过[index]来访问元素，如lst[1]。但如果索引超出列表元素个数，那么编译将不会报错，但运行时会报错

函数

通过fn关键字来定义函数，参数的类型必须指定，如果有返回值，返回值的类型也要在()后面用-> type指定。返回值可以在函数中途直接return返回，也可以在函数结尾直接写出要返回的值（不加分号，此时是表达式而不是语句），比如：

fn plus_one(x: i32) -> i32 {
    x + 1
}

同样，用{}括上的代码块也是一个表达式，它也可以有返回值：

let x = 5;
let y = {
    let x = 3;
    x + 1
};

控制流

条件

常规的if语句，比如：

if a == 1 {
    ...;
} else if a == 2 {
    ...;
} else {
    ...;
}

不同于Haskell，它可以没有else只有if

if语句也可以用在let上，这时{}中要是一个表达式而不是语句，即不带分号：

let number = if condition {
    5
} else {
    6
};

循环

loop：
使用loop会将块一直循环直到遇到break，也可以从loop循环返回值，比如：

let mut counter = 0;

let result = loop {
    counter += 1;

    if counter == 10 {
        break counter * 2;
    }
};

while：

while condition {
    ...;
}

for：

for element in lst.iter() {
    ...;
}

所有权

鸽了，明天再写

Reference

• Rust程序设计语言 简体中文版