rust 引用&/&mut 的所有权

在任意给定时间,要么 只能有一个可变引用,要么 只能有多个不可变引用。

  • 不可变引用(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),对于非引用类型的变量(除开全局的静态变量)在离开其所在的作用域时,其指向的数据也会自动销毁,为了避免二次释放(double free)问题的出现,是不可以多个指针指向同一地址的,这也是rust设计所有权机制的缘由。
一个最简单的例子:

{
    let a = "".to_string(); // 字符串类型的数据a指向堆上分配一片空间
    let b = a; // 字符串类型的数据b指向 同a相同的空间
}
// 离开作用域时,变量a,b销毁,其指向的堆内存空间自动回收。如果没有rust的所有权机制,这里就会产生二次释放的问题
  • 又为了规避可能存在的数据竞争,所以rust只允许同时存在一个可变的指针。

你可能感兴趣的:(rust,rust,开发语言,后端)