导语
我们知道vector是一个动态数组,在C 中来说,vector中存储的只能是一种类型,那如何做到存储多个,无非就是包一层,例如:结构体、void*
。而在Rust中enum非常独特,每个值可以是不同类型,因此我们从enum来考虑。另一方面,几种不同的方式从vector中读取有何不同呢?
1.vector实例
例如:一个enum包含了不同类型
代码语言:javascript复制#[derive(Debug)]
enum Spec {
Int(i32),
Float(f64),
Bool(bool),
Text(String),
}
调用:
代码语言:javascript复制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中,你可以取其中的元素,有下面几个方法:
代码语言:javascript复制v[2]
&v[2]
v.get(2)
这三个有什么区别?
前两个很明显,跟传统的获取元素一致,如果下标越界,便会panic,而get使用了Option<T>
特殊枚举,在越界情况下会返回None,不会panic,足以说明Rust的安全性。
因为v.get返回的是Option,我们可以使用match控制流,提取出包裹的内容。
代码语言:javascript复制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。
本节完~