🎃个人专栏:
🐬 算法设计与分析:算法设计与分析_IT闫的博客-CSDN博客
🐳Java基础:Java基础_IT闫的博客-CSDN博客
🐋c语言:c语言_IT闫的博客-CSDN博客
🐟MySQL:数据结构_IT闫的博客-CSDN博客
🐠数据结构:数据结构_IT闫的博客-CSDN博客
💎C++:C++_IT闫的博客-CSDN博客
🥽C51单片机:C51单片机(STC89C516)_IT闫的博客-CSDN博客
💻基于HTML5的网页设计及应用:基于HTML5的网页设计及应用_IT闫的博客-CSDN博客
🥏python:python_IT闫的博客-CSDN博客
🐠离散数学:离散数学_IT闫的博客-CSDN博客
🥽Linux:Linux_Y小夜的博客-CSDN博客
🚝Rust:Rust_Y小夜的博客-CSDN博客
欢迎收看,希望对大家有用!
目录
🎯提取函数消除重复代码
🎯泛型
🎃函数定义中的泛型
🎃Struct定义中的泛型
🎃Enum定义中的泛型
🎃方法定义中的泛型
🎃泛型代码的功能
🎯提取函数消除重复代码
泛型允许我们使用一个可以代表多种类型的占位符来替换特定类型,以此来减少代码冗余。在深入了解泛型的语法之前,我们首先来看一种没有使用泛型的减少冗余的方法,即提取一个函数。在这个函数中,我们用一个可以代表多种值的占位符来替换具体的值。接着我们使用相同的技术来提取一个泛型函数!!通过学习如何识别并提取可以整合进一个函数的重复代码,你也会开始识别出可以使用泛型的重复代码。
fn main() { let number_list = vec![34, 50, 25, 100, 65]; let mut largest = &number_list[0]; for number in &number_list { if number > largest { largest = number; } } println!("The largest number is {}", largest); }
这段代码获取一个整型列表,存放在变量
number_list
中。它将列表的第一个数字的引用放入了变量largest
中。接着遍历了列表中的所有数字,如果当前值大于largest
中储存的值,将largest
替换为这个值。如果当前值小于或者等于目前为止的最大值,largest
保持不变。当列表中所有值都被考虑到之后,largest
将会指向最大值,在这里也就是 100。为了消除重复,我们要创建一层抽象,定义一个处理任意整型列表作为参数的函数。这个方案使得代码更简洁,并且表现了寻找任意列表中最大值这一概念。
fn largest(list: &[i32]) -> &i32 { let mut largest = &list[0]; for item in list { if item > largest { largest = item; } } largest } fn main() { let number_list = vec![34, 50, 25, 100, 65]; let result = largest(&number_list); println!("The largest number is {}", result); let number_list = vec![102, 34, 6000, 89, 54, 2, 43, 8]; let result = largest(&number_list); println!("The largest number is {}", result); }
largest
函数有一个参数list
,它代表会传递给函数的任何具体的i32
值的 slice。函数定义中的list
代表任何&[i32]
。当调用largest
函数时,其代码实际上运行于我们传递的特定值上。涉及的机制经历了如下几步:
- 找出重复代码。
- 将重复代码提取到了一个函数中,并在函数签名中指定了代码中的输入和返回值。
- 将重复代码的两个实例,改为调用函数。
接下来我们会使用相同的步骤通过泛型来减少重复。与函数体可以处理任意的
list
而不是具体的值一样,泛型也允许代码处理任意类型。
🎯泛型
- 泛型:提高代码的复用能力
—处理重复代码的能力
- 泛型是具体类型或其他属性的抽象代替:
—你编写的代码不是最终的代码,而是一种模板,里面有一些“占位符”。
当使用泛型定义函数时,本来在函数签名中指定参数和返回值的类型的地方,会改用泛型来表示。采用这种技术,使得代码适应性更强,从而为函数的调用者提供更多的功能,同时也避免了代码的重复。
如果要在函数体中使用参数,就必须在函数签名中声明它的名字,好让编译器知道这个名字指代的是什么。同理,当在函数签名中使用一个类型参数时,必须在使用它之前就声明它。为了定义泛型版本的
largest
函数,类型参数声明位于函数名称与参数列表中间的尖括号<>
中,像这样:fn largest<T>(list: &[T]) -> &T {
可以这样理解这个定义:函数
largest
有泛型类型T
。它有个参数list
,其类型是元素为T
的 slice。largest
函数会返回一个与T
相同类型的引用。
🎃函数定义中的泛型
fn largest_i32(list: &[i32]) -> &i32 { let mut largest = &list[0]; for item in list { if item > largest { largest = item; } } largest } fn largest_char(list: &[char]) -> &char { let mut largest = &list[0]; for item in list { if item > largest { largest = item; } } largest } fn main() { let number_list = vec![34, 50, 25, 100, 65]; let result = largest_i32(&number_list); println!("The largest number is {}", result); let char_list = vec!['y', 'm', 'a', 'q']; let result = largest_char(&char_list); println!("The largest char is {}", result); }
为了参数化这个新函数中的这些类型,我们需要为类型参数命名,道理和给函数的形参起名一样。任何标识符都可以作为类型参数的名字。这里选用
T
,因为传统上来说,Rust 的类型参数名字都比较短,通常仅为一个字母,同时,Rust 类型名的命名规范是首字母大写驼峰式命名法(UpperCamelCase)。T
作为 “type” 的缩写是大部分 Rust 程序员的首选。
largest
函数在它的签名中使用了泛型,统一了两个实现。该示例也展示了如何调用largest
函数,把i32
值的 slice 或char
值的 slice 传给它。请注意这些代码还不能编译,不过稍后会解决这个问题。
fn largest<T>(list: &[T]) -> &T { let mut largest = &list[0]; for item in list { if item > largest { largest = item; } } largest } fn main() { let number_list = vec![34, 50, 25, 100, 65]; let result = largest(&number_list); println!("The largest number is {}", result); let char_list = vec!['y', 'm', 'a', 'q']; let result = largest(&char_list); println!("The largest char is {}", result); }
如果现在就编译这个代码,会出现如下错误:
帮助说明中提到了
std::cmp::PartialOrd
,这是一个 trait。下一部分会讲到 trait。不过简单来说,这个错误表明largest
的函数体不能适用于T
的所有可能的类型。因为在函数体需要比较T
类型的值,不过它只能用于我们知道如何排序的类型。为了开启比较功能,标准库中定义的std::cmp::PartialOrd
trait 可以实现类型的比较功能(查看附录 C 获取该 trait 的更多信息)。依照帮助说明中的建议,我们限制T
只对实现了PartialOrd
的类型有效后代码就可以编译了,因为标准库为i32
和char
实现了PartialOrd
。
🎃Struct定义中的泛型
同样也可以用
<>
语法来定义结构体,它包含一个或多个泛型参数类型字段。struct Point<T> { x: T, y: T, } fn main() { let integer = Point { x: 5, y: 10 }; let float = Point { x: 1.0, y: 4.0 }; }
其语法类似于函数定义中使用泛型。首先,必须在结构体名称后面的尖括号中声明泛型参数的名称。接着在结构体定义中可以指定具体数据类型的位置使用泛型类型。
注意
Point<T>
的定义中只使用了一个泛型类型,这个定义表明结构体Point<T>
对于一些类型T
是泛型的,而且字段x
和y
都是 相同类型的,无论它具体是何类型。如果想要定义一个
x
和y
可以有不同类型且仍然是泛型的Point
结构体,我们可以使用多个泛型类型参数。struct Point<T, U> { x: T, y: U, } fn main() { let both_integer = Point { x: 5, y: 10 }; let both_float = Point { x: 1.0, y: 4.0 }; let integer_and_float = Point { x: 5, y: 4.0 }; }
不过太多的话,代码将难以阅读和理解。
🎃Enum定义中的泛型
和结构体类似,枚举也可以在成员中存放泛型数据类型。
enum Option<T> { Some(T), None, }
现在这个定义应该更容易理解了。如你所见
Option<T>
是一个拥有泛型T
的枚举,它有两个成员:Some
,它存放了一个类型T
的值,和不存在任何值的None
。通过Option<T>
枚举可以表达有一个可能的值的抽象概念,同时因为Option<T>
是泛型的,无论这个可能的值是什么类型都可以使用这个抽象。enum Result<T, E> { Ok(T), Err(E), }
Result
枚举有两个泛型类型,T
和E
。Result
有两个成员:Ok
,它存放一个类型T
的值,而Err
则存放一个类型E
的值。这个定义使得Result
枚举能很方便的表达任何可能成功(返回T
类型的值)也可能失败(返回E
类型的值)的操作。
🎃方法定义中的泛型
在为结构体和枚举实现方法时(像第五章那样),一样也可以用泛型。示例 中展示了示例中定义的结构体
Point<T>
,和在其上实现的名为x
的方法。struct Point<T> { x: T, y: T, } impl<T> Point<T> { fn x(&self) -> &T { &self.x } } fn main() { let p = Point { x: 5, y: 10 }; println!("p.x = {}", p.x()); }
注意必须在
impl
后面声明T
,这样就可以在Point<T>
上实现的方法中使用T
了。通过在impl
之后声明泛型T
,Rust 就知道Point
的尖括号中的类型是泛型而不是具体类型。我们可以为泛型参数选择一个与结构体定义中声明的泛型参数所不同的名称,不过依照惯例使用了相同的名称。在声明泛型类型参数的impl
中编写的方法将会定义在该类型的任何实例上,无论最终替换泛型类型参数的是何具体类型。impl Point<f32> { fn distance_from_origin(&self) -> f32 { (self.x.powi(2) + self.y.powi(2)).sqrt() } }
这段代码意味着
Point<f32>
类型会有一个方法distance_from_origin
,而其他T
不是f32
类型的Point<T>
实例则没有定义此方法。这个方法计算点实例与坐标 (0.0, 0.0) 之间的距离,并使用了只能用于浮点型的数学运算符。结构体定义中的泛型类型参数并不总是与结构体方法签名中使用的泛型是同一类型。
struct Point<X1, Y1> { x: X1, y: Y1, } impl<X1, Y1> Point<X1, Y1> { fn mixup<X2, Y2>(self, other: Point<X2, Y2>) -> Point<X1, Y2> { Point { x: self.x, y: other.y, } } } fn main() { let p1 = Point { x: 5, y: 10.4 }; let p2 = Point { x: "Hello", y: 'c' }; let p3 = p1.mixup(p2); println!("p3.x = {}, p3.y = {}", p3.x, p3.y); }
在
main
函数中,定义了一个有i32
类型的x
(其值为5
)和f64
的y
(其值为10.4
)的Point
。p2
则是一个有着字符串 slice 类型的x
(其值为"Hello"
)和char
类型的y
(其值为c
)的Point
。在p1
上以p2
作为参数调用mixup
会返回一个p3
,它会有一个i32
类型的x
,因为x
来自p1
,并拥有一个char
类型的y
,因为y
来自p2
。println!
会打印出p3.x = 5, p3.y = c
。
🎃泛型代码的功能
Rust 通过在编译时进行泛型代码的 单态化(monomorphization)来保证效率。单态化是一个通过填充编译时使用的具体类型,将通用代码转换为特定代码的过程。
let integer = Some(5); let float = Some(5.0);
当 Rust 编译这些代码的时候,它会进行单态化。编译器会读取传递给
Option<T>
的值并发现有两种Option<T>
:一个对应i32
另一个对应f64
。为此,它会将泛型定义Option<T>
展开为两个针对i32
和f64
的定义,接着将泛型定义替换为这两个具体的定义。文章来源:https://www.toymoban.com/news/detail-843573.htmlenum Option_i32 { Some(i32), None, } enum Option_f64 { Some(f64), None, } fn main() { let integer = Option_i32::Some(5); let float = Option_f64::Some(5.0); }
泛型
Option<T>
被编译器替换为了具体的定义。因为 Rust 会将每种情况下的泛型代码编译为具体类型,使用泛型没有运行时开销。当代码运行时,它的执行效率就跟好像手写每个具体定义的重复代码一样。这个单态化过程正是 Rust 泛型在运行时极其高效的原因。文章来源地址https://www.toymoban.com/news/detail-843573.html
到了这里,关于【Rust】——提取函数消除重复代码和泛型的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!