导语
我们知道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
因为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。
原文地址:https://mp.weixin.qq.com/s/PK2qFaR5-84lc3-TL48XRQ