-
Notifications
You must be signed in to change notification settings - Fork 31
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Showing
8 changed files
with
416 additions
and
37 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,338 @@ | ||
# Rust学习笔记 | ||
|
||
## 目录 | ||
1. [核心软件](#核心软件) | ||
1. [笔记](#笔记) | ||
1. [语法](#语法) | ||
|
||
--- | ||
### 核心软件 | ||
1. rustup | ||
|
||
Rust官方工具链管理器 | ||
1. rustc | ||
|
||
Rust的编译器 | ||
1. cargo | ||
|
||
Rust的构建系统和包管理器 | ||
|
||
>我们把代码所需要的库叫做 依赖(dependencies)。在 Rust 中,代码包被称为 crates。 | ||
1. rustfmt | ||
|
||
Rust代码格式化工具 | ||
|
||
### 笔记 | ||
1. `.rs`Rust源文件名 | ||
|
||
文件、文件夹命名用 蛇形命名法(字母全小写、下划线`_`分割单词),e.g. `hello_world.rs`。 | ||
1. `fn main() {}` | ||
|
||
`main`函数是一个特殊的函数:在可执行的 Rust 程序中,它总是最先运行的代码。 | ||
1. `println!`调用了一个 Rust 宏(macro) | ||
|
||
如果是调用函数,则应输入 println(没有 ~~`!`~~)。当看到符号 `!` 的时候,就意味着调用的是`宏`而不是~~普通函数~~,并且宏并不总是遵循与函数相同的规则。 | ||
1. Rust 是一种 **预编译静态类型(ahead-of-time compiled)** 语言 | ||
|
||
1. 在编译时就必须知道所有变量的类型。 | ||
|
||
每一个值都属于某一个 数据类型(data type)。根据值及其使用方式,编译器通常可以推断出我们想要用的类型,当多种类型均有可能时,必须增加类型注解。 | ||
2. 在运行 Rust 程序之前,必须先使用 Rust 编译器编译它,即输入 `rustc` 命令并传入源文件名称。编译成功后,Rust 会输出一个二进制的可执行文件。 | ||
|
||
>你可以编译程序,并将可执行文件送给其他人,他们甚至不需要安装 Rust 就可以运行。如果你给他人一个 .rb、.py 或 .js 文件,他们需要先分别安装 Ruby,Python,JavaScript 实现(运行时环境,VM)。不过在这些语言中,只需要一句命令就可以编译和运行程序。这一切都是语言设计上的权衡取舍。 | ||
1. `rustc` | ||
|
||
`rustc 文件`:(在执行命令的位置,)输出一个二进制的可执行文件。 | ||
1. `cargo` | ||
|
||
1. `cargo new 文件夹名` 创建项目。 | ||
1. `cargo build` 构建项目。 | ||
1. `cargo run` 构建项目并运行项目。 | ||
1. `cargo check` 在不生成二进制文件的情况下构建项目来检查错误(还是会创建 构建目录)。 | ||
|
||
>有别于`rustc 文件`将构建结果放在与源码相同的目录,`cargo` 会将其放到 target/debug 目录。 | ||
>`cargo build/run/check --release`优化编译项目,生成二进制文件到 target/release 目录 | ||
1. `cargo update`会忽略 Cargo.lock 文件,并计算出所有符合 Cargo[.toml](https://github.com/toml-lang/toml) 声明的最新版本,e.g. `x.y.z`会保证`x.y`不变化,仅升级`.z`。 | ||
1. `cargo doc --open`构建所有本地依赖提供的文档,并在浏览器中打开。 | ||
1. Rust 代码中的 函数和变量名 使用 蛇形命名法(字母全小写、下划线`_`分割单词) | ||
1. Rust 是一门 基于表达式(expression-based)的语言 | ||
|
||
1. 语句(Statements)是执行一些操作但不返回值的指令。 表达式(Expressions)计算并产生一个值。 | ||
|
||
>不同于其他语言的重要区别。 | ||
2. 表达式的结尾没有分号`;`。如果在表达式的结尾加上分号,它就变成了语句,而语句不会返回值。 | ||
1. 代码块`{}`的值是其最后一个表达式的值 | ||
|
||
一个代码块内返回的所有情况(最好)都是同一个数据类型。 | ||
1. 所有权 | ||
|
||
1. 规则 | ||
|
||
1. Rust 中的每一个值都有一个 所有者(owner)。 | ||
2. 值在任一时刻有且只有一个所有者。 | ||
3. 当所有者(变量)离开作用域,这个值将被丢弃。 | ||
|
||
变量的所有权总是遵循相同的模式:将值赋给另一个变量时移动它。当持有堆中数据值的变量离开作用域时,其值将通过 drop 被清理掉,除非数据被移动move为另一个变量所有。 | ||
1. 如果一个类型实现了 Copy trait,那么一个旧的变量在将其赋值给其他变量后仍然可用。否则旧的变量会被 move | ||
|
||
任何一组简单标量值的组合都可以实现 Copy,任何不需要分配内存或某种形式资源的类型都可以实现 Copy 。如下是一些 Copy 的类型: | ||
|
||
1. 所有整数类型,比如 u32。 | ||
2. 所有浮点数类型,比如 f64。 | ||
3. 布尔类型,bool,它的值是 true 和 false。 | ||
4. 字符类型,char。 | ||
5. 元组,当且仅当其包含的类型也都实现 Copy 的时候。比如,(i32, i32) 实现了 Copy,但 (i32, String) 就没有。 | ||
1. `赋值`、`函数传递值`、`函数返回值` 都能进行 移动move、复制copy、引用reference | ||
1. 引用reference `&` | ||
|
||
使用值但不获取其所有权。 | ||
|
||
1. 创建一个引用的行为称为 借用(borrowing),(默认)不允许修改引用的值。 | ||
2. `&mut`允许修改引用的值。 | ||
|
||
>从而避免 数据竞争(data race)。 | ||
1. 若有一个对该变量的可变引用`&mut`,则在重叠的作用域内,不能再创建对该变量的任何引用`&`、`&mut` | ||
1. 若有一个对该变量的不可变引用`&`,则在重叠的作用域内,不能再创建对该变量的可变引用`&mut`(,但可以有多个该变量不可变引用`&`) | ||
- 若以上情况的作用域没有重叠,则代码是可以编译的。编译器可以在作用域结束之前就判断不再使用的引用。 | ||
3. <details> | ||
|
||
<summary>引用必须总是有效的</summary> | ||
|
||
```rust | ||
fn dangle() -> &String { // dangle 返回一个字符串的引用 | ||
let s = String::from("hello"); // s 是一个新字符串 | ||
|
||
&s // 返回字符串 s 的引用 | ||
} // 这里 s 离开作用域并被丢弃。其内存被释放。 | ||
// 报错 | ||
``` | ||
|
||
```rust | ||
fn no_dangle() -> String { | ||
let s = String::from("hello"); | ||
|
||
s // 所有权被移动出去,所以没有值被释放。没有错误 | ||
} | ||
``` | ||
</details> | ||
|
||
- `&变量[开始索引..结束索引]`:str变量、数组变量 的部分引用 | ||
|
||
### 语法 | ||
1. `let`变量 | ||
|
||
1. 变量默认是不可改变的(immutable) | ||
|
||
```rust | ||
let apples = 5; // 不可变(默认) | ||
apples = 6; // 报错 | ||
|
||
|
||
let mut bananas = 5; // 可变 | ||
bananas = 6; // 正确(变量值变化),但是类型不能改变 | ||
bananas = '7'; // 报错 | ||
``` | ||
2. 隐藏(Shadowing) | ||
|
||
我们可以定义一个与之前变量同名的新变量。这意味着当您使用变量的名称时,编译器将看到第二个变量。实际上,第二个变量“遮蔽”了第一个变量,此时任何使用该变量名的行为中都会视为是在使用第二个变量,直到第二个变量自己也被隐藏或第二个变量的作用域结束。可以用相同变量名称来隐藏一个变量,以及重复使用 let 关键字来多次隐藏。新变量不受被隐藏变量的任何影响(类型、值)。 | ||
|
||
```rust | ||
let x = 5; | ||
|
||
let x = x + 1; // 隐藏(前一个同名变量的值没有变化,是隐藏了) | ||
|
||
{ | ||
let x = x * 2; // 隐藏(前一个同名变量的值没有变化,是隐藏了) | ||
println!("12: {}", x); | ||
} | ||
{ | ||
let x = "字符串"; // 隐藏(前一个同名变量的值没有变化,是隐藏了) | ||
println!("字符串: {}", x); | ||
} | ||
|
||
println!("6: {}", x); | ||
``` | ||
1. `const`常量 | ||
|
||
与`let`变量的区别: | ||
|
||
1. 不允许对常量使用 `mut`。常量不光默认不可变,它总是不可变。 | ||
2. 必须 注明值的类型。 | ||
3. 可以在任何作用域中声明,包括全局作用域。(`let`变量不能在全局作用域定义) | ||
4. 只能被设置为常量表达式,而不可以是其他任何只能在运行时计算出的值。 | ||
|
||
- Rust约定常量命名用 字母全大写、下划线`_`分割单词。 | ||
|
||
```rust | ||
const THREE_HOURS_IN_SECONDS: u32 = 60 * 60 * 3; | ||
``` | ||
1. `println!("{} {x} {}", y, y+1);`,变量可以写在`{}`里或后面参数,表达式只能写在后面参数。`{}`按顺序匹配后面的参数。 | ||
1. 数据类型 | ||
|
||
1. 标量(scalar) | ||
|
||
整型、浮点型、布尔类型、字符类型 | ||
|
||
>单引号`'`声明 char 字面量,而与之相反的是,使用双引号`"`声明字符串字面量。 | ||
2. 复合(compound) | ||
元组(tuple)`()` `.0` 解构、数组(array)`[]` `[0]` | ||
>不带任何值的元组有个特殊的名称,叫做 单元(unit) 元组。这种值以及对应的类型都写作 `()`,表示空值或空的返回类型。如果表达式不返回任何其他值,则会隐式返回单元值。 | ||
- 结构体struct | ||
```rust | ||
// 先定义结构体 | ||
struct User { | ||
active: bool, // 字段(field) | ||
username: String, | ||
email: String, | ||
sign_in_count: u64, | ||
} | ||
fn main() { | ||
// 再使用 | ||
let mut user1 = User { | ||
active: true, | ||
username: String::from("someusername123"), | ||
email: String::from("[email protected]"), | ||
sign_in_count: 1, | ||
}; | ||
user1.active = false; | ||
} | ||
``` | ||
若可变,则整个实例都是可变的;Rust 并不允许只将某个字段标记为可变。 | ||
使用字段初始化简写语法(field init shorthand)。 | ||
使用结构体更新语法(struct update syntax)从其他实例创建实例`..`,必须放在最后。总体上会导致旧实例无法再使用(移动move)。 | ||
- 元组结构体 | ||
```rust | ||
struct Color(i32, i32, i32); | ||
fn main() { | ||
let black = Color(0, 0, 0); | ||
} | ||
``` | ||
- 类单元结构体(unit-like structs) | ||
```rust | ||
struct AlwaysEqual; | ||
fn main() { | ||
let subject = AlwaysEqual; | ||
} | ||
``` | ||
- 枚举 | ||
我们直接将数据附加到枚举的每个成员上,这样就不需要一个额外的结构体了。每一个我们定义的枚举成员的名字也变成了一个构建枚举的实例的函数。作为定义枚举的结果,这些构造函数会自动被定义。 | ||
像impl定义结构体的方法一样,`impl`可以定义枚举的方法。 | ||
1. 函数(function) | ||
`fn` | ||
1. 在函数签名中,必须 声明每个参数的类型。 | ||
2. 函数可以向调用它的代码返回值,但必须在箭头(`->`)后声明它的类型。每个可能的返回值都必须是这个类型;否则报错。 | ||
在 Rust 中,函数的返回值等同于函数体最后一个表达式的值。使用 return 关键字和指定值,可从函数中提前返回;但大部分函数隐式的返回最后的表达式。 | ||
1. 方法(method) | ||
(与函数类似,它们使用`fn`关键字和名称声明,可以拥有参数和返回值,同时包含在某处调用该方法时会执行的代码。不过方法与函数是不同的,因为它们在结构体的上下文中被定义(或者是枚举或 trait 对象的上下文),并且它们第一个参数总是`self`,它代表调用该方法的结构体实例。 | ||
`impl`(implementation)、`self`、`Self` | ||
所有在 impl 块中定义的函数被称为 关联函数(associated functions),因为它们与 impl 后面命名的类型相关。 | ||
- 我们可以定义不以 self 为第一参数的关联函数(因此不是~~方法~~),因为它们并不作用于一个结构体的实例 | ||
1. 使用结构体名和`::`语法来调用这个关联函数:比如 `let sq = Rectangle::square(3);`。 | ||
>这个函数位于结构体的命名空间中:`::`语法用于关联函数和模块创建的命名空间。 | ||
2. 关键字`Self`在函数的返回类型中代指在 `impl` 关键字后出现的类型。 | ||
我们可以选择将方法的名称与结构中的一个字段相同。Rust 知道我们指的是方法 width。当我们不使用圆括号时,Rust 知道我们指的是字段 width。 | ||
每个结构体都允许拥有多个`impl`块。 | ||
<details> | ||
<summary>e.g.</summary> | ||
```rust | ||
struct Rectangle { | ||
width: u32, | ||
height: u32, | ||
} | ||
impl Rectangle { | ||
fn area(&self) -> u32 { | ||
self.width * self.height | ||
} | ||
} | ||
// 允许多个 | ||
impl Rectangle { | ||
// 允许与字段同名 | ||
fn width(&self) -> bool { | ||
self.width > 0 | ||
} | ||
fn can_hold(&self, other: &Rectangle) -> bool { | ||
self.width > other.width && self.height > other.height | ||
} | ||
// 不是方法 | ||
fn square(size: u32) -> Self { | ||
Self { | ||
width: size, | ||
height: size, | ||
} | ||
} | ||
} | ||
fn main() { | ||
let rect1 = Rectangle { | ||
width: 30, | ||
height: 50, | ||
}; | ||
let rect2 = Rectangle { | ||
width: 10, | ||
height: 40, | ||
}; | ||
println!( | ||
"The area of the rectangle is {} square pixels.", | ||
rect1.area() | ||
); | ||
if rect1.width() { | ||
println!("The rectangle has a nonzero width; it is {}", rect1.width); | ||
} | ||
println!("Can rect1 hold rect2? {}", rect1.can_hold(&rect2)); | ||
let sq = Rectangle::square(3); | ||
println!("{}", sq.width) | ||
} | ||
``` | ||
</details> | ||
1. if表达式`if-else`(`else if`)、`match` | ||
`if 条件表达式arms {}`,都是表达式,返回代码块的值。 | ||
1. 条件表达式arms 必须 是 bool 值;否则报错。 | ||
>不像 Ruby 或 JavaScript 这样的语言,Rust 并不会尝试自动地将非布尔值转换为布尔值。必须总是显式地使用布尔值作为 if 的条件。 | ||
2. if表达式 的每个分支的可能的返回值都必须是相同类型;否则报错。 | ||
>Rust 需要在编译时就确切的知道 变量的类型,这样它就可以在编译时验证在每处使用的 变量的类型是有效的。如果 类型仅在运行时确定,则 Rust 无法做到这一点;且编译器必须跟踪每一个变量的多种假设类型,那么它就会变得更加复杂,对代码的保证也会减少。 | ||
1. 循环`loop`、`while`、`for-in` | ||
1. `break`退出循环并设置当前表达式值。;`continue`跳过当前循环并进行下一次循环。 | ||
2. 循环返回值:`break 表达式`。循环作为表达式返回(可用于赋值给变量或条件表达式arms)。每个可能的返回值都必须是相同类型;否则报错。 | ||
3. 循环标签。 |
Oops, something went wrong.