元组
如:(12,“a”,1.2),
- 允许不同类型组成;
- 长度固定。
构造体:struct
- 构造体中不仅可以有属性,还可以有方法和函数;
- 函数一般写在
impl
实现中,可以有多个实现; - 关联函数,类似
::new
,new
就是关联函数; - 打印结构体,便于调试,可以在结构体上加 trail 特性注解
#[derive(Debug)]
。
enum 枚举
enum Coin {
Penny,
Nicket,
Dime,
Quarter(u32)
}
- 枚举的作用是经常作为一个接口的参数类型;
- 枚举可以携带值;
- 枚举也可以像结构体一样去实现方法。
标准库中的枚举 Option
enum Option<T> {
Some(T),
None,
}
- Option 要么有值,要么没有值;
- Option 和 T 不是同一个类型;
- enum 常和 match 一起使用,并能取出其携带的值,
_
是通配符,用于匹配没有列举出来的情况,常见是_ => ()
,不做任何处理 ; - Option 和 match 使用会校验是否处理了 None 的情况。
let if 与 match 控制流
- match 既能与枚举匹配,也可以与 option 匹配;
- if let 简写 match(match 的语法糖,忽略其他模式匹配
_ => ()
),如if let Some(3) = some_value {...}
。
代码 |
enum Coin {
Penny,
Nickel,
Dime,
Quarter(String),
}
fn value_in_cents(coin: Coin){
let mut count = 0;
match coin {
Coin::Penny => { // 执行表达式
println!("Lucky Penny!");
1
},
Coin::Quarter(str) => {
println!("{}", str); // 携带值
count += 1;
},
_ => () // 匹配其他情况
}
// if let 简化 match 的控制流
if let Coin:Quarter("different") = coin {
count += 1;
}
// Option 的 Some 和 None
fn plus_one(x: Option<i32>) -> Option<i32> {
match x {
None => None,
Some(i) => Some(i+1)
}
}
let five = Some(5);
let six = plus_one(fixe);
let none = plus_one(None);
}