传送门:
深入浅出Rust(第一部分-1)
深入浅出Rust(第一部分-2)
深入浅出Rust(第二部分-1)
深入浅出Rust(第二部分-2)
深入浅出Rust(第三部分-1)
深入浅出Rust(第三部分-2)
深入浅出Rust(第四部分)
深入浅出Rust(第五部分)
第一部分-2
第5章 trait
1. 成员方法
- trait相当于java的接口(interface)+实现(impl),而内在方法相当于类.--> Rust没有Class
Self与self: Self表示实现trait的类型,而self表示具体的示例.其中self必须是方法的第一个参数(这个和python一样) - trait可以包含方法的默认实现,这样在具体实现中就可以不需要写重复的代码.
- Impl对象不一定为Struct,甚至可以是一个trait
2. 静态方法
3. 扩展方法
- 利用trait可以给其他类型添加成员方法(对比类class,灵活性更高),但是有一个规定(Orphan Rule): impl要么与trait声明在同一个crate中,要么同类型的声明在同一个crate中.
- trait只是描述类型的"特性",定义了针对类型的"约束",其本身并没有具体大小,因而无法作为变量,参数,返回值.(这与接口是不同的,Java和Go都有将具体类型转换为接口调用的习惯)
4. 完整的函数调用
- 如果出现同名trait,可以有通过完全限定::进行调用.
5-1.jpg
5. trait继承与约束
- trait可以作为泛型的约束(where),使得编译器能够检查trait的实现类型.
- 通过":"可以实现trait的继承(也就是impl需要同时实现)
6. Derive
使用#[derive()]这种可以让编译器自动加上impl块.
5-2.png
7. trait别名(type)
8. 标准库常见trait
- Display和Debug,控制打印的format,分别为{}和{:?}
- ToString,Display同时实现了这个trait.
- PartialOrd/Ord/PartialEq/Eq:只有实现了Ord(全序)即可调用sort排序,
- Sized: 这个无法自己Impl,而是用编译器推导的.
- Default: 专门用来实例化无参,无错误处理的简单实例化.
第6章 数组和字符串
1. 数组
- 数组是一个容器,必须有类型和大小.
- 切片,在Rust中使用&借用操作生成数组切片(Slice),其是一个胖指针(首元素+大小)
- Range: 使用..可以生成左闭右开的区间,..=生成左闭右闭的区间.与&结合可以更加灵活对数组进行切片(通过限定Range控制初始位置和大小)
- 从胖指针的定义可以看出,Rust的Slice与Go的是不同的.
- 索引 [ ] 操作在Rust中会进行边界检查,因此速度会低于C/C++,因此并不推荐使用for+[ ]的模式操作数组,而是使用for in 迭代器方法.
6-1.png
6-2.png
2. 字符串
- &str是Rust内置类型,是对str的借用.Rust中字符串默认使用utf-8编码,而内置Char类型是4字节长度的.因而取第几个字符这种,不能直接通过s[n]得到.需要这样:
s.chars().nth(n)
- &str类型也是一个胖指针,包含了首字指针和长度.
- String是在堆上动态申请了一块内存,因此可以进行编辑.
- String类型可以通过Deref"解引用"自动转换为&str类型
第7章 数组和字符串
1. 简介
- "Patern Destructure"是一个重要且实用的设计(Es6就有啊),可以轻松把一个复杂结构拆解开
2. match
-
match类似switch,对值进行分支处理,但是Rust要求对所有可能进行"完备"检查,避免缺少处理.可以用_,..,代替某些不需处理的值.
7-1.png match 加 if 组成"匹配守卫"(高级switch),这样可能使得编译器对于"完整无遗漏"产生误报.
使用 @ 进行符号判断
使用 ref 关键字进行绑定匹配对象的引用.
3. if-let和while-let
- 它们是Rust语法糖,表明只需要匹配某些模式,而非"完整无遗漏"
4. 函数参数与闭包做模式解构
- 默认支持在参数传递时候进行模式解构
第8章 深入类型系统
1. 代数类型系统
- 代数类型(Algebraic data type)
- 类似信息论,计算每种类型携带的信息(bit) -> 基数
2. Never Type
- 例如: enum Never {}, 因此无法只有类型,而无法构造变量.
- 基数为0;占用内存为0;处理这种类型代码,无法执行;返回这种类型代码,无法返回;可以转换为任意类型
- 在Rust用,使用"!表示
3. Option类型
-
Option解决了空指针的问题
8-2.png Option有众多方便的成员函数,map,unwrap,expect等(推荐看API)
-
Option开销也很小(使用Option类型对指针包装,与C/C++指针完全没有区别)
8-1.png
第9章 宏
1. macro
Rust宏相当于"元编程",一套模板代码,用来生成程序.
- 实现编译器阶段检查
- 实现编译期计算
- 实现代码自动生成(消除简单重复代码)
- 实现语法扩展
2. 示范型宏(macro_rules!)
- 一个实现hashmap!的宏,需要正则表达式进行输入匹配,并用$表示变量(类似shell编程)
9-1.png
- 可以使用rustc --pretty=expanded 进行宏展开
3. 宏1.1(procedural macro)
- 相当于编译器插件,是需要写Rust代码的.
- 前面章节提到的drive traits就是一个
感觉8,9两章,可能比较难懂,作者没有使用大篇幅细讲,所以讲的比较晦涩.
