引用
先看一个例子:
参数的类型是&String ,而不是String,&符号就表示引用,运行你引用某些值而不取得其所有权。就比如下图所示,s是s1的引用,s实际就是一个指针,它指向了s1,s1也是一个指针,它指向了存在堆上面的真实的内容,
借用
我们把引用作为函数参数这个行为叫做借用,对于借用的东西,是不可以修改的,因为它和变量一样。引用在默认情况下也是不可以修改的
可变引用
拿刚才的例子,这样就可以修改了
可变引用有一个非常重要的限制:在特定作用域内,对某一块数据,只能有一个可变的引用,这样做的好处是在编译时可以防止数据竞争
以下三种行为会发生数据竞争:
1.两个或多个指针同时访问同一个数据
2.至少有一个指针用于写入数据
3.没有使用任何机制来同步对数据的访问
其实可以通过创建新的作用域,来允许非同时的创建多个可变引用,也就是说可以创建多个可变的引用,只要它们的作用域有区别或者是非同时,比如:
另一个限制
不可以同时拥有一个可变引用和一个不可变的引用,,如果是多个不可变的引用,那是可以的
悬空引用
悬空引用是指一个指针引用了内存中的某个地址,而这块内存可能已经释放并分配给其他人使用了
在Rust 里,编译器可保证引用永远都不是悬空引用:如果你引用了某些数据,编译器将保证在引用离开作用域之前数据不会离开作用域
最后简单总结一下
引用的规则
1.在任何给定的时刻,只能满足下列条件之一:
(1)一个可变的引用
(2)任意数量不可变的引用
2.引用必须一直有效