Rust 所有权浅析:
所有权解决的问题:一些语言具有垃圾回收(GC),一些语言许手动分配和释放内存;Rust引入所有权管理内存。
所有权规则:
1、Rust中每一个值都有且仅有一个叫Owner的变量;
2、当Owner离开作用域,值将被丢弃。
因此,就有多个变量与同一个数据交互时存在的两种交互方式:
1、move
let s1 = String::from(“hello”);
let s2 = s1; //此处s1将owner move给s2,s1不能再使用
2、clone
let s1 = String::from(“hello”);
let s2 = s1.clone();
println!(“s1 = {}, s2 = {}”, s1, s2); //s1, s2均可用
简单类型的数据如(整数,布尔,浮点,字符,仅当包含类型为以上数据类型的元祖)不需要遵循这套规则。
函数的值传递与变量赋值类似,如:
let s = String::from(“hello”);
func(s); // 此处s已经move到函参中,后面语句s失效
println!(“s = {}”, s) // Error
函数返回值也一样能够移动所有权;
可变引用和不变引用:
在同一作用域内数据只能有一个可变引用。
let mut s = String::from(“hello”);
let r1 = &mut s;
let r2 = &mut s;
println!(“{}, {}”, r1, r2)
悬垂引用
fn func() -> &String {
let s = String::from(“hello”);
&s //s在函数调用结束时释放,返回无效的引用
}