Rust 第七节 所有权
生命周期
//每个值都有一个变量,这个变量是这个值的所有者
//每个值同时只能有一个所有者
//当所有者超出作用域时,该值将被删除
{
let i = 1; //生命周期开始
}//生命周期结束
{
let mut s = String::from("hello");//生命周期开始
s.push_str(",world!");
}//生命周期结束
数据交互–移动(move)
栈上的数据拷贝复制等,和C、C++一样;
let x = 5;
let y = x;
println!("x = {},y = {}",x,y);
但是当涉及到堆上的数据时,变量的相互赋值就出现了变化;
为了防止出现内存泄漏,内存释放等一些问题;
当两个值进行赋值时,旧的值会失效;即MOVE;
以string类型为例,它的数据存储在堆上。
let s1 = String::from("hello");
let s2 = s1; //这里是将s1的值移动到了s2;浅拷贝,只是将指针地址复制了,并没有将堆上的数据拷贝一份。此时S1失效了
想要拷贝,需要用到clone
//克隆,深拷贝
let s3 = s2.clone();
//基本类型的赋值操作都是克隆,因为他们都存在于栈上,大小都是已知的
这里本质上就是数据的所有权进行了转移;丢失所有权的变量就会被销毁。
函数形参与实参的数据交互
...
// 同样的,当进行函数的数据传递时,也会进行 MOVE操作;
let mstr = String::from("message");
function1(mstr); // 这里 mstr的值进行了 move;然后mstr就失效了。
//到这里 mstr就失效了,不能再使用。
...
fn function1( s : String) {
println!("xxxxxxxxxxx:{}",s);
}
函数返回值的数据传递
...
//函数的返回值的移动
let s4 = String::from("hello");
let s5 = function2(s4); //s5接收到函数的返回值
...
fn function2(s : String) -> String {
s //这里s将数据进行了移动
}
引用
像上边讲的,如果一个变量作为参数,传递到函数中,则这个变量就失效了;
如果想继续用这个数据,需要在函数中将这个数据返回,然后再接收函数的返回;
这样就很麻烦;
我们的诉求就是,只想使用这个变量中的数据,而这个数据的所有权并不需要;
所以就引出了引用的概念;
...
let s6 = String::from("hello");
function3(&s6); //这里传入的只是数据,而所有权还是S6,并没有进行数据拷贝,所以move也就没有发生,s6没有被释放
println!("s6 = {}",s6); //s6 可以继续使用
...
fn function3(s : & String) {
println!("{}",s); //这里只是使用了数据,而不获取这个数据的所有权
}
如果想要修改数据,则加上mut
...
let mut s7 = String::from("hello");
function4(&mut s7);
println!("s7 = {}",s7);
...
fn function4(s : & mut String) {
s.push_str("xxxx");
println!("{}",s); //这里只是使用了数据,而不获取这个数据的所有权
}
这里需要注意可变引用和不可变引用的个数有限制;
//使用引用的方式,只使用数据的值,而不改变所以权
//同时只能存在一个可变引用
//引用的规则:只能满足其中一个
// 1 一个可变的引用
// 2 任意数量的不可变引用;