顺义网站制作公司网络营销策略

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

• 不可变引用（shared reference）实现了Copy trait，不会发生所有权转移
• 可变引用（mutable reference）未实现，会发生所有权转移

    let a: &i32 = &1; let b: &i32 = a; // Copyprintln!("{}", 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只允许同时存在一个可变的指针。