05|复合类型(上):结构体与面向对象特性
你好,我是悦创。今天我们来学习 Rust 中的复合类型——结构体。
结构体是由其他的基础类型或复合类型组成的,当它所有字段同时实例化后,就生成了这个结构体的实例。在 Rust 中,结构体使用 struct 关键字进行定义。
这节课我们会通过各种各样的示例来了解结构体,其中有部分示例来自于官方 The Book。我们一起来看一下。
1. 结构体示例
下面我们先来看一下结构体示例,定义一个 User 结构体。
struct User {
active: bool,
username: String,
email: String,
sign_in_count: u64,
}
示例中的 User 结构体由 4 个字段组成。
- active 字段:bool 类型,表示这个用户是否是激活状态。
- username 字段:字符串类型,表示这个用户的名字。
- email 字段:字符串类型,表示这个用户的邮箱名。
- sign_in_count 字段:u64 类型,用来记录这个用户登录了多少次。
User 完全由 4 个基础类型的字段组合而成。User 的实例化需要这 4 个字段同时起作用,缺一不可。比如:
fn main() {
let user1 = User {
active: true,
username: String::from("someusername123"),
email: String::from("someone@example.com"),
sign_in_count: 1,
};
}
结构体类型也可以参与更复杂结构体的构建。
struct Class {
serial_number: u32,
grade_number: u32,
entry_year: String,
members: Vec<User>,
}
代码里的 Class 表示班级,serial_number
表示几班,grade_number
表示几年级,entry_year
表示起始年份,members
是一个 User 的动态数组。
从这里,我们已经可以想象出,结构体类型可以不断往上一层一层地套。而在实际应用中,结构体往往是一个程序的骨干,用来承载对目标问题进行建模和描述的重任。
2. 结构体的形式
结构体有三种形式,分别是命名结构体、元组结构体和单元结构体,下面我们一个一个看。
2.1 命名结构体
命名结构体是指每个字段都有名字的结构体,比如前面提到的 User 结构体,它的每个字段都有明确的名字和类型。
如果在实例化结构体之前,命名了结构体字段名的同名变量,那么用下面这种写法可以偷懒少写几个字符。
fn main() {
let active = true;
let username = String::from("someusername123");
let email = String::from("someone@example.com");
let user1 = User {
active, // 这里本来应该是 active: active,
username, // 这里本来应该是 username: username,
email, // 这里本来应该是 email: email,
sign_in_count: 1,
};
}
这样会显得代码更简洁,同时也没有歧义。
结构体创建好之后,可以更新结构体的部分字段。下面的示例里就单独更新了 email 字段。
fn main() {
let mut user1 = User {
active: true,
username: String::from("someusername123"),
email: String::from("someone@example.com"),
sign_in_count: 1,
};
user1.email = String::from("anotheremail@example.com");
}
注意 user1 前面的 mut 修饰符,不加的话就没办法修改这个结构体里的字段。
而如果我们已经有了一个 User 的实例 user1,想再创建一个新的 user2,而两个实例之间只有部分字段不同。这时,Rust 也提供了偷懒的办法,比如:
fn main() {
let active = true;
let username = String::from("someusername123");
let email = String::from("someone@example.com");
let user1 = User {
active,
username,
email,
sign_in_count: 1,
};
let user2 = User {
email: String::from("another@example.com"),
..user1 // 注意这里,直接用 ..user1
};
}
用这种写法可以帮助我们少写很多重复代码。特别是当这个结构体比较大的时候,比如有几十个字段,而我们只想更新其中的一两个字段的时候,就显得特别有用了,这能够让我们的代码保持干净清爽。
比如有一个场景就正好符合这个语法特性。用户的信息存在数据库里,当我们要更新一个用户的一个字段的信息时,首先需要从数据库里把这个用户的信息取出来,做一些基本的校验,然后把要更新的字段替换成新的内容,再把这个新的用户实例存回数据库。
这个过程可以这样写:
// 这个示例是伪代码
let user_id = get_id_from_request;
let new_user_name = get_name_from_request();
let old_user: User = get_from_db(user_id);
let new_user: User = User {
username: new_user_name,
..old_user // 注意这里的写法
}
new_user.save()
有了这些语法糖,用 Rust 写业务代码是非常清爽的。
2.2 元组结构体
除了前面那种最普通的命名结构体形式,Rust 中也支持一种匿名结构体的形式,也叫做元组结构体。所谓元组结构体,也就是元组和结构体的结合体。
元组结构体长什么样子呢?你可以看一下示例。
struct Color(i32, i32, i32);
struct Point(i32, i32, i32);
fn main() {
let black = Color(0, 0, 0);
let origin = Point(0, 0, 0);
}
可以看到,元组结构体有类型名,但是无字段名,也就是说字段是匿名的。在有些情况下这很有用,因为想名字是一件很头痛的事情。并且某些场景下用元组结构体表达会更有效。比如对于 RGB 颜色对、三维坐标这种各分量之间有对称性,又总是一起出现的情景,直接用元组结构体表达会显得更紧凑。
上述示例中,我们看到,Color 类型和 Point 类型的元组部分其实是一样的,都是 (i32, i32, i32)
,但是由于类型名不同,它们就是不同的类型,因此上面的 black 实例和 origin 实例就是两个完全不同的东西,前者表示黑色,后者表示原点。
2.3 单元结构体
Rust 还支持单元结构体。单元结构体就是只有一个类型名字,没有任何字段的结构体。单元结构体在定义和创建实例的时候,连后面的花括号都可以省略。比如:
struct ArticleModule;
fn main() {
let module = ArticleModule; // 请注意这一句,也做了实例化操作
}
可以看到,这个示例中结构体 ArticleModule 类型实际创建了一个实例,ArticleModule 的定义和实例化都没有使用花括号。这种写法非常紧凑,所以要注意分辨,不然会疑惑:类型为什么能直接赋给一个变量。
那没有字段的结构体有什么用呢?其实它就相当于定义了一种类型,它的名字就是一种信息,有类型名就可以进行实例化,承载很多东西。后面我们在代码中会经常看到单元结构体。
3. 结构体中的所有权问题
3.1 部分移动
Rust 的结构体有一种与所有权相关的特性,叫做部分移动(Partial Move)。就是说结构体中的部分字段是可以被移出去的,我们来看下示例。
#[derive(Debug)]
struct User {
active: bool,
username: String,
email: String,
sign_in_count: u32,
}
fn main() {
let active = true;
let username = String::from("someusername123");
let email = String::from("someone@example.com");
let user1 = User {
active,
username,
email,
sign_in_count: 1,
};
let email = user1.email; // 在这里发生了partially moved
println!("{:?}", user1) // 这一句无法通过编译
}
提示:
error[E0382]: borrow of partially moved value: `user1`
--> src/main.rs:22:22
|
20 | let email = user1.email;
| ----------- value partially moved here
21 |
22 | println!("{:?}", user1)
| ^^^^^ value borrowed here after partial move
下面这句对于我们习惯的编程的人来说,其实是非常普通的一行,就是将结构体的一个字段值赋值给一个新的变量。
let email = user1.email;
但这里就发生了一件很奇妙的事情,因为 email 字段是 String 类型,是一种所有权类型,于是 email 字段的值被移动了。移动后,email 变量拥有了那个值的所有权。而 user1 中的 email 字段就被标记无法访问了。
我们稍微改一下这段代码,不直接打印 user1 实例整体,而是分别打印 email 之外的另外三个字段。
let email = user1.email;
println!("{}", user1.username); // 分别打印另外3个字段
println!("{}", user1.active);
println!("{}", user1.sign_in_count);
这时可以得到正确的输出。而如果单独打印 email 字段,也是不行的,你可以自己试试。这就是结构体中所有权字段被部分移动的情景。
3.2 字段是引用类型
还是用前面我们定义的 User 类型,它里面的所有字段都是带所有权的字段。而在赋值行为上,bool 和 u32 会默认复制一份新的所有权,而 String 会移动之前那份所有权到新的变量。全部定义带所有权的字段,是我们定义结构体类型的主要方式。
但是既然都是类型,Rust 的结构体没有理由不能支持借用类型。比如:
struct User {
active: &bool, // 这里换成了 &bool
username: &str, // 这里换成了 &str
email: &str, // 这里换成了 &str
sign_in_count: &u32, // 这里换成了 &u32
}
我们把 4 个字段都换成了对应的引用形式。
这种写法当然是可以的,不过上面的代码暂时还没办法通过 Rust 的编译,我们需要加一些额外的标注才能让其通过,这个我们在这里不展开讲解,后面第 20 讲我会针对这个问题展开描述。我这里把这种写法提出来是为了让你意识到,几乎所有的地方,Rust 都会把问题一分为二,一是所有权形式的表示,二是借用形式的表示。借用形式的表示又可进一步细分为不可变借用的表示和可变借用的表示。
一般来说,对于业务系统我们用的几乎都是所有权形式的结构体,而这就已经够用了。对于初学者来说,切忌贪图所有语言特性,应该以实用为主。
3.3 给结构体添加标注
在 Rust 中,我们可以给类型添加标注。
#[derive(Debug)] // 这里,在结构体上面添加了一种标注
struct User {
active: bool,
username: String,
email: String,
sign_in_count: u32,
}
这样标注后,就可以在打印语句的时候把整个结构体打印出来了。
println!("{:?}", user1); // 注意这里的 :? 符号
这种 #[derive(Debug)]
语法在 Rust 中叫属性标注,具体来说这里用的是派生宏属性,派生宏作用在下面紧接着的结构体类型上,可以为结构体自动添加一些功能。这些知识我们后面会讲解。目前为止你只需要知道它起什么作用就可以了。比如,派生 Debug 这个宏可以让我们在 println!
中用 {:?}
格式把结构体打印出来,这对于调试是非常方便的。
如果你学过 Java,可能会非常眼熟,这跟 Java 中的标注语法非常像,功能也是类似的,都会对原代码的元素产生作用。不过,Rust 这个特性作为一套完整的宏机制,要强大得多。它让 Rust 的语言表达能力又上了一个台阶。
后面我们会经常看到各种派生宏,到时候我们再做讲解。
4. 面向对象特性
Rust 不是一门面向对象的语言,但是它确实有部分面向对象的特性。而 Rust 承载面向对象特性的主要类型就是结构体。Rust 有个关键字 impl 可以用来给结构体或其他类型实现方法,也就是关联在某个类型上的函数。
4.1 方法(实例方法)
使用 impl 关键字为结构体实现方法,可以像下面这样:
#[derive(Debug)]
struct Rectangle {
width: u32,
height: u32,
}
impl Rectangle { // 就像这样去实现
fn area(self) -> u32 { // area就是方法,被放在impl实现体中
self.width * self.height
}
}
fn main() {
let rect1 = Rectangle {
width: 30,
height: 50,
};
println!(
"The area of the rectangle is {} square pixels.",
rect1.area() // 使用点号操作符调用area方法
);
}
// 输出
The area of the rectangle is 1500 square pixels.
上面示例中,我们给 Rectangle 类型实现了 area 方法,并在 Rectangle 的实例 rect1 上使用点号(.
)操作符调用了这个方法。
4.2 Self
请注意看 area 方法的签名。
fn area(self) -> u32
你会发现,这个参数好像有点特殊,是一个单 self,不太像标准的参数定义语法。
实际上这里是 Rust 的一个语法糖,self 的完整写法是 self: Self
,而 Self 是 Rust 里一个特殊的类型名,它表示正在被实现(impl)的那个类型。
前面我们说过,Rust 中所有权形式和借用形式总是成对出现,在 impl 的时候也是如此。方法的签名中也会对应三种参数形式。我们扩展一下上面的例子。
impl Rectangle {
fn area1(self) -> u32 {
self.width * self.height
}
fn area2(&self) -> u32 {
self.width * self.height
}
fn area3(&mut self) -> u32 {
self.width * self.height
}
}
3 种形式都是可以的。
方法是实现在类型上的特殊函数,它的第一个参数是 Self 类型,包含 3 种形式。
self: Self
:传入实例的所有权。self: &Self
:传入实例的不可变引用。self: &mut Self
:传入实例的可变引用。
因为是标准用法,所以 Rust 帮我们简写成了 self
、&self
、&mut self
。这种简写并不会产生歧义。
上述代码展开后是这样的:
impl Rectangle {
fn area1(self: Self) -> u32 {
self.width * self.height
}
fn area2(self: &Self) -> u32 {
self.width * self.height
}
fn area3(self: &mut Self) -> u32 {
self.width * self.height
}
}
方法调用的时候,直接在实例上使用 . 操作符调用,然后第一个参数是实例自身,会默认传进去,因此不需要单独写出来。
rect1.area1(); // 传入rect1
rect1.area2(); // 传入&rect1
rect1.area3(); // 传入&mut rect1
看到这里,你是不是感觉很熟悉,有没有 C++、Java 等方法的 this 指针的既视感?不过,在 Rust 中,基本上一切都是显式化的,不存在隐藏提供一个参数给你的情况。这样就会少很多坑,如果你是 JavaScript 开发者,在这一点上应该深有体会。
实例的引用也是可以直接调用方法的。比如,对于不可变引用,可以像下面这样调用。Rust 会自动做正确的多级解引用操作。
#[derive(Debug)]
struct Rectangle {
width: u32,
height: u32,
}
impl Rectangle {
fn area(&self) -> u32 {
self.width * self.height
}
}
fn main() {
let rect1 = Rectangle {
width: 30,
height: 50,
};
// 在这里,取了实例的引用
let r1 = &rect1;
let r2 = &&rect1;
let r3 = &&&&&&&&&&&&&&&&&&&&&&rect1; // 不管有多少层
let r4 = &&r1;
// 以下4行都能正确执行
r1.area();
r2.area();
r3.area();
r4.area();
}
对同一个类型,impl 可以分开写多次。这在组织代码的时候比较方便。
impl Rectangle {
fn area(&self) -> u32 {
self.width * self.height
}
}
impl Rectangle {
fn can_hold(&self, other: &Rectangle) -> bool {
self.width > other.width && self.height > other.height
}
}
4.3 关联函数(静态方法)
前面我们讲过,方法的第一个参数为 self,从函数参数定义上来说,第一个参数当然也可以不是 self。如果实现在类型上的函数,它的第一个参数不是 self 参数,那么它就叫做此类型的关联函数。
impl Rectangle {
fn numbers(rows: u32, cols: u32) -> u32 {
rows * cols
}
}
调用时,关联函数使用类型配合路径符 ::
来调用。注意这里与实例用点运算符调用方法的区别。
Rectangle::numbers(10, 10);
你有没有感觉,Rust 中的关联函数跟 C++、Java 里的静态方法起着类似的作用?确实差不多。但是 Rust 这里不需要额外引入一个 static 修饰符去定义,因为靠是否有 Self 参数就已经能明确地区分实例方法与关联函数了。
4.4 构造函数
不像 C++、Java 等语言,Rust 中没有专门的构造函数,但是用于构造实例的需求是不会变的。那 Rust 中一般是怎么处理的呢?
首先,Rust 中结构体可以直接实例化,比如前面定义的 Rectangle。
#[derive(Debug)]
struct Rectangle {
width: u32,
height: u32,
}
fn main() {
let rect1 = Rectangle {
width: 30,
height: 50,
};
}
基于这一点,Rust 社区一般约定使用 new()
这个名字的关联函数,像下面这样把类型的实例化包起来。
impl Rectangle {
pub fn new(width: u32, height: u32) -> Self {
Rectangle {
width,
height,
}
}
}
然后,使用下面这行代码创建新实例。
let rect1 = Rectangle::new(30, 50);
但是 new 这个名字并不是强制的。所以你在社区的很多库里还会看到 from()
、from_xxx()
等其他名字起构造函数的功能。Rust 在这块儿并没有强制要求,多熟悉社区中的惯用法,能写出更地道的 Rust 代码。
4.5 Default
在对结构体做实例化的时候,Rust 又给我们提供了一个便利的设施,Default。
我们可以像下面这样使用:
#[derive(Debug, Default)] // 这里加了一个Default派生宏
struct Rectangle {
width: u32,
height: u32,
}
fn main() {
let rect1: Rectangle = Default::default(); // 使用方式1
let rect2 = Rectangle::default(); // 使用方式2
println!("{:?}", rect1);
println!("{:?}", rect2);
}
// 打印出如下:
Rectangle { width: 0, height: 0 }
Rectangle { width: 0, height: 0 }
Default 有两种使用方式,一种是直接用 Default::default()
,第二种是用类型名 ::default()
,它们的实例化效果是一样的。
可以看到,打出来的实例字段值都 0,是因为 u32 类型默认值就是 0。对于通用类型,比如 u32 这种类型来说,取 0 是最适合的值了,想一想取其他值是不是没办法被大多数人接受?
但是,对于我们特定场景的 Rectangle 这种,我们可能希望给它赋一个初始的非 0 值。在 Rust 中,这可以做到,但是需要用到后面的知识。目前我们就可以先用约定的 new 关联函数 + 参数来达到我们的目的。
#[derive(Debug)]
struct Rectangle {
width: u32,
height: u32,
}
impl Rectangle {
pub fn new(width: u32, height: u32) -> Self {
Rectangle {
width,
height,
}
}
}
const INITWIDTH: u32 = 50;
const INITHEIGHT: u32 = 30;
fn main() {
// 创建默认初始化值的Rectangle实例
let rect1 = Rectangle::new(INITWIDTH , INITHEIGHT);
}
5. 小结
这节课我们详细讨论了 Rust 中结构体相关的知识,现在来复习一下。
结构体中有命名结构体、元组结构体、单元结构体几种表现形式,除此之外,结构体中的所有权问题也是需要重点关注的,尤其是部分移动的概念。然后我们介绍了如何通过在结构体上添加标注来增强结构体的能力。
我们还进一步了解了如何利用 impl 关键字为结构体实现面向对象特性。不过需要注意的是,Rust 语言本身并不是一门完整的面向对象语言,比如它缺乏继承等机制。但是这并不重要,OOP 不是编程语言的全部,Rust 语言从设计之初就没有走向 OOP 的方向。后面我们会看到,Rust 利用 trait 等机制,能够提供比 OOP 语言更解耦的抽象、更灵活的配置。
结构体是用户自定义类型的主要实现者,你要熟练掌握。除了具体的语法知识点之外,我建议你用所有权和借用的思路去贯穿 Rust 整个知识体系。
6. 思考题
可以给 i8 类型做 impl 吗?
欢迎你把思考后的结果分享到评论区,也欢迎你把这节课分享给需要的朋友,我们下节课再见!
详情
思考题有点像脑筋急转弯,我们不能直接对原生类型做 impl。
但我们可以用 newtype 模式对i8封装一下,再 impl。
思路题:基本数据类型无法实现 impl。
目前知道可以给基本数据类型添加操作的方式,通过
trait Operate {
fn plus(self) -> Self;
}
impl Operate for i8 {
fn plus(self) -> Self {
self + self
}
}
fn main() {
let a = 1i8;
println!("{}",a.plus());
}
rust 有多少种方式可以给基本数据扩展方法呢,欢迎各位大佬指路?
作者回复: 最基本的就是你这种,另外就是用 newtype 方法包一下。👍
用”impl Default for i8”实践了下,不能给 i8实现impl,错误提示大意就是违反孤儿规则(Rust's orphan rules )…直觉上,基础类型如果允许impl改变特性,一些逻辑会变的很奇怪…用struct包裹起来,impl就可以正常使用了
欢迎关注我公众号:AI悦创,有更多更好玩的等你发现!
公众号:AI悦创【二维码】
AI悦创·编程一对一
AI悦创·推出辅导班啦,包括「Python 语言辅导班、C++ 辅导班、java 辅导班、算法/数据结构辅导班、少儿编程、pygame 游戏开发」,全部都是一对一教学:一对一辅导 + 一对一答疑 + 布置作业 + 项目实践等。当然,还有线下线上摄影课程、Photoshop、Premiere 一对一教学、QQ、微信在线,随时响应!微信:Jiabcdefh
C++ 信息奥赛题解,长期更新!长期招收一对一中小学信息奥赛集训,莆田、厦门地区有机会线下上门,其他地区线上。微信:Jiabcdefh
方法一:QQ
方法二:微信:Jiabcdefh
- 0
- 0
- 0
- 0
- 0
- 0