文档章节

Rust基础笔记之浅谈Ownership

junanhonglei
 junanhonglei
发布于 2016/03/16 21:41
字数 1043
阅读 40
收藏 1

写在前面

Ownership System是Rust中最独特和吸引人的特性,Rust也是依靠这个特性来实现他的最大的目标:内存安全,所有Rust的开发者都应该详细了解它。
多么浓厚的翻译味道,的确本人学习Rust主要依靠官方的文档(写的很清楚详细),这个系列的文章是我学习Rust的笔记,不完全是翻译官方文档,但大部分内容都是来源于官方文档,但是加上了很多自己的理解、思考和总结,这些笔记呢也都是最基本的概念,暂时并没有深入研究,希望大家在阅读文章的时候能多去看看官方手册,欢迎批评指正和补充。

Ownership(所有权)

Rust有一个非常棒的特点,那就是能在编译的时候检查出大多数安全隐患,这就避免了像C语言一样,编译一切OK,运行时来个Segment Fault,让人不明所以,所以Rust需要一套机制来保证在编译时期发现这些问题,这就是强大的Ownership System,它呢,包含了三个部分:

  • Ownership

  • Borrowing

  • Lifetime

(后面都会说到),这玩意确实不怎么好理解,得慢慢来。


当声明一个变量绑定的时候,即该变量拥有了对应内存区域的所有权,当该变量超出作用域的时候,它所指向的内存就会被释放。
当然,我们可以将它指派给其他的绑定,就像这样:

//the vector allocates space on the heaplet v=vec![1, 2, 3];let v2=v;

如果在新的绑定之后调用原先的变量,就会得到如下错误:

error: use of moved value: `v`

原因是let v2 = v;该语句将v所指向的内存区域移交给(move)了v2,之所以报错,官方文档的原话是:

When we move v to v2, it creates a copy of that pointer, for v2. Which means that there would be two pointers to the content of the vector on the heap. It would violate Rust's safety guarantees by introducing a data race. Therefore, Rust forbids using v after we’ve done the move.

意思就是说,现在有两个指针指向了该内存区域,为了避免数据竞争,Rust是不允许使用move后的源变量。

这里有一个问题就是:如果v2超出了它的作用域之后,还能调用v吗?

let v = vec![1,2,3];    
{    let v2 = v;
}
println!("v[0] is {} ",v[0]);

结果是依然报错:

error: use of moved value: `v`

也就是说当v2超出其作用域后,v2并不会归还其对应的内存区域的所有权。

对于函数而言也会遇到一样的问题:

fn take(v: Vec<i32>) {    // what happens here isn’t important.}let v = vec![1, 2, 3];
take(v);
println!("v[0] is: {}", v[0]);

依然会遇到这样的问题

error: use of moved value: `v`

你可能会觉得好像有的变量绑定就不是这样的,比如:

let v = 1;let v2 = v;
println!("v is {}",v);
println!("v2 is {}",v2);

这段代码就可以正常输出啊。
这是因为x是i32类型的,它实现了Copy的特性,官方文档的原话是:

In this case, v is an i32, which implements the Copy trait. This means that, just like a move, when we assign v to v2, a copy of the data is made. But, unlike a move, we can still use v afterward. This is because an i32 has no pointers to data somewhere else, copying it is a full copy.

之所以上面的代码没有问题,是因为它是一个完全拷贝,连同数据也复制了一份,不存在两个指针指向同一块内存区域的问题,更谈不上数据竞争,所以这段代码并没有Rust的安全机制,自然也就是允许的,这是和move不同的地方。

如果你想在v2之后还想使用v,可以用如下的方式:

let v = vec![1,2,3];    
let v2 = v;
println!("y[0] is {} ",y[0]);let v = v2; //交回所有权println!("v[0] is {} ",v[0]);

这样的语法是不是很麻烦,有没有办法让v2再超出作用域后自己交回所有权呢?有来看看Borrow的概念吧。


本文转载自:https://segmentfault.com/a/1190000002902842

共有 人打赏支持
junanhonglei
粉丝 8
博文 102
码字总数 39613
作品 0
鄂州
架构师
私信 提问
Swift 5 的蓝图:ABI 稳定

今天凌晨,我看到 Swift 开发小组的现任掌门 Ted Kremenek 贴出了名为「Swift 5: start your engines」的一条 Twitter ,预示着 Swift 5 的开发工作即将展开了。 老实说,Swift 4 的变化不大...

I'm TualatriX
2017/11/29
0
0
Mozilla 对于 Servo engine 常见问题的回答

Servo是什么? 2012年,Mozilla启动了Servo项目,这是一个社区杰作,可利用多核硬件提高速度、稳定性及响应速度的浏览器引擎。Servo与WebKit相当,WebKit是一款开源的浏览器引擎,它是Apple S...

oschina
05/07
314
0
通往 Rust 1.0 之路,Mozilla 新的编程语言

Rust 开发者宣布他们正接近发布1.0版本, 计划在年底发布1.0的beta版本。如果一切进展顺利,正式版本将在beta测试后发布。在1.0版本之后,未来发布的1.x版本将会向后兼容,现有代 码可以不做...

oschina
2014/09/17
3.8K
26
Rust语言开发基础(七)Rust 特性

这部分是Rust语言的核心部分,掌握起来有一定难度,特别是生命周期部分,让人有Rust的学习曲线陡升的感觉,爬过这座高峰,其它皆坦途。 这部分也是让人觉得Rust语言比其它语言如C/C++等复杂的...

Robinson_L
2016/03/25
793
0
Fn FnMut FnOnce以及move的区别

There are three different "kinds" of closure in Rust, Fn, FnMut, and FnOnce, these differ in that their calling methods take &self, &mut self, and self respectively. This means ......

曾赛
2015/11/07
0
0

没有更多内容

加载失败,请刷新页面

加载更多

rabbitmq学习

使用docker安装rabbit docker run -d --hostname my-rabbit --name rabbit -p 8080:15672 rabbitmq:management--hostname:指定容器主机名称--name:指定容器名称-p:将mq端口号映射到本地...

元谷
20分钟前
0
0
想知道谁是你的最佳用户?基于Redis实现排行榜周期榜与最近N期榜

本文由云+社区发表 前言 业务已基于Redis实现了一个高可用的排行榜服务,长期以来相安无事。有一天,产品说:我要一个按周排名的排行榜,以反映本周内用户的活跃情况。于是周榜(按周重置更新...

腾讯云加社区
22分钟前
1
0
函数计算性能福利篇(二) —— 业务冷启动优化

继前一篇《函数计算性能福利篇——系统冷启动优化》,我们再来看看近期函数计算推出的 Initializer 功能之后,带来的一波高能性能优化成果。 背景 函数计算是一个事件驱动的全托管 serverle...

阿里云官方博客
28分钟前
1
0
开源版本说明

1527
30分钟前
2
0
Mysql经验-------持续更新

单表行数超过 500 万行或者单表容量超过 2GB,才推荐进行分库分表。 说明:如果预计三年后的数据量根本达不到这个级别,请不要在创建表时就分库分表。

DoLo-lty
32分钟前
1
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部