From ae822ebc63840a87a483f23704aa023a83e42b3e Mon Sep 17 00:00:00 2001 From: 22051341-Cheng Kelei Date: Sun, 10 Nov 2024 12:53:55 +0800 Subject: [PATCH 1/4] init Lfan-ke blog --- package.json | 4 +- ...45\345\256\214\350\256\241\345\210\222.md" | 293 ++++++++++++++++++ ...46\344\271\240\347\254\224\350\256\260.md" | 18 ++ 3 files changed, 313 insertions(+), 2 deletions(-) create mode 100644 "source/_posts/Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" create mode 100644 "source/_posts/rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" diff --git a/package.json b/package.json index 894859abe9c..27665f98a59 100644 --- a/package.json +++ b/package.json @@ -9,7 +9,7 @@ "server": "hexo server" }, "hexo": { - "version": "7.0.0" + "version": "4.2.1" }, "dependencies": { "hexo": "^4.2.1", @@ -25,4 +25,4 @@ "hexo-renderer-stylus": "^1.1.0", "hexo-server": "^1.0.0" } -} +} \ No newline at end of file diff --git "a/source/_posts/Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" "b/source/_posts/Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" new file mode 100644 index 00000000000..df43f9aebc2 --- /dev/null +++ "b/source/_posts/Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" @@ -0,0 +1,293 @@ +--- + +title: +date: 2024-11-10 12:00:28 +categories: + - 补完计划 +tags: + - author:Lfan-ke + - repo:https://github.com/LearningOS/rust-rustlings-2024-autumn-Lfan-ke +mathjax: true + +--- + +# Rust补完计划 + +src：[rust官网](https://www.rust-lang.org/)，[rust官文]()，[rust官仓]()，[crates.io](crates.io) + +​ Rust可看作一个在语法层面（编译时）具有严格检查和限制的C语言上位。且扩展了面向对象的便捷方法绑定。编译和运行方式类似于C/C++，可以`rustc xxx.rs`编译，`./xxx`运行。有约定的项目目录格式，可使用`Cargo`配置`toml`进行包管理、编译、运行、测试等等。包资源网站为`CratesIO`，见`src↑`。不支持运算符重载，支持多态。其中语句为：`表达式+;`，语句的值是`()`。 + +​ 为了安全，几乎所有的方法/变量/属性都是私有的，除非使用`pub`进行显式公用声明。 + +## 快速开始 + +安装： + +```shell +curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh +``` + +推荐开发环境： + +> VSCode + [rust-analyzer](https://marketplace.visualstudio.com/items?itemName=rust-lang.rust-analyzer)，VIM，[RustRover](https://www.jetbrains.com/rust/) + +见面礼： + +```rust +// main.rs +fn main() { println!("hello world!") } +``` + +```shell +rustc main.rs -o main && ./main +``` + +使用包管理器： + +```cargo +cargo new my_project_name # 生成项目目录结构，包括`toml`、`lock`、`src`、`test`等等 +cargo build # 编译后生成文件在`target/debug/项目名`下生成可执行文件，可选--release生成优化版本 +cargo run # 仅run也会build +cargo clean +cargo check # 仅检查语法是否出错 +# 安装新的包，在Cargo.toml的依赖下配置：`包名=版本`即可 +``` + + + +## 初次接触 + +语法语义一览表： + +>标识符：`^[a-Z0-9_][a-Z0-9_$]*` 其中，命名习惯为：`CONST_VAL`，`StructName`，`ImplName`，`method_name`，`val_name` +> +>注释符：`// 单行注释`，`/* 多行注释 */`，`/// 文档注释，支持MD语法以及文档测试以及自动生成文档` +> +>运算符：`+ - * / % += -= *= /= %= ! ~|& ^ [] ; , >> << == != < <= > >= && ||` +> +>变量声明：`const CONST_VAL: i32 = 123;` `static STATIC_VAL: u32 = 321;` `let emm = 233;` `let mut var = 0;` +> +>类型别名：`type word = u64` +> +>类型转换：`var as type_name` `type_name::from(var)` +> +>分支：`if 条件必须是布尔值 { ... } else { ... }` `match obj { case xx => { ... }, _ => { ... } }` +> +>循环：`loop { ... }` `for i in 0..10` `while n < 233`，`break` `continue` +> +>支持循环标签来跳出指定的循环：`tag1: loop { tag2: while true { break: tag1 } }` +> +>函数格式：`fn add(a: i32, b: i32) -> i32 { a + b }` 默认返回值是最后一条表达式的值，等同于：`return a+b;` +> +>匿名函数：`|a: i32, b: i32| -> i32 { a + b }` 如果只有一条执行语句，可以省略大括号 +> +>类和对象：采用结构体和特质抽象，数据方法分离的思想 +> +>方法多态：方法和数据的关系是多对多，支持采用数据/特质签名来访问匿去的数据/方法：`TraitA::fun1(&obj)` +> +>基本类型：i8 u8 i16 u16 ... 有无符号+位数，str，bool，f64 ... 同整型 +> +>类型变体：`&i32` - 不可变引用，`&mut` - 可变引用，`*const` - 不可变裸指针，`*mut` - 可变裸指针 +> +>容器类型：`[1, 2, 3]` - `Array` - 定长同类型，`(1, "heke", 1228)` - `Tuple` - 定长不可变 +> +>数据容器：`struct Person { age: u8; name: &str; }` `struct Bag (i32, i32, u8)` +> +>枚举类型：`enum State { StateA, StateB, State233=233, ,PA(ch) ... }` 详见特殊部分与模式匹配 `↓` +> +>其他容器：`Vec`，`Deque`，`Queue`，`BTreeSet`，`BTreeMap` ... +> +>导入管理：`mod package_emm;` `mod mode_name { fn emm() { ... } }` `use mode_name::emm;` +> +>异步支持：`async`，`await`，`std::thread`，以及异步的通道和异步智能指针 + +快速迁移（将采用Py作为对比语言）： + +--- + +```python +def emm(a: int, b: int) -> float: + return float(a) + b +``` + +```rust +pub fn emm(a: i32, b: i32) -> f64 { + // 运算块的值是最后一句表达式的值，所以不显示写return也可以，语句的值是()表示空！ + a as f64 + b // 或写为：`return a as f64 + b` 或 `return f64::from(a) + b;` +} +``` + +--- + +```python +def emm(op) -> (int, str, int): + op + return 1, "heke", 1228 +``` + +```rust +pub fn emm(op) -> (i32, &str, i32) { // op会在编译时自动根据所调用时的类型生成对应类型标签的多态方法 + op; + 1, "heke".as_str(), 1228 +} +``` + +--- + +```python +class A: + def __init__(self, a: int, b: int, c: int): + self.a = a + self.b = b + self.c = c + + def method233(self): + self.a += self.b + return None + +if __name__ == '__main__': + obj = A(1,2,3) + obj.method233() + print(f"a: {obj.a}, b: {obj.b}") + print("c: ", obj.c) +``` + +```rust +struct A { + pub a: i32; + pub b: i32; + pub c: i32; +} +impl A { + pub fn method233(&self) { + self.a += self.b; + return None; + } +} +fn main() { + let mut obj = A {a: 1, b: 2, c: 3}; + obj.method233(); + println!("{}", format!("a: {}, b: {}", obj.a, obj.b)); + println!("c: {}", obj.c); +} +``` + +--- + +```python +# method.py +def func(): + pass +``` + +```python +# __init__.py +from method import * + +from method import func # 语法多余，但是为了对比语法 +from .method import func # 语法多余，但是为了对比语法 +__all__ = ['func'] + +func() +method.func() +``` + +```rust +// method.rs +pub fn func() { + ; +} +``` + +```rust +// lib.rs / mod.rs +mod method; +use method::*; + +pub use method::func; +pub use crate::method::func; // crate表示从包的根目录进行相对路径索引 + +// 如果有main，则在main内： +func(); +method::func(); +crate::method::func(); +``` + + + + + +## 特殊部分 + +### 所有权机制 + + + + + +### 变量与容器 + + + + + + + +### 结构体相关 + + + + + + + +### 枚举相关 + + + + + + + +### 绑定方法 + + + + + + + +### 模式匹配 + + + + + + + +### 多态详解 + + + + + + + +### 智能指针 + + + + + + + +### 包管理相关 + + + + + + + +### 异步相关 + diff --git "a/source/_posts/rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" "b/source/_posts/rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" new file mode 100644 index 00000000000..19a7afb1ee1 --- /dev/null +++ "b/source/_posts/rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" @@ -0,0 +1,18 @@ +--- + +title: +date: 2024-11-10 28:00:24 +categories: + - 补完计划 +tags: + - author:Lfan-ke + - repo:https://github.com/LearningOS/2024a-rcore-Lfan-ke +mathjax: true + +--- + +# rCore学习笔记 + + + + From 40b2008a68520ab3daddee6165b1c60557675148 Mon Sep 17 00:00:00 2001 From: 22051341-Cheng Kelei Date: Sun, 10 Nov 2024 15:38:22 +0800 Subject: [PATCH 2/4] tmp completed Lfan-ke blog --- ...45\345\256\214\350\256\241\345\210\222.md" | 4 - ...46\344\271\240\347\254\224\350\256\260.md" | 217 +++++++++++++++++- 2 files changed, 215 insertions(+), 6 deletions(-) diff --git "a/source/_posts/Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" "b/source/_posts/Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" index df43f9aebc2..2722587b1f2 100644 --- "a/source/_posts/Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" +++ "b/source/_posts/Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" @@ -1,5 +1,4 @@ --- - title: date: 2024-11-10 12:00:28 categories: @@ -8,7 +7,6 @@ tags: - author:Lfan-ke - repo:https://github.com/LearningOS/rust-rustlings-2024-autumn-Lfan-ke mathjax: true - --- # Rust补完计划 @@ -213,10 +211,8 @@ method::func(); crate::method::func(); ``` - - ## 特殊部分 ### 所有权机制 diff --git "a/source/_posts/rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" "b/source/_posts/rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" index 19a7afb1ee1..0599903bbe5 100644 --- "a/source/_posts/rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" +++ "b/source/_posts/rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" @@ -1,5 +1,4 @@ --- - title: date: 2024-11-10 28:00:24 categories: @@ -8,11 +7,225 @@ tags: - author:Lfan-ke - repo:https://github.com/LearningOS/2024a-rcore-Lfan-ke mathjax: true - --- # rCore学习笔记 +根据学习顺序从头梳理一下操作系统的发展历史： + +## 原生之初 + +### CPU做了什么？ + +CPU-Central Processing Unit，中央处理器，由IFU，EXU，MMU等等等组成，就不赘述了。以RV64IM指令集架构的角度来讲吧： + +- 门电路只能根据输入来生成输出 + +- 一个运算模块的输入：`ep1`，`ep2` 输出：`res` 取决于具体的指令 + +- 以一个简单的只有加减的`ALU`为例：`MUX(choose, res_add, res_sub)` + +- ```verilog + module ALU ( + input choose, + input [63:0] ep1, + input [63:0] ep2, + output [63:0] res + ); + assign res = choose == 0 ? ep1 + ep2 : ep1 - ep2; + endmodule + ``` + +- 电路只管`res_add`和`res_sub`的计算，结果是都算出来的，但是最后的`res`被通过选择器来选择输出`res_sub | res_add` + +- CPU就是一个只管埋头干活的驴（有限状态机），而`choose`是CPU根据PC取值译码后得到的，用来选择哪个输入作为输入以及哪个输出作为输出 + +- 所以在CPU看来他只要不停的根据时钟进行不停01摇摆就行，而操作系统关心的就多了，包括“特权级的转换”/“进程调度”/“IO”等等 + +- CPU角度的函数调用：我不知道发生了啥，只知道`gpr[rs1] = pc+4, pc = gpr[rs2]`，即：用了一下全加器，存了俩reg，调哪个函数全看pc指向内存里面的哪 + +- CPU角度的设备读写：我不知道发生了啥，只知道某总线使用某协议按照某种规律发了一串特定的bit波形 + +- CPU角度的异常处理：我不知道发生了啥，只知道某个被人类称为CSRs的寄存器组里面几个寄存器取了存，存了取 + +- CPU角度的面向对象：我没有这个概念，只知道一个数字存哪取哪全靠选择器最后是否选中MEM，或者选中GPR？CSR？更高层次的汇编里面称这个决定选中哪里的一串01的数字为指针？ + +所以，CPU压根不知道一些奇奇怪怪的高级概念，更不知道什么奇奇怪怪的转换特权级，只知道，当前状态的输入，以及自己时钟边沿敏感后存下选中的输出。在CPU看来，只是一堆与或门在0101变，有的0101会连接到选择器的与或门上，决定了下一波存的0101而已。 + + + +> 仿佛充电就不停运动的牛马，优雅的被称为“程序是一个状态机”，不停的在状态之间兜兜转转 + + + +### ISA做了什么？ + +​ 指令集架构，以上面的`ALU`为例，规定了`choose == 0`时选择`res_add`，否则选择`res_sub`。在真实的CPU中，ISA规定了每一条指令的格式，数据类型，寄存器，中断/异常，字节次序等等等。比如末尾后7位是opcode，opcode是0110011是基本的运算族指令，比如add，sub等等。简而言之就是上面的规定了`choose == 0`时选择`res_add`，还是选择`res_sub`。 + +​ 它给人们提供了一套规范，可以有规范可查，遇到情况可以查相关的手册或者文档，有册可查，有规可依。 + + + +> 规定了你看见A就说1，看见B就说0，AABBA就是11001，让CPU的电路运行有据可查 + + + +### SBI做了什么？ + +​ 一套二进制接口，封装特定操作的软件程序，刷在PC初始值位置，用于初始化CPU的各项寄存器（广义，包括GPR，CSR，PC等等）中的值，之后提供了一个函数映射表的位置，当某些情况下`ecall`指令的时候，就把PC设置为这个函数映射表的位置，执行所指向的执行流，之后某个时机再返回到某个特定的位置。 + + + +> 根据规范封装特定的指令，以及初始化指定的寄存器，初始化结束后，PC也被初始化到了OS所在的位置 + + + +### OS做了什么？ + +​ 也相当于一套二进制接口，是一个软件程序，用来管理硬件的各项资源，大部分的操作通过调用SBI提供的接口，很少直接操作硬件。决定了某些寄存器的值，以改变PC的指向，从而改变用户眼中的当前执行的程序（执行流）。 + + + +> 因为遇事不决调SBICall，所以可以当是一个封装在特定SBI实现上的一个软件，或者调SBI实现的接口/库的一个程序 + + + +### Syscall做了什么？ + +​ OS提供的一个函数映射表，当某些情况下`ecall`指令的时候，就把PC指向映射表的位置，映射表会根据参数和栈来决定下一步做什么，之后某个可能的时机再返回原来执行到的地方。 + + + +> 封装了一个函数映射表，可以根据参数的值选择要执行的操作 + + + +### 用户程序做了什么？ + +​ 依据各基于的标准库，来编写程序或更高层级的库，然后调用现有的依赖编写自己心目中的程序或者功能。游戏，网页，基础设施，编译器等等等，一切他们觉得让生产生活更方便的东西，比如：饥荒营火重生Mod，QQ，雷碧超市小程序…… + + + +> 使用操作系统提供的接口，或者在操作系统之上的虚拟机平台提供的接口，拼接，组装，变成自己需要的程序 + + + +### 所以他们做了什么？ + +​ 总结来看，仿佛就是一层调用一层的接口，一层接着一层的调包导库，实际上也是，不过是为了学习或使用方便而简化了一些东西而已。这些简化的东西在上层的使用者几乎不用关心，被称为“抽象” + +​ ISA规定了硬件都有哪些寄存器，遇到哪些指令该怎么做，提供了UB以外的确定性硬件操作（不确定的比如/0才是UB吧，所以这句就是废话是吧...） + +​ SBI初始化硬件提供的寄存器，之后跳转到OS所在位置，确保了OS的执行正确，不会遇到get_time的时候，一看，俩寄存器还是未初始化的随机脏值 + +​ OS将“资源”具象化，来分配，调度OS所知晓的内存空间，存储空间。同时，也创建了对于用户程序不可见的物理地址之下的虚拟地址，为系统安全提供保障。用户所编写的程序将不需要关心真实的物理地址在哪，程序会被安排到什么地方。OS：“给你这些你就用，其他的别管！” + +​ 用户程序，在OS的抽象下，用户以为自己独占了一台物理机，当其需要操作系统的服务，比如获取当前系统时间的时候，调用Syscall + +​ 而为了区分不同层级的程序，为了用户越界访问系统的时候，硬件能给点反应，触发中断，切回OS叫醒OS：“你用户越界了！”，部分CSR寄存器的某些位连接了译码器以及MMU的部分部件，为的就是检测到不对就警报进行中断。为了配合这个硬件机制，软件上就得设置这些位是0还是1。比如SBI初始化的mstatus，OS初始化的sstatus等等。这样子在特定位没被设置的时候，某不属于此特权级的指令的执行就会触发中断。但是如果软件不设防，一切运行在裸机（没有SBI，没有OS来管理调度资源的芯片），那么特权级将会失去意义。 + +​ 这一过程就像你MC（一个游戏）开服务器，你不设防，认为一切道法自然，那么熊孩子炸了你家你也不知道，你也只能接受。但是当你软件开启“游客权限：不准使用TNT”，“好友权限：可申请使用TNT”的时候，你也就划分了特权级的抽象：“USM” - “房主 好友 游客”。 + + + +> 所以，学的广不能学的深，调库侠不如底层佬什么什么的都是伪命题，都是在认知范围内合理利用工具而已 + + + +## 批处理 + +当我裸机能运行一个程序的时候，我就想让他运行两个，但是切换好麻烦，能不能一次输入，就能得到所有想要的输出？ + +​ 好，将两个程序拼接 + +万一前面的出错怎么办？ + +​ 将PC指向下一个程序，这程序就算运行结束了 + +有程序破坏系统篡改数据怎么办？ + +​ 我得规定程序的权限：不能随意访问空间，不能破坏系统 + + + +> 简而言之，批处理系统是操作系统的雏形，通过简单的程序二进制拼接起来，依次执行，进行了简单的错误处理以及特权级切换 + + + +## 多道分时 + +提高系统的性能和效率是操作系统的核心目标之一，一个个排着队，不论长短一直等着就不耐烦。为了解决这个问题，不同目的的操作系统有了不同的策略。执行流在被阻塞的状态下让出处理器是通用的。其余的，急者优先，先来先服务等等调度算法应用在了不同领域。但是最常见的还是基于时间平均分配时间片的分时复用算法。底层是每隔一小段时间触发一次时钟中断来切换执行流。 + + + +> 在CPU角度，CPU是一个状态机，下一步的结果只与当前状态有关，所以切换执行流实际上就是保存了CPU当前的状态，即：Context-上下文，之后找个时间再恢复。所以CPU当前的状态是什么？ +> +> 取指的PC：关系到指令执行到哪了，该执行哪个了 +> +> ISA规定的寄存器组：32个寄存器，起码zero恒0，不用保存，sp要手动霍霍调度执行流，不保存 +> +> 部分执行流相关csr：得按需保存，比如sstatus，sepc，scause等等，按需？比如裸机保存的就是mepc而不是sepc + + + +## 地址空间 + +将程序按部就班刷入固定位置，每次有新程序还得重新安排程序所在的位置，且用户程序能直接访问物理地址本来就是不安全的。 + +所以地址空间思考的就是：如何使用一个抽象，让所有程序不必想自己得被安排到哪，且隔绝不同程序之间的地址空间？ + + + +> PageTable一个是方便MMU硬件查找虚拟地址对应的物理地址，一个是维护了软件的接口，方便操作系统需要时霍霍。 +> +> [MapArea]保存了连续的虚拟地址的映射，以及此段地址的权限，分配和回收直接霍霍PageTable，方便了OS维护PT +> +> 此时程序看到的地址都是OS提供的抽象幻象，隔绝了程序的同时，用户编写程序也不用思考程序将会被放在哪了！ + + + +## 进程管理 + +之前的程序都是确定要运行的，被刷入的程序只能决定会被运行，不能决定自己什么时候不运行，什么时候去运行。人机交互差。所以一开始只执行一个负责和用户交互的程序，后续由用户选择执行特定的程序。提高了用户的自由度和体验。 + + + +> 现在的程序可以被用户选择是否要运行，以及什么时候开始运行。比起之前开机只是为了关机的死程序疙瘩多了人性化。 +> +> 比死程序疙瘩多的操作也就是：如何将创建一个执行流的上下文，将上下文加入调度队列，以及获取上下文返回的信息 +> +> 由于地址空间的支持，所有程序的起始地址都可以相同，应该说，都是相同的，所以每次创建执行流的时候，虚拟起始地址每个程序都一样，不一样的只是被映射到的物理地址。 + + + +## 文件系统 + +​ 一次性刷好所有的程序，有新的程序还得重新刷，关机内存的数据就没了，所以需要一种持久化存储数据/程序的方式。然后管理这种持久化存储的程序的系统就是文件系统，这种持久化的程序或者数据的抽象就是“文件”。但是文件平铺对于习惯分门别类的人来说阅读性太差，就有了“目录”。归结到底“目录”也是一种特殊的文件，其中存的内容是规则的目录项罢了。 + +​ 所以，目录就是一个目录项的容器，目录项就是描述一个目录或者文件的指针和属性的集合。而一切的起源就是根目录，就是目录树的根节点。通过一层层指针，就能找到最终指向的文件区域。 + + + +> 有了文件系统，可以很方便的持久化程序和数据。程序又何不是一种数据？ +> +> 之后想运行程序的时候就可以在持久化的数据中寻找对应的文件，读入内存，后创建PCB，加入调度 + + + +## 管道通信 + +不同进程之间的通信，可以通过父进程的文件描述符来进行读写buffer。 + + + +## 并发和锁 + +​ 当进程变为线程的管理容器的时候，线程共享着进程的资源。由于线程异步执行的不确定性，一个内存区域（资源）被不同线程访问修改后不能保证原执行流的原子性。很有可能一个数据，比如一个u128的变量，在sd低64位的时候被调度了，导致写线程还没把高64位写进去，读线程读的时候会发现数据错误。所以就需要一种机制来保证这种边沿区域的读写原子性。没写完就读的，让读的先缓缓，切回写的，写完再把要读的放出来读就不会出错了。 + +​ 但是往往一个线程有时候并不只需要一个资源，有时候需要N个不同的资源。这时假设A线程拿到了资源1，B线程拿到了资源2，但是B要访问资源1，A要访问资源2，但A拿着资源1睡去了，B就只能干耗着，形成死锁。死锁的解锁方式很多，比如卡足够时间就释放，过段随机时间再请求等等。但是如果可以预防死锁，在可能发生死锁的时候拒绝分配，让可以安全执行完成的执行流先完成，那么就不会形成死锁。所以在ch8完成了银行家算法的化简版。 + + +> 吐槽：所以人类的科技发展史就是如何想着更巴适，使用更少的力气创造更大的价值（为了聪明的偷懒点满了科技树是吧） From 6ff5893d98fc827ea2056745368f1826799663aa Mon Sep 17 00:00:00 2001 From: 22051341-Cheng Kelei Date: Tue, 12 Nov 2024 11:45:40 +0800 Subject: [PATCH 3/4] fixed: rename Lfan-ke's blogs --- ...74\232Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" | 0 ...4\232rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename "source/_posts/Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" => "source/_posts/Lfan-ke\357\274\232Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" (100%) rename "source/_posts/rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" => "source/_posts/Lfan-ke\357\274\232rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" (100%) diff --git "a/source/_posts/Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" "b/source/_posts/Lfan-ke\357\274\232Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" similarity index 100% rename from "source/_posts/Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" rename to "source/_posts/Lfan-ke\357\274\232Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" diff --git "a/source/_posts/rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" "b/source/_posts/Lfan-ke\357\274\232rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" similarity index 100% rename from "source/_posts/rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" rename to "source/_posts/Lfan-ke\357\274\232rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" From d90eb0c37a1c78ade8359ee94675889125ef25e5 Mon Sep 17 00:00:00 2001 From: 22051341-Cheng Kelei Date: Wed, 13 Nov 2024 03:07:38 +0800 Subject: [PATCH 4/4] rm package.json --- package.json | 28 -- ...45\345\256\214\350\256\241\345\210\222.md" | 451 +++++++++++++++++- ...46\344\271\240\347\254\224\350\256\260.md" | 1 + 3 files changed, 434 insertions(+), 46 deletions(-) delete mode 100644 package.json diff --git a/package.json b/package.json deleted file mode 100644 index 27665f98a59..00000000000 --- a/package.json +++ /dev/null @@ -1,28 +0,0 @@ -{ - "name": "hexo-site", - "version": "0.0.0", - "private": true, - "scripts": { - "build": "hexo generate", - "clean": "hexo clean", - "deploy": "hexo deploy", - "server": "hexo server" - }, - "hexo": { - "version": "4.2.1" - }, - "dependencies": { - "hexo": "^4.2.1", - "hexo-asset-image": "^1.0.0", - "hexo-cli": "^3.1.0", - "hexo-deployer-git": "^2.1.0", - "hexo-generator-archive": "^1.0.0", - "hexo-generator-category": "^1.0.0", - "hexo-generator-index": "^1.0.0", - "hexo-generator-tag": "^1.0.0", - "hexo-renderer-ejs": "^1.0.0", - "hexo-renderer-marked": "^2.0.0", - "hexo-renderer-stylus": "^1.1.0", - "hexo-server": "^1.0.0" - } -} \ No newline at end of file diff --git "a/source/_posts/Lfan-ke\357\274\232Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" "b/source/_posts/Lfan-ke\357\274\232Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" index 2722587b1f2..621dd0f946f 100644 --- "a/source/_posts/Lfan-ke\357\274\232Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" +++ "b/source/_posts/Lfan-ke\357\274\232Rust\350\241\245\345\256\214\350\256\241\345\210\222.md" @@ -5,18 +5,24 @@ categories: - 补完计划 tags: - author:Lfan-ke + - author-alias:禾可/禾可1228 - repo:https://github.com/LearningOS/rust-rustlings-2024-autumn-Lfan-ke + - description:所有补完计划相关的博客仅仅是临时任务所迫所发，不代表最终正式发布的版本，正式版本在本人"生态计划"开始时发布 mathjax: true --- # Rust补完计划 -src：[rust官网](https://www.rust-lang.org/)，[rust官文]()，[rust官仓]()，[crates.io](crates.io) +src：[rust官网](https://www.rust-lang.org/)，[rust官文](https://doc.rust-lang.org/std/index.html)，[rust官仓](https://github.com/rust-lang/)，[crates.io](crates.io)，[rust-wiki](https://rustwiki.org/zh-CN/reference/items/associated-items.html)，[卡狗圣经](https://course.rs/about-book.html) ​ Rust可看作一个在语法层面（编译时）具有严格检查和限制的C语言上位。且扩展了面向对象的便捷方法绑定。编译和运行方式类似于C/C++，可以`rustc xxx.rs`编译，`./xxx`运行。有约定的项目目录格式，可使用`Cargo`配置`toml`进行包管理、编译、运行、测试等等。包资源网站为`CratesIO`，见`src↑`。不支持运算符重载，支持多态。其中语句为：`表达式+;`，语句的值是`()`。 ​ 为了安全，几乎所有的方法/变量/属性都是私有的，除非使用`pub`进行显式公用声明。 +​ 说到底，编程语言就是人类用来快速生成机器码以便于执行的模板引擎，有的语法层面(编译时/解释时)有强约束，有的仅仅是把特定字符串替换成另外的字符串或二进制，属于弱约束或者无约束。所有你在编程语言所看到的抽象，在机器码的层面本来就是一场幻月楼阁。比如你在编程语言层面，继承多态面向对象权限生命周期搞的花里胡哨的，但是在机器码看来，就仅仅是把PC变一下，或者某数据/指针变一下而已，你所关心的语法层面，语义特性，都是高层编译时/解释时的语法约束。这些约束让你写正确的高级语法的同时，最重要的是保证执行的结果符合预期。所以学底层的，一定要层层解耦，梳理层层抽象！ + + + ## 快速开始 安装： @@ -46,7 +52,7 @@ rustc main.rs -o main && ./main cargo new my_project_name # 生成项目目录结构，包括`toml`、`lock`、`src`、`test`等等 cargo build # 编译后生成文件在`target/debug/项目名`下生成可执行文件，可选--release生成优化版本 cargo run # 仅run也会build -cargo clean +cargo clean # 清除target下编译后的文件 cargo check # 仅检查语法是否出错 # 安装新的包，在Cargo.toml的依赖下配置：`包名=版本`即可 ``` @@ -79,7 +85,7 @@ cargo check # 仅检查语法是否出错 > >匿名函数：`|a: i32, b: i32| -> i32 { a + b }` 如果只有一条执行语句，可以省略大括号 > ->类和对象：采用结构体和特质抽象，数据方法分离的思想 +>类和对象：采用结构体`struct`(存数据)和特质`trait`(类似于抽象`interface`存方法)抽象，数据方法分离的思想 > >方法多态：方法和数据的关系是多对多，支持采用数据/特质签名来访问匿去的数据/方法：`TraitA::fun1(&obj)` > @@ -152,9 +158,9 @@ if __name__ == '__main__': ```rust struct A { - pub a: i32; - pub b: i32; - pub c: i32; + pub a: i32, + pub b: i32, + pub c: i32, } impl A { pub fn method233(&self) { @@ -180,11 +186,11 @@ def func(): ```python # __init__.py -from method import * +from method import * # '0 -from method import func # 语法多余，但是为了对比语法 -from .method import func # 语法多余，但是为了对比语法 -__all__ = ['func'] +from method import func # 语法多余，但是为了对比语法'1 +from .method import func # 语法多余，但是为了对比语法'2 +__all__ = ['func'] # 'export func() method.func() @@ -199,11 +205,11 @@ pub fn func() { ```rust // lib.rs / mod.rs -mod method; -use method::*; +mod method; // '0 +use method::*; // '0 -pub use method::func; -pub use crate::method::func; // crate表示从包的根目录进行相对路径索引 +pub use method::func; // pub use使得导入此包的也可以被别的包从此包导入'1 'export +pub use crate::method::func; // crate表示从包的根目录进行相对路径索引'2 'export // 如果有main，则在main内： func(); @@ -217,73 +223,482 @@ crate::method::func(); ### 所有权机制 +​ 在其他语言中，变量的赋值一向秉持：`常用量固定地址，简单变量直接复制，复杂变量或引用复制指针不复制本体`的弯弯绕绕，导致很多编程语言新手写出一堆堆耐人寻味的bug。Rust引入的所有权机制将这种不同语言独具特性的弯弯绕绕统一划分为了两类：实现了`Copy Trait`的类型和未实现`CT`$$^{笔记中出现过一次的全名在下次出现若无歧义将直接采用首字母缩写}$$的类型。前者赋值操作会执行`.clone()`，后者则是所有权的移交，这样子保证了数据的访问安全。 + +​ 如何理解所有权呢？对于未实现`CT`的类型： + +- 你有50块钱：`let 你的50块钱 = 微信余额;` +- `let 小明 = 你的50块钱;`你把 50 v 给了小明 +- 你现在不能使用 v 过去的 50 块钱，使用会报错 +- 小明现在是这 50 块钱的所有者 + +​ 对于实现了CT的类型，就是你一个我一个，反正是复制过去的，大家都有份，此时在内存中已经是两个位置截然不同的家伙了。 + +这就是所有权的移交： + +```rust +struct RMB (pub u32); + +fn pay50from(rmb: RMB) -> RMB { // 使用RMB调用函数时，RMB所有权已经不是你的了，是函数的第一个参数的 + return RMB; // 现在return出去的时候，RMB的所有权将会从函数移交给返回值的接收者 +} + +impl RMB { + pub fn show_rmb(&self) { println!("我还有：{}", self.0) } +} + +fn main() { + let your = RMB(50); // 你有50 + let xiao_ming = pay50from(your); + // your.show_rmb() -> Panic! 因为你的50已经v给小明了 + xiao_ming.show_rmb() // 将会输出：`我还有：50`，因为50现在是小明的 +} +``` + +​ 而对于常用的基本类型：`bool`，`str`，`u32`等等都是内置实现CT的，所以`let a = 233; let mut b = a;`的时候，发生的是复制而非转移所有权！此时即使`b += 1`，`a`也可以照常使用，且`a`与`b`无关系，`b`变化不会影响到`a`！ + + + +### 引用与借用 + +​ 如何通俗理解引用与借用呢？引用：`我有个朋友他有 - 自己不能修改`，借用：`我朋友借我玩玩的，他说随便玩 - 自己可以修改`。引用可以同时存在多个：`A是BCDEF的朋友，则==B C D E F==都可以说：我朋友A他有`，借用同时只能存在一个，且与引用互斥：`但是如果A借给了B，则CDEF就不能说：A他有，因为B还指不定把东西搞成什么样呢，CDEF带着其他人去了A那里，结果A说东西被B霍霍了...不就尴尬了`。所以借用和引用同时存在具有不安全，未定义，不确定的错误，会引发`Panic!`。 + +```rust +struct Switch { + owner: String, + game_total: u32, // 假设这是你的游戏库存 +} + +impl Switch { + pub fn add_game(&mut self) { self.game_total += 1; } + pub fn rmv_game(&mut self) { self.game_total -= 1; } + pub fn show_game(&self) { println!("游戏机所有者：[{}]，有[{}]款游戏！", self.owner, self.game_total); } +} + +fn main() { + let mut A_switch = Switch { owner: "A".to_string(), game_total: 233 }; + A_switch.show_game(); // 游戏机所有者：[A]，有[233]款游戏！ + + // A的朋友C引用(&)了A的switch，C可以和其他人炫耀：我那哥们A，打游戏杠杠的，有233款游戏呢！ + let C = &A_switch; + C.show_game(); // 游戏机所有者：[A]，有[233]款游戏！ + + // A把游戏机借用(&mut - 别名: 可变引用)给了B + let B = &mut A_switch; + for i in 0..100 { B.add_game() } // B污染了库存，增加了[0, 100)这100个辣鸡游戏 + for i in 0..=10 { B.rmv_game() } // B把游戏又卸了[0, 10]这11个游戏 + + // C.show_game() -> Panic! 此时C已经不能炫耀A有233个游戏了，不然会被别人说：你说谎！ + B.show_game(); // 游戏机所有者：[A]，有[322]款游戏！ + // A：好好好，你这样玩是吧，FK，B，(此处省略n条花言巧语，F是friendly，K是kindly)！ +} +``` + + + +### 生命周期 +​ 上面的例子粗略的让大家理解了一下引用与借用的区别，那么问题来了，不是说：`==引用与借用不可共存==`？，看似C$$^{存在引用}$$还在的情况下，为什么还能让B$$^{存在借用}$$胡作非为？ + +​ 那么就不得不提生命周期这个概念了：人有生老病死，变量/引用也一样。在B胡作非为的时候，由于下文没有C出场的机会，所以C先行告退了。所以B在借到A游戏机的时候，C已经不在了，所以`==B和C并没有同框出现过==`，就像奥特曼和他的人间体。 + +​ 那么使用死神之眼，使用生命周期标识`'life_tag`，以生命周期的角度观察一下上面示例的`main`函数： + +``` rust +fn main() { + let mut A_switch = Switch { owner: "A".to_string(), game_total: 233 }; // 'a_alive A入场 aa + A_switch.show_game(); + + let C = &A_switch; // 'c_alive C入场 cc + C.show_game(); + // 此时以下无C，C退场领盒饭去了 cc + + let B = &mut A_switch; // 'b_alive B入场 bb + for i in 0..100 { B.add_game() } + for i in 0..=10 { B.rmv_game() } + + B.show_game(); +} // main函数结束，B和A相继退场 aa bb +``` + +同时，生命周期可以在引用声明的时候使用`生命周期描述符`$$^{[a-Z0-9_]+}$$来显示告诉编译器某引用的生命周期： + +``` rust +let a = &'1 emm; // &+' 后面的`1` 就是生命周期描述符 +let b = &'b_life_tag emm; // &+' 后面的`b_life_tag` 就是生命周期描述符 +``` + +如果想指定一个程序运行时一直存在的引用，或者借此来绕过编译器的生命周期检查，可以使用`static`： + +``` rust +let a = &'static emm; +// 或者创建一个具有'static生命周期的变量 +static EMM = 233; +// 与const的区别就是，const不可变，且在编译时确定，static可变(前加mut)，可在运行时确定或修改： +const EMM = 233; +``` + +额外需要注意的一点就是：`本体退场之后，所有的引用和借用将会不可用！`，如果需要额外指定生命周期，请在函数或结构体指明生命周期 + +``` rust +fn temp(&'a var1, &'b var2) -> &'a res { ... } + +struct Temp<'a, T> { + param1: &'a type, + param2: &'static type, + ... +} +``` ### 变量与容器 +​ 前面絮絮叨叨那么多，算是走马观花了，毕竟你还不知道，你可以在Rust使用什么类型的变量！所以，平心而论，你现在甚至都不会赋值特定的类型给某变量名！ + +​ 其他语言想要精细操作变量，需要包或别名的辅助： + +```C/C++/Java/Python +UInt a = 233; -> UInt32 a = 233; +unsigned int a = 233; -> uint32_t a = 233; +a = 233; -> a = ctype_uint32(233); +# 等等等，可以看到，语言默认支持的int等等类型会随着ARCH变化而变化，比如： +# `match=ilp32`的`long`和`match=lp64`的`long`位长就不一致 +# 如果是在资源充足的机子上，32位和64位也没什么区别，但是在资源有限的板子上，那就有大问题了！ +``` + +​ 所以，Rust的变量类型默认是：`[符号类型][位长]`，比如：`u32`，`i64`，`f128`等等 + +​ 特殊的内置类型：`str - "你写的字符串常量"`，以及`ARCH`决定位长的：`isize/usize`，以及熟悉的`bool` + +​ 至于String，那是核心库自带且自动导入的特殊容器，用来进行快捷的字符序列操作！ + +​ 容器是什么？能吃吗？容器可以看作一个包，里面装着基本变量或嵌套的容器。内置的容器有两种：`Array/Tuple`，如果你是混沌中立玩家，那么`struct/enum`也是容器，但是`s/e`将会在之后说明，非内置的常用容器会在最后举例说明一下。 + +```rust +// 内置容器的赋值会尝试逐一复制成员变量，复制未实现CT的不成功会转移所有权！此时剩余的变量可继续使用。 +// Tuple：可以存不同类型，不可变，定长 +let a = ("heke", 1228, 2003) + +a.0 == "heke" +a.1 == 1228 + +类型标签：a: (str, u32, u32) +// Array：所有元素单一类型，不可变，等长 +let b = [1, 2, 3]; +b[1] == 1 +b[2] == 2 + +类型标签：b: [u32; 3] // 长度为3的数组，类型都是u32 +同值初始化的数组：[0, 0, 0] == [0; 3] // 初始化3个0 +``` +常用非内置容器： + +​ 利用结构体/枚举/基本变量/内置容器实现的种种数据结构与算法中的老朋友：`Vec-向量/变长数组`，`Deque-双端队列`，`Stack-栈`，`List-链表`，`HashMap-字典/键值对映射`，`BTreeMap-字典另外一种实现`，`BTreeSet-集合`，`HashSet-集合`，`String-变长字符串`等等 + +​ 数量依据标准库/第三方库/版本而变化，详见`src`的官方文档。但是也简单介绍一下`Vec`，毕竟，常见的数据结构和算法无非就`增删改查`四种操作，有人习惯`push/pop`，有人习惯`append/remove`，有的还是`add/del`，所以，更多的使用方式，直接看官文！ + +```rust +let mut a = vec![1, 2, 3]; // 使用宏，初始化一个Vec的容器 +let mut b = Vec::new(); +b.push(1); b.push(2); b.push(3); // b现在和a一致了！ + +for i in b { + println!("{}", i); // 绝大多数容器都是Iter，看具体的实现，Iter见下面：迭代器相关 +} +``` + + ### 结构体相关 +前面已经初步介绍过结构体了，这里更像是一个结构体相关的合集。 + +```rust +struct EMM { + pub public_attr: type, // 由于Rust整体是一个保守的语言，公共字段需要手动+pub前缀 + privite_attr: type, // 默认的字段是私有的 +} + +impl EMM { + fn show_self(&self) { + // 自己的方法，自己的属性，私有公有皆可访问！ + println!("public_attr: [{}], privite_attr: [{}]", self.public_attr, self.privite_attr); + } + + pub fn show(&self) { + self.show_self(); + } +} +fn show_emm(emm: EMM) { + emm.show_self(); // 报错！Panic！因为show_self是私有方法！！！ + emm.show(); // 这个就ok了！因为show是pub方法！！！ +} +``` +数据结构体与生命周期： + +``` rust +// 前面已经介绍过了，生命周期的写法，这里赘述一下，顺便加上泛型： +struct tmp { + attr1: &'emm T, + attr2: &'static T, + attr3: Box, // dyn是动态分配，这里露个面，详见下面的“杂七杂八” + attr4: EMM, // 上面的结构体，定大小的非递归结构体，不定大小的字段需要用指针包裹！ + attr5: EnumTmp, // 枚举 + attr6: Vec, + attr7: BTreeMap, +} +``` +元组结构体： + +``` rust +struct emm (u8, pub u32, f64); +// 为什么emm，233？因为大部分文档太过正式，很多入门者搞不清后面的东西是关键字还是用户自定义的标签 +// 比如一个struct StructName，你会错把StructName当关键字，但是Emm就不会，国外的相比于emm好像更喜欢foo +// --- +// 我们把元组结构体展开： +struct emm ( + u8, // 使用方式和元组一致：obj.0 obj.1 + pub u32, // 只有emm.1这个字段是pub，其余的.0 .2都是私有的 + f64 +); + +impl emm { + pub fn show_emm(&self) { + println!("Emm: [{}] [{}] [{}]", self.0, self.1, self.2); + } +} +``` ### 枚举相关 +​ 在底层玩家的眼中，枚举可以说是最有用最常用的语法，因为很多人都是基于状态机来写板子的，标识这些状态最好的方法就是使用枚举。比如常见的电风扇：开机，1档，2档，3档，关机；空调：开窗，半开窗，全开窗，摆动开窗等等。当你使用常量作为这些状态标识的时候，你会发现你想加一个1/4开窗，你得STFSC，看看前几个状态都是几，然后match...case： + +```c +#include +int STAGE_A = 0; +int STAGE_B = 1; +int STAGE_C = 233; // 很多人不想看源码了，写中间加状态的时候就慢慢写飘了 +int STAGE_D = 666; // 然后，简单的小板子还可以，状态多了迟早会出错 +int STAGE_I_DONT_KNOW_WHAT_IS_THIS_STAGE = 3; // 甚至半路，状态名称也变的奇奇怪怪 +int I_WILL_BE_FOGET = 5; // 还有定义了状态半路忘记处理的，导致状态悬空 + +int loop() { + switch curr_stage { + case 233: + xxxx; + break; + case STAGE_C: + xxx; + break; + default: ... + } +} +// 优良的代码习惯，让短短百行代码变的难以维护... +``` +Rust的强制Match的枚举就来了！他规定必须处理枚举的所有可能，在模式匹配的强大配合下，变的更加强大！ - +``` rust +enum EnumTmp { + a, b, c, d = 233, + e, StructEMM, Option, +} +fn random_choose_a_state() -> EnumTmp; +// 因为枚举一用全用，所以当enum前声明权限pub的时候，所有的字段都是pub，这不同于struct +fn main() { + let state = random_choose_a_state(); + match state { + a => println!("匹配到a，每个语句使用逗号分割！"), + 233 => println!("匹配到233，实际上是d"), + StructEMM {attr1: x, attr2} => { // attr2: attr2缩写为：attr2，attr1别名为x + println!("匹配到结构体，其中struct.attr1是{}，attr2是{}", x, attr2); + }, + _ => println!("下划线匹配剩余的情况！"), + } +} +``` ### 绑定方法 +懂得了结构体、枚举的声明，现在要给他们附加方法，不然他们只是数据，实际操作起来多多少少不方便！ + +```rust +impl Copy for StructEmm { + fn clone ...; // 为结构体StructEmm实现Copy Trait +} +trait SomeFunc { + fn emm() { ... } // 有函数体的特质方法即：方法的默认实现，给结构体实现/绑定的时候不要求必须实现 + pub fn emm233() { ... } + fn qwq(); // 此方法没有默认实现，所以实现的时候必须实现 +} + +impl SomeFunc for StructEmm { ... } + +trait AnyFunc: SomeFunc + Copy { // AnyFunc特质要求实现的结构体必须先实现SomeFunc和Copy特质 + fn emm() { ... } // 出现同名方法！ +} +impl StructEmm { + fn emm() { ... } // 出现同名方法！ +} +// 同名方法使用会首先查找默认实现，即`impl 结构体名字`下的方法，其次会寻找唯一实现 +// 找不到就得使用特质签名手动调用了： +AnyFunc::emm(obj); // obj的AnyFunc下的emm调用，若为唯一，则为：obj.emm() +``` ### 模式匹配 +Rust等等高级语言最令人讨喜的高级语法！首先将介绍基本的模式匹配用法，后将介绍可用在哪。 +基本用法： +```rust +let a = 1; +let (a, b) = (1, 2); +let [a, b] = [1, 2]; +let Some(a) = Some(123); +let StructEmm {attr1: x, attr2} = StructEmm {attr1: 123, attr2: 233}; +``` +条件守卫： +```rust +// 主要用在match： +let tmp = 233; +match obj { + 1 | 2 | 3 => println!("匹配到了1或2或3"), + 4 | 6 if tmp == 233 => println!("在tmp是233的时候匹配4或者5"), + 7..9 => println!("匹配到了range(7, 9) -> [7, 9)的数字之一"), + 'a'..='f' => println!("匹配到了['a', 'f']的字母之一，范围匹配只允许数字字母"), + Some(x) @ 233 => println!("匹配到了Some(233)，此时x是233"), + Some(x) => println!("Some(x)，因为x是233的情况在前面，所以这里的x不可能是233"), + _ => println!("匹配任意变量，_不会绑定值，_开头的变量允许逃过必须使用的检查，如果是x=>...则任意其余的值会绑定x"), +} +``` +可用在哪： + +```rust +let Mode(a) = mode; +if let Mode(a) = mode { + println!("匹配的时候执行这里"); +} else { + println!("其余情况到这里，else可选"); +} +while let Mode(a) = queue.pop() { ... } +for Mode(a) in IterMode { ... } +match ... case ... => ... +``` -### 多态详解 +### 多态详解 + +Rust的多态是基于泛型的，编译时多态为了节省运行时时间，会根据方法的使用情况生成对应的衍生体，运行时多态是在编译时多态不能确定的时候，留到运行时动态分发的： +```rust +struct tmp { + a: T, + b: Y, +} +// 当你有： +tmp {a: 1u32, b:1u32} +tmp {a: 1i32, b:1f64} +// 的时候，编译时静态分发会生成struct tmpu32u32 { u32, u32 }和struct tmpi32f64 { i32, f64 } +// trait的多态方法也是，会自动在编译时生成对应版本，运行时就会节省判断类型再分发的消耗 +// 如果你不确定有哪些方法会被使用，你需要提前给类型一点约束： +struct tmp { // T必须是实现了Copy和Tmp特质的类型 + a: T, + b: Y, +} +impl tmp { // 前一个T标识后面的T是类型名称 + fn func() -> impl Copy + Tmp { // impl标识返回的是实现了Copy + Tmp的一个type的工厂函数 + ... + } +} +``` +但是，如果就是不确定，非等得到运行时才能确定结构体的类型怎么办？运行时动态分发： +``` rust +struct tmp { + a: Box, // dyn标识此字段将会是一个实现了Copy+Tmp特质的类型 + b: Y, +} +``` +动态分发不会自动生成多个适应不同类型的结构体衍生，也就是说编译时优化不了，在运行的时候，会浪费一点资源判断类型后分发。 + +上面发现写类型前面有点冗长，有点乱了，所以可以使用`type`来定义类型，`where`定义约束： + +``` rust +// type 类似于C语言的typedef +type emm = u32; +type qwq = crate::collections::HashMap; +type asd = ref Vec; +type zxc = tmp; + +// 类型约束： +impl xxx { ... } +// 可写为： +impl xxx +where + T: crate::collections::HashMap, + F: [u32; 64] +{ ... } + +// 当然，如果impl/mod里面书写类型过于麻烦，也可以内部定义类型，类似于临时起个别名： +impl Tmp { + type type_a = [u8; 64]; + fn emm(var1: type_a, var2: type_a) -> type_a { + ... + } +} +``` -### 智能指针 +### 智能指针 +这里将会一口气讲完单执行流下的智能指针，以及`unsafe`和裸指针 +```rust +// 写不动了，下次吧，，，也就最近两天了... +``` ### 包管理相关 +合理分割代码，合理安排代码位置，是熟悉设计模式的码农必需品。写完不仅仅心旷神怡，`debug`的时候也可以更快的定位`bug`！ +```rust - +``` ### 异步相关 +仅仅涉及异步通信的管道和相关的智能指针，其余的进程、线程、协程的标准库和操作下次一定吧！ + +```rust +``` + diff --git "a/source/_posts/Lfan-ke\357\274\232rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" "b/source/_posts/Lfan-ke\357\274\232rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" index 0599903bbe5..b6cfb29923b 100644 --- "a/source/_posts/Lfan-ke\357\274\232rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" +++ "b/source/_posts/Lfan-ke\357\274\232rCore\345\255\246\344\271\240\347\254\224\350\256\260.md" @@ -5,6 +5,7 @@ categories: - 补完计划 tags: - author:Lfan-ke + - author-alias:禾可/禾可1228 - repo:https://github.com/LearningOS/2024a-rcore-Lfan-ke mathjax: true ---