在任意给定时间,要么 只能有一个可变引用,要么 只能有多个不可变引用。
- 不可变引用(shared reference)实现了Copy trait,不会发生所有权转移
- 可变引用(mutable reference)未实现,会发生所有权转移
let a: &i32 = &1;
let b: &i32 = a; // Copy
println!("{}", a) // a对应的值所有权未发生转移,继续能用
let c: &mut i32 = &mut 1;
let d: &mut i32 = c; // 未实现Copy, 此处发生move
//println!("{}", c); // 报错,所有权发生转移
[以下为自言自语] 一些有的没的
-
引用本质就是指针,多个指针可以同时指向同一个地址,单个指针的的销毁也不会影响到指向的地址;
(p.s 不要和非引用类型的变量搞混,我们知道有些类型的数据本质也是指针(比如String),对于非引用类型的变量(除开全局的静态变量)在离开其所在的作用域生命周期OVER时,栈变量销毁,其指向的堆数据也会回收,为了避免二次释放(double free)问题的出现,是不可以多个指针指向同一地址的,这也是rust设计所有权机制的缘由。
一个最简单的例子:
{
let a = "".to_string(); // 字符串类型的数据a指向堆上分配一片空间
let b = a; // 字符串类型的数据b指向 同a相同的空间
}
// 离开作用域时,变量a,b销毁,其指向的堆内存空间自动回收。如果没有rust的所有权机制,这里就会产生二次释放的问题
- 又为了规避可能存在的数据竞争,所以rust只允许同时存在一个可变的指针。