文档章节

Rust基础笔记之浅谈Ownership

junanhonglei
 junanhonglei
发布于 2016/03/16 21:41
字数 1043
阅读 39
收藏 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
通往 Rust 1.0 之路,Mozilla 新的编程语言

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

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

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

Robinson_L
2016/03/25
793
0
当 Rust 遇上 Fedora

Rust 是什么? Rust 是一种系统编程语言,它运行速度惊人,并且可以避免几乎所有的崩溃、内存区块错误 以及数据竞争。你也许会质疑为什么我们还需要又一种这样的语言,因为已经有很多同类的语...

达尔文
2016/10/21
4.9K
34
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

没有更多内容

加载失败,请刷新页面

加载更多

下一页

go语言学习总结

一、描述 go语言是直接将源码编译成二进制机器码的语言;它支持面向对象、也支持函数式编程;支持并发很容易; 二、基本语法学习路径 https://studygolang.com/subject/2...

盼望明天
23分钟前
1
0
JSP 九大内置对象及其作用域

JSP 中一共预先定义了 9 个这样的对象,分别为:request、response、session、application、out、pagecontext、config、page、exception ,下面就简单介绍下。 1、request 对象 request 对象...

几个栗子
34分钟前
0
0
Java中的坑之方括号

Java中的坑之方括号 这一段时间,在做项目的时候,发现了一个坑,这个坑说大不大,说小不小,不知道的足够喝一壶,知道的就可以轻松解决。 问题描述 在做数据统计的时候,遇见了如下形式的数...

星汉
44分钟前
1
0
[雪峰磁针石博客]python机器学习、web开发等书籍汇总

Building Machine Learning Systems with Python Third Edition - 2018.pdf 下载地址 Get more from your data by creating practical machine learning systems with Python Key Features ......

python测试开发人工智能安全
55分钟前
1
0
文件的压缩与解压(linux)

Linux下*.tar.gz文件解压缩命令 1.压缩命令:   命令格式:tar -zcvf 压缩后文件名.tar.gz 被压缩文件名 可先切换到当前目录下。压缩文件名和被压缩文件名都可加入路径。 2.解压缩命令: ...

qimh
今天
9
0

没有更多内容

加载失败,请刷新页面

加载更多

下一页

返回顶部
顶部