Update Ch10

This commit is contained in:
Unisko PENG 2023-04-12 14:51:26 +08:00
parent b138ebb376
commit e99121bf3d

View File

@ -2,11 +2,11 @@
每种编程语言都有着用于有效处理重复概念的一些工具。在 Rust 中,一种这样的工具就是 *泛型generics*将一些具体类型或其他属性的替身抽象出来。对于在编译及运行代码时泛型处有着什么咱们无需知悉就可以表达泛型的行为或与其他泛型之间的关系abstract stand-ins for concret types or other properties. We can express the bevavior of generics or how they relate to other generics without knowing what will be in their place when compiling and running the code
与函数取一些未知值,以在多个具体值上运行函数体中同样代码的方式一样,其也可以取一些泛型的参数,而非像是 `i32``String` 这样的具体类型。事实上,前面在第 6 章的 `Option<T>`,第 8 章的 `Vec<T>``HashMap<K, V>`,还有第 9 章的 `Result<T, E>` 中,就已经用到了泛型特性。本章中,将探讨怎样定义咱们自己的带有泛型特性的类型、函数及方法!
与函数取一些未知值,以在多个具体值上运行函数体中同样代码的方式一样,其也可以取一些泛型的参数,而非像是 `i32``String` 这样的具体类型。事实上,前面在第 6 章的 `Option<T>`,第 8 章的 `Vec<T>``HashMap<K, V>`,还有第 9 章的 `Result<T, E>` 中,就已经用到了泛型特性。本章中,将探讨怎样定义咱们自己的带有泛型特性的类型、函数及方法!
首先,这里会回顾怎样对函数进行凝练,从而减少代码重复。随后会使用同样技巧,来将两个只是参数类型不同的函数,构造为一个泛型函数。这里还会讲解怎样在结构体与枚举定义中,运用泛型。
首先,这里会回顾怎样对函数进行凝练,从而减少代码重复。随后会使用同样技巧,来将两个只是参数类型不同的函数,构造为一个泛型函数。这里还会说明,怎样在结构体与枚举定义中使用泛型。
接着就会掌握怎样使用 *特质traits* 来以泛型方式定义动作行为。可将特质与泛型结合,来将某个泛型只接受有着特定行为的那些类型,而不再是任意类型。
接着就会掌握怎样使用 *特质traits*来以泛型方式定义动作行为。可将特质与泛型结合,来将某个泛型约束为只接受有着特定行为的那些类型,而不再是任意类型。
最后,这里将讨论 *生命周期lifetimes*:给到编译器各个引用相互之间联系信息的各种泛型。生命周期特性允许给到编译器,有关那些被借用值的足够信息,这样编译器就可以在相比与未给到这些信息时,能够在更多不同情形下,确保这些引用的有效性。