rust中所有权概念:
主要涉及内存的管理;rust的编译器在编译时使用规则集,规则集的所有权的系统管理内存;
所有权规则:
在rust中的值有一个变量称作owner;每次只有一个owner;owner超出范围,值被丢弃;
变量范围:
scope用来描述变量的有效性的概念,它是一个范围。
{
let mut name = String::from("name: "); // 从堆中分配内存
name.push_str("Bruce Li");
} // 超出scope,内存自动归还,rust调用drop函数在}之后进行;
数据的交互方式分为:赋值、函数参数、函数返回值
let x = 5;
let y = x; //将值5绑定到变量x,然后对x中的值做了拷贝并将其绑定到变量y; 针对整型,这样理解是正确的,但是针对堆上的数据就有问题;
String类型变量的赋值语句
let s1 = String::from("hello");
let s2 = s1; //拷贝s1的值绑定到s2,现在s1和s2都指向同样的堆内存,当s1和s2超出scope,触发两次drop函数调用,导致内存释放异常;
// rust为了避免这种错误,当s1赋给s2后,rust认为s1无效,所以在s1超出scope,什么都不做;
// rust永远不会自动deep拷贝;
let s1 = String::from("hello");
let s2 = s1; // rust已经无效
println!("string: {}", s1); // 出现编译时错误
避免这种问题,使用s1.clone()方法给s2赋值;
向函数传递参数产生影响同赋值是一样,
fn main() {
// 返回ownership
let s = give_ownership();
let s1 = String::from("hello"); // 创建s变量;
let s2 = take_and_return_ownership(s1); // 通过返回值返回拥有权
}
fn give_ownership() -> String {
let some_string = String::from("world");
some_string;
}
fn take_and_return_ownership(s: String) -> String {
s;
}