传送门:
深入浅出Rust(第一部分-1)
深入浅出Rust(第一部分-2)
深入浅出Rust(第二部分-1)
深入浅出Rust(第二部分-2)
深入浅出Rust(第三部分-1)
深入浅出Rust(第三部分-2)
深入浅出Rust(第四部分)
深入浅出Rust(第五部分)
第三部分 - 高级抽象 -1
第21章 泛型
看了引入泛型,就要考虑的方方面面,怪不得Go迟迟拿不出方案了...
Rust的泛型和java的不同,java只是在编译器进行检查,运行是进行类型擦除.而Rust是在编译器时进行检查和类型绑定.
1.数据结构中的泛型
- Option类型是一个泛型enum类型
struct S<T=i32>{
data: T
}
- 泛型参数T,使用时候可以不指定类型,这样就用了默认值i32.
2. 函数中的泛型
- 在方法名后面加上<>泛型参数(与java是一样)
- 手动指定参数: function_name::<type params>(function params)语法,这里用::分隔
- 泛型函数很多程度实现了C++的"函数重载"功能,通过对参数的泛化,是的参数能接受多种类型
3. impl块中的泛型
- impl块中的泛型: 直接再impl后面<>,并且配合where子句
4. 泛型参数约定
- Rust在分析泛型函数的时候当场检查类型的合法性
21-1.png
5. 关联类型(难点)
- 在定义trait时候还同时定义type,使得在impl时候,需要同时指定该类型.
- 也就是说trait中的泛型,可以不放第一句,而是单独说明.
pub trait Iterator{
type Item;
}
- 增加可读性,可扩展性;(不用对trait的每个函数单独指定约束)
- trait的impl匹配规则,可以针对不同类型实现多个impl,而不会冲突.
6. 使用关联类型(难点)
7. 泛型特化
- 仅仅针对trait和impl支持特化功能,当有多个impl可用时,编译器很聪明会找到最特化的impl
- 特化意义: 性能优化,代码重用,为"高效继承"铺路
- 使用default关键字,是的impl方法能够被"重写",从而完成特化
- 交叉impl---试验性,并不完美
第22章 闭包
阅读下来,语义上闭包和js的闭包区别不大,语法小有区别
语法:
|a: i32, b: i32| -> i32 { return a+b;}
简写:
|a, b| -> a+b;
省略类型,{},return,这些和java,js倒是一样的.
1. 变量捕获
- 闭包属于语法糖,Rust中是通过匿名结构体实现的,它会捕获用到的外部变量,传入内部
- 优先选择&T类型,其次&mut T,最后T类型.(我都要的策略)
2. move关键字
- 加上move关键字,编译器生成的匿名结构体都使用by value方式(传入T类型)
- 用于闭包需要传递到函数外部的情况
3. Fn/FnMut/FnOnce
- 闭包还自动实现了几个trait
- FnOnce:传入self,执行一次后失效
- FnMut: 传入&mut self,能改变外部环境变量和自己成员变量
- Fn: 传入&self,只能改变外部环境变量
4. 闭包和泛型(难)
- 要向函数传递闭包(1. 不同参数生成不同版本函数:静态; 2. 进行trait object装箱: 动态)
5. 闭包与生命周期(难)
- 要让闭包作为返回值,生命周期标记控制比较困难->高阶生命周期
- .....再补吧.
第23章 动态分派和静态分派(难)
- Rust可以同时支持静态分派(static dispatch)和动态分派(dynamic dispatch)
- 所谓动态,指在运行时才知道具体调用哪个函数(函数名是知道的,类型未知)
- 引入dyn关键字
23-1.png
1. trait object
- 指向triat的指针(类似于Go的接口指针),其为一个DST动态大小类型
- 因此变成"胖指针",同时包含数据地址(data)和虚函数表(vtable),而虚函数表包含我们具体需要调用函数的地址
2. object safe(需要额外限制,保证trait object的安全)
- trait有Self:Sized约束时,不允许
- 函数中有Self类型作为参数或者返回类型时,不允许(不能出现在虚函数表)
- 当函数第一个参数不是self时,不允许(加不到虚函数表)
- 当函数有泛型参数时,不允许(可能出现不同版本,冲突)
3. impl trait(略)
- .....再补吧.
