这一节介绍 Rust 中常用的几种集合类型:
Vector
,String
和HashMap
,这些集合类型都是存储在 Heap 中,不需要编译时确定大小,可以在运行时动态改变大小。
Vector 概念略,和 C++ STL 中的 Vector 差不多,下面来看使用:
创建 Vector
使用 Vec::new()
函数创建一个空 Vector,let v: Vec<i32> = Vec::new();
(注意 V 是大写),也可以设定初始值进行创建,这时就要使用 vec!
宏,注意这里 v 是小写,let v: vec![1, 2, 3];
。
更新 Vector
使用 push
方法向 vector 里添加元素
fn main() {
let mut vec = Vec::new();
vec.push(1);
vec.push(2);
vec.push(3);
vec.push(4);
}
使用 Vec::new()
创建 vector 时,需要显式指明类型,但是若下面用 push 函数添加 vector 元素时,编译器可以根据上下文推断出类型,于是便可以不用显式指定类型了。
删除 Vector
与任何其它 struct 一样,当 Vector 离开作用域后,它就被清理掉了,同时它所有的元素也被清理掉了
读取 Vector 元素
get 方法
fn test01() {
let v = vec![1, 2, 38, 4, 45];
let third = &v[2];
println!("The third element is {}.", third);
match v.get(2) {
Some(third) => println!("The third element is {}.", third),
None => println!("There is no element in the vec."),
}
}
因为 Vector 的 get 方法返回一个 Option 枚举类型,因此用 Some 和 None 做模式匹配。
但是如果用索引访问的下标越界的话,就会发生 panic,但是使用 get 的话,会返回 None.
所有权和借用规则
fn test02() {
let v = vec![1, 12, 3, 4, 5];
let first = &v[1];
v.push(6);
println!("{}", first);
}
上面这段代码在 v.push();
会报错,原因是 first
已经借用 v 为不可变引用,而 push 操作又将 v 变成可变的,因此会报错。
vector 之所以也有所有权和借用规则这样的机制,是因为 vector 是存储在堆中,并且数据是连续存放,如果在后面添加一个元素,而原来的内存中后面没有多余空间,则编译器将会在内存中重新寻找一块更大的内存来存放新的 vector,所以这是还是用原来 vector 的引用,就会发生错误。
实际上 C++ 中的 vector 也是这样的,但是 Rust 的语言机制从编译时就避免了,而不用等到运行时在发现错了,这也体现了 Rust 的高安全性和可靠性。下面是 C++ 中的 vector 元素首地址改变的例子,参考博客
#include <iostream>
#include <vector>
using namespace std;
int main() {
vector<int> arr;
arr.push_back(1);
cout << "arr's size :" << arr.size() << " capacity :" << arr.capacity() << " head address :" << arr.data() << endl;
arr.push_back(2);
cout << "arr's size :" << arr.size() << " capacity :" << arr.capacity() << " head address :" << arr.data() << endl;
arr.push_back(3);
cout << "arr's size :" << arr.size() << " capacity :" << arr.capacity() << " head address :" << arr.data() << endl;
arr.push_back(4);
cout << "arr's size :" << arr.size() << " capacity :" << arr.capacity() << " head address :" << arr.data() << endl;
arr.push_back(5);
cout << "arr's size :" << arr.size() << " capacity :" << arr.capacity() << " head address :" << arr.data() << endl;
arr.push_back(6);
cout << "arr's size :" << arr.size() << " capacity :" << arr.capacity() << " head address :" << arr.data() << endl;
arr.push_back(7);
cout << "arr's size :" << arr.size() << " capacity :" << arr.capacity() << " head address :" << arr.data() << endl;
return 0;
}
输出结果为:
arr's size :1 capacity :1 head address :0x10516fb0
arr's size :2 capacity :2 head address :0x10516e30
arr's size :3 capacity :4 head address :0x10516fb0
arr's size :4 capacity :4 head address :0x10516fb0
arr's size :5 capacity :8 head address :0x10516e30
arr's size :6 capacity :8 head address :0x10516e30
arr's size :7 capacity :8 head address :0x10516e30
我们发现每次 vector 扩容时元素首地址都会改变。(注意在 vector 中,&vec 和 &vec[0] 是不一样的,这是因为 vector 结构存在栈中,而 vector 的数据存在堆中,&vec 获得的只是栈中 vec 的结构的地址,始终不变,而 &vec[0] 是堆中 vector 存储的真正的元素地址,每次动态扩容后都会改变)
好我们回到 Rust。
遍历 vector
fn test03() {
let v = vec![1, 2, 3, 4];
for i in &v {
println("{}", i);
}
}
要想修改其中的值,看下面的例子:
fn test03() {
let mut vec![1, 2, 3, 4];
for i in &mut v {
*i += 5;
println("{}", i);
}
}
这里 *i
是解引用,我们以后会介绍。
使用 enum 来存储多种数据类型
vector 只能存储一种数据类型,但是我们有时候想存储不同类型的数据,我们可以用可附加数据的枚举来创建 vector。
enum Spreadsheetcell {
Int(i32),
Float(f64),
Text(String),
}
fn test03() {
let v = vec![
Spreadsheetcell::Int(3),
Spreadsheetcell::Text(String::from("Computer Science")),
Spreadsheetcell::Float(6.18),
];
}
使用枚举的变体就可以在 vector 中存储不同类型的数据了。
String 这个数据类型是所有编程语言中都非常重要的一个类型,Rust 开发者经常会被字符串困扰的原因是,Rust 倾向于暴露可能的错误,而且字符串数据结构复杂并且采用了 UTF-8 编码。
在 Rust 中,字符串是 Byte 的集合,并且有一些方法将 byte 解析为文本。
字符串是什么
从 Rust 语言的核心层面上将,只有一个字符串类型,叫字符串切片 str
,它通常以引用的形式出现(即 &str
)。
字符串切片是对存储在其他地方,用 UTF-8 编码的字符串的引用。字符串字面值:存储在二进制文件中,也是字符串切片
String 类型,来自标准库,而不是核心语言,他可增长、可修改、可拥有,采用 UTF-8 编码,我们通常所说的字符串是指 String
和 &str
两者,而不是单指某一种。当然这里主要将的是 String
。
其它类型的字符串
Rust 的标准库还包含了很多其它的字符串类型,例如:OsString,OsStr、CString、CStr
Vec<T>
都可用于 String
String::new()
创建字符串使用初始值来创建 String:
to_string()
方法,可用于实现了 Display trait 的类型,包括字符串字面值String::from()
函数,从字面值创建 String 类型
fn main() {
let mut s1 = String::new();
let mut s2 = String::from("Hello");
let mut s3 = "Hello, Rust";
let mut s4 = "Hello, Rust".to_string();
}
通过字符串字面值创建的 s3
是切片类型,其他都是 String 类型
【注】:我理解的函数就是没有 self 参数的,通过 ::
来调用,而方法则是带有 &self
为其第一个参数,是通过实例来调用的,使用的是点调用的方式
push_str()
方法,把一个字符串切片附加到 String,这个方法不会获得参数的所有权使用 push()
方法,将一个单独的字符附加到 String 后
fn test02() {
let mut s = String::from("Hello");
let s1 = String::from(", Rust");
s.push_str(&s1);
s1.push('x');
println!("{}", s1);
}
这里还是可以打印出 s1 的值,说明没有获得 s1 的所有权。
+
用来连接字符串,注意加号前是字符串类型,后面是字符串类型的引用
fn add(self, s: &str) -> String { ... }
add
方法使用了泛型&str
添加到 String
format!
用于连接多个字符串
fn test03() {
let s1 = String::from("Hello");
let s2 = String::from(", Rust");
let s3 = s1 + &s2;
println!("{}", s3);
println!("{}", s1);
println!("{}", s2);
}
上述例子中,我们发现 s1
不能再使用了,而 s2
可以再被使用,因为底层方法中使用了类似这个签名的方法 fn add(self, s: &str) -> String { ... }
,是将字符串自身和另一个字符串的切片进行相加组合。但是 s2
是字符串类型,而函数参数中是字符串切片类型,不匹配,为什么代码 let s3 = s1 + &s2;
能够编译通过?
这是因为标准库中 add
方法使用了泛型,Rust 采用了一种叫 解引用强制转换(deref coercion) 的技术,强制将字符串类型转化成字符串切片类型,因此 s2
的所有权就会被保留,而 add
函数就会取得第一个参数的所有权,当函数调用完毕时,s1
的所有权就会消失。
fn test04() {
let s1 = String::from("tic");
let s2 = String::from("tac");
let s3 = String::from("toc");
// let s3 = s1 + "-" + &s2 + "-" + &s3;
// println!("{}", s3);
let res = format!("{}-{}-{}", s1, s2, s3);
println!("{}", res);
}
上述例子中将三个字符串之间用 -
连接,如果代码太多显得很繁琐,采用 format!
宏不仅可以使得代码简单易读,更重要的是不会取得所有变量的所有权。这个宏和 println!
很像,只不过 format!
宏是将结果返回,这里可以用一个变量去接收。
不可以按照索引的语法对 String 某部分进行访问,因为 String 类型没有实现 Index<Integer>
trait,例如:
fn test() {
let s = String::from("Hello");
let s1 = s[0]; //这样是错误的
}
之所以无法通过索引进行访问是因为,字符串是用 UTF-8 进行编码,每一个字符都对应一个 Unicode 编码。在英文中,一个字符是 1B
,而对于某些语言,一个字符可能对应 2B
,而中文一个字符对应 3B
,因此用索引进行访问的话,无法知道应该取一个字节还是两个字节。
当然 Rust 不允许通过索引进行访问的另一个原因是,索引操作理应只消耗 O(1)
的时间,但是为了保证不会越界,需要使用 O(n)
的时间进行遍历字符串长度。
String 内部表示
String 实际上是对 Vec<u8>
进行的包装,可以用 len()
方法获得字符串长度
字节(Bytes),标量值(Scalar Values),字形簇(Grapheme Clusters)
Rust有三种看待字符串的方式:
可以使用 []
和 一个范围
来创建一个字符串的切片
如果切割时越过边界就会 panic
fn test05() {
let hello = String::from("你好吗");
let s = &hello[0..3];
println!("{}", s);
}
上面我们说了在 Rust 中一个中文字符占 3B
,因此我们获取字符串 hello 的前 3 个字节,输出结果为 你
,但是要注意的是,所获取的字节必须能够构成所定义的字符,比如只获取前两字节最后运行就会报错(但是编译不会报错)。
对于字形簇,过于复杂,标准库未提供
fn test05() {
let hello = String::from("你好吗");
for i in hello.chars() {
print!("{} ", i);
}
println!();
for i in hello.bytes() {
print!("{} ", i);
}
}
最后输出结果为:
你 好 吗
228 189 160 229 165 189 229 144 151
String不简单
在 1994 年诞生的 Unicode 实现了编码的全球化。
那么这时候如何表示字符呢,英文所需要表示的二进制位和汉字所要表示的二进制位肯定是不同的,也就是说一个英文字符可能要占 1B,而汉字要占 2B,编码时都是将二进制连接在一起,那么怎么知道当前的一个字节所要表示的是英文还是中文呢?因此直接将每个字符用编号表示无法正确区分每个字符的边界。
一种解决方法是 定长编码,即每个字符都用统一长度表示,位数不够前面补 0。但是这样又出现了一个问题,一个英文字母要占两个字节,要忍受前面全是 0 的情况,只会占用更多的内存。
解决方法也很简单,可以采用 变长编码,那么如何区分字符边界呢?其实和计组中的 拓展操作码,IP 地址,哈夫曼编码 都很类似,如下图所示:
这就是 UTF-8 编码
和各种语言中的 HashMap 一样,也是通过键值对来存储数据,通过键(Key)来寻找数据,而不是索引
添加数据:insert() 方法
use std::collections::HashMap;
fn main() {
let mut hash: HashMap<String, i32> = HashMap::new();
hash.insert(String::from("Cherry"), 23);
}
若声明的时候没有指定类型,则必须要插入数据才不会报错,若声明时已经指定类型了,那么不用插入数据也不会报错。
另一种创建 HashMap 的方式:collect 方法
在元素类型为 Tuple 的 Vector 上使用 collect 方法,可以组建一个 HashMap
返回值需要显式指明类型
fn test02() {
let teams = vec![String::from("Suns"), String::from("Lakers")];
let rank = vec![1, 20];
let nba: HashMap<_, _> = teams.iter().zip(rank.iter()).collect();
}
使用 collect
时,要显式声明返回类型,因为它可以生成各种类型。
HashMap 和所有权
对于实现了 Copy trait 的类型(例如i32),值会被复制到 HashMap 中。对于拥有所有权的值(例如String),值会被移动,所有权会转移给 HashMap。
如果将值的引用插入到 HashMap,值本身不会移动一在 HashMap 有效的期间,被引用的值必须保持有效。
fn test03() {
let key = String::from("Suns");
let value = String::from("Champion");
let mut map = HashMap::new();
map.insert(key, value);
println!("{} {}", key, value); //这里会报错,因为key和value所有权已经没有了
//通常应该是这样插入数据
map.insert(&key, &value);
}
这里在堆 HashMap 赋值之后,key 和 value 的所有权就被转移给了 HashMap,通常都是传入字符串的引用。
get方法
返回:Option<&V>
fn test04() {
let mut nba = HashMap::new();
nba.insert("Suns".to_string(), 1);
nba.insert("Lakers".to_string(), 20);
let team = String::from("Suns");
let rank = nba.get(&team);
match rank {
Some(s) => println!("{}", s),
None => println!("team not exist")
}
}
HashMap 的 get 方法返回的是一个 Option 枚举,并且 get 方法的参数是 String 的引用。
使用 for 循环:
fn test04() {
let mut nba = HashMap::new();
nba.insert("Suns".to_string(), 1);
nba.insert("Lakers".to_string(), 20);
for (k, v) in &nba {
println!("{}: {}", k, v);
}
}
(k, v) 这里是用元组做模式匹配。
替换现有的 V
如果向 HashMap 插入一对 (K, V),然后再插入同样的 K,但是不同的 V,那么原来的 V 会被替换掉
fn test05() {
let mut scores = HashMap::new();
scores.insert(String::from("Suns"), 115);
scores.insert(String::from("Suns"), 132); //覆盖
println!("{:?}", scores);
}
只在 K 不对应任何值的情况下,才插入 V
entry方法
Entry 的 or_insert()方法
返回
如果 K 不存在,将方法参数作为 K 的新值插进去,返回到这个值的可变引用
fn test05() {
let mut scores = HashMap::new();
scores.insert(String::from("Suns"), 115);
scores.entry("Lakers".to_string()).or_insert(90);
println!("{:?}", scores);
}
这里 scores.entry()
返回 Entry,如果没有值的话,会返回类似于 Entry(VacantEntry("Lakers"))
的枚举。
基于现有值来更新
fn test06() {
let text = "What a wonderful world a a a";
let mut map = HashMap::new();
for word in text.split_whitespace() {
let count = map.entry(word).or_insert(0);
*count += 1;
}
println!("{:#?}", map);
}
最终返回结果为:
{
"wonderful": 1,
"world": 1,
"a": 4,
"What": 1,
}
默认情况下,HashMap 使用加密功能强大的 Hash 函数,可以抵抗拒绝服务(DoS)攻击。