Rust程序设计语言读书笔记三
泛型
泛型与Typescript的泛型语法很相似,对结构体、函数使用泛型几乎一样。
1 | struct Point<T> { |
中规中矩,没啥特别的。特别一点的是方法的枚举
1 | impl<T> Point<T> { |
枚举需要在impl关键字与结构体名称后面都声明。原文的说法是:这样Rust就知道Point
的尖括号中的类型是泛型而不是具体类型。
不太能理解,为什么要重复声明。
也可以为某些类型单独定义泛型类型,例如,可以为Point<f32>实例实现方法,而不是为泛型Point的实例。
1 |
|
结构体中定义的泛型类型参数也不一定总是与结构体方法中使用的泛型是同一类型。
1 | struct Point<X1, Y1> { |
泛型代码的性能
Rust并不会因为泛型而增加运行时消耗。Rust会在编译过程中进行泛型代码单态化(monomorphization)
来保证效率。单态化是一个通过填充编译时使用的具体类型,将通用代码转换为特定代码的过程。
看代码就很好理解:
1 | let interger = Some(5); |
通过单态化编译后看起来会是如下:
1 | enum Option_i32 { |
那么多加泛型会不会导致编译后代码变大?后面再试试
Trait: 定义共同行为
trait原意有特征、品质的意思
一个类型的行为由其可供调用的方法构成。如果可以对不同类型调用相同的方法的话,这些类型就可以共享相同的行为了。
使用trait
关键字定义一个trait,关键字后跟着的就是trait的名称。trait体中可以定义多个方法:一行一个方法签名且都已分号结尾。
1 | trait Summary { |
为类型实现trait需要用impl关键字,impl后面跟着trait的名字,接下来for 接着 类型名:
1 | trait Summary { |
在指定了Summary给Tweet后,在敲fn时,编译器就能自动写出参数类型与返回类型。因为此时实现的方法就应该与trait声明一样了。
在实现方法后,Tweet与NewsArtical的实例就有了一样的summary方法。
1 | let tweet = Tweet { |
还有两个点暂时不太好理解,没写demo
- trait必须和类型一起引入作用域以便使用额外的trait方法
- 如果要给一个类型实现trait,就需要把trait引入到类型定义的作用域中
如果要一个一个实现trait的实现也有点太麻烦,Rust可以写默认trait实现,某个特性类型实现trait时,可以选择保留或重载每个方法的默认行为。
只需在声明trait的方法写出方法逻辑,impl处不写逻辑,一个空的大括号即可。
1 | trait Summary { |
如果要重载,则impl后面还是编写trait的实现即可。
trait的默认实现可以调用没有默认实现的同一个trait的其他方法,尽管其他方法没有实现默认实现。
但是,编译器会给提示,必须在具体类型中实现没有默认实现的trait方法。
1 | trait Summary { |
其实不管summarize里有没有用到summarize_author,编译器都会要求具体类型实现summarize_author方法的实现。
trait作为参数
原文定义了一个notify函数,该函数调用其参数item上的summarize方法,该参数是实现了summary trait的某种
类型。为此可以使用impl Trait
语法:
1 | // 期望传递的参数是实现了Summary trait的类型实例。 |
其实参声明是impl加上trait名。语法嘛,背吧。
这种情况我们往往是需要其引用,引用的话是在impl关键字前加&
1 | fn notify(item: &impl Summary) { |
再结合泛型,可以这么写:
1 | // 常用的还是引用。所以只写了引用的方式。如果不是引用,去掉&即可 |
原文说,上面这个就是trait Bound?何必再加个名词….
如果item参数需要同时实现两个不同的trait:Display和Summary:
1 | fn notify(item: &(impl Summary + Display)) { |
trait Bound多了难以阅读,所以又多了一个语法糖where
1 | fn some_function<T: Display + Clone, U: Clone + Debug>(t: &T, u: &U) -> i32 {} |
语法糖如下:
1 | fn some_function<T, U>(t: &T, u: &U) -> i32 |
生命周期
原文里:这里还有一种泛型,我们一直在使用它甚至都没有察觉它的存在,这就是 **生命周期**(_lifetimes_)
,可见,Rust里的生命周期是一种泛型
。
Rust的生命周期与React、Vue生命周期就完全不是一个概念了。Rust的生命周期是变量存活的时间
。
1 | let r; |
如果编写如上代码,那么Rust编译器会报错:'x' does not live long enough
在打印r的时候,x已经被销毁,没有活到需要打印x的时候。
函数中的泛型生命周期
先来看原文给的例子:
1 | fn main() { |
上面的代码编译会报错:missing lifetime specifier
提示文本揭示了返回值需要一个泛型生命周期参数,因为Rust并不知道将要返回的一弄类型是指向x或y。此时我们也不知道,因为可能是x,也可能是y。为了修复这个错误,我们将增加泛型生命周期参数来定义引用间的关系,以便借用检查器可以进行分析。
声明周期注解描述了多个引用声明周期互相的关系,而不影响其生命周期
生命周期参数名称必须以撇号(’)开头,也就是单引号的单个引,其名称通常全是小写,类似于泛型名称非常短。'a
是大多数人默认使用的名称。生命周期参数注解位于引用的&
之后,并有一个空格来将引用类型与生命周期注解分隔开。
函数签名中的生命周期注解需要声明在函数名和参数列表间的尖括号中。加上了生命周期注解的longgest函数如下:
1 | fn longest<'a>(x: &'a str, y: &'a str) -> &'a str { |
上面的签名,我们想要表达的限制是所有(两个)参数和返回的引用的生命周期是相关的,也就是这两个参数和返回的引用存活的一样久
。函数会获取两个参数,他们都是与生命周期'a
存在的一样长的字符串slice,函数会返回一个同样也与生命周期'a
存在的一样长的字符串slice。它的实际含义是longest函数返回的引用的生命周期与传入该函数的引用的生命周期的较小者一致。这些关系就是我们希望Rust分析代码时所使用的。
当具体的引用被传递给longest函数时,被'a
所代替的具体声明周期是x的作用域与y的作用域相重叠的那一部分。换一种说法就是泛型生命周期'a
的具体生命周期等同于x和y的生命周期中较小的哪一个。因为我们用相同的生命周期参数'a
标注了返回的引用值,所以返回的引用值就能保证在x和y中较短的那个生命周期结束之前保持有效。
1 | let string1 = String::from("abcd"); |
结构体的生命周期注解
看个例子就好:
1 | struct ImportantExcerpt<'a> { |
生命周期省略(Lifetime Elision)
在早期,Rust确实所有引用都要写生命周期。但是后来因为模式太固定,所以Rust团队就把这些模式编码进了Rust编译器中。
被编码进Rust引用分析的模式被称为生命周期省略规则(lifetime elision rules),如果编译器考虑了这些规则后生命周期还是模棱两可,那么就会报错。
规则有三条:(未来也许会加,也许会有更多的情况可以省略生命周期)
- 每一个是引用的参数都有它自己是的生命周期参数。
- 如果只有一个输入生命周期参数,那么它被赋予所有输出生命周期参数:
- 如果方法有多个输入生命周期参数并且其中一个参数是&self或者&mut self,说明是个对象的方法,那么所有输出生命周期参数被赋予self的生命周期。
方法定义中的生命周期注解
当为带有生命周期的结构体实现方法
时,也要写生命周期。必须是在impl关键字后声明,并在结构体名称之后被使用,因为这些生命周期是结构体类型的一部分。
1 | impl<'a> ImportantExcerpt<'a> { |
说实话不太理解,反正就是这种情况肯定要加
静态生命周期
静态生命周期能够存活与整个程序期间,关键字是'static
,所有的字符串字面值都有静态生命周期
1 | let s: &'static str = "I have a static lifetime."; |