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只允许同时存在一个可变的指针。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值