zl程序教程

您现在的位置是:首页 >  Javascript

当前栏目

Rust那些事之Vector妙用

2023-02-19 12:24:19 时间

​导语

我们知道vector是一个动态数组,在C++中来说,vector中存储的只能是一种类型,那如何做到存储多个,无非就是包一层,例如:结构体、void*。而在Rust中enum非常独特,每个值可以是不同类型,因此我们从enum来考虑。另一方面,几种不同的方式从vector中读取有何不同呢?

1.vector实例

例如:一个enum包含了不同类型

#[derive(Debug)]
enum Spec {
Int(i32),
Float(f64),
Bool(bool),
Text(String),
}

调用:

pub fn mult_type()  {
let r = vec![Spec::Int(1), Spec::Float(2.2), Spec::Bool(true), Spec::Text(String::from("hello"))];
println!("{:?}", r)
}

这样便可以简单的完成一个vector使用不同类型。

2.&实例

vector中,你可以取其中的元素,有下面几个方法:

v[2]
&v[2]
v.get(2)

这三个有什么区别?

前两个很明显,跟传统的获取元素一致,如果下标越界,便会panic,而get使用了Option<T>特殊枚举,在越界情况下会返回None,不会panic,足以说明Rust的安全性。

因为v.get返回的是Option,我们可以使用match控制流,提取出包裹的内容。

match v.get(2) {
Some(x) => println!("{}", x),
None => println!("None")
}

接下来,我们考虑v[2]与&v[2]的区别。

// case1: &
let mut v = vec![1, 2, 3, 4, 5];
let first = &v[0];
v.push(6);
println!("The first element is: {}", first);

// case2: plain
let mut v = vec![1, 2, 3, 4, 5];
let first = v[0];
v.push(6);
println!("The first element is: {}", first);

考虑上述两个case,在push的时候哪个case是正常的?

答案是第二个case会正常运行,第一个case由于&的影响,会报错。

在 vector 的结尾增加新元素时,在没有足够空间将所有元素依次相邻存放的情况下,可能会要求分配新内存并将老的元素拷贝到新的空间中。这时,第一个元素的引用就指向了被释放的内存。借用规则阻止程序陷入这种状况。

此时便会报错:error: cannot borrow v as mutable because it is also borrowed as immutable。