文档章节

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

没有更多内容

加载失败,请刷新页面

加载更多

学习设计模式——中介者模式

1. 认识中介者模式 1. 定义:用一个中介对象来封装一系列的对象交互行为,中介者使得各对象不需要显式的互相引用,从而使其松散耦合,独立的改变他们之间的交互。 2. 结构: Mediator:中介者...

江左煤郎
11分钟前
0
0
深入理解Plasma(1):Plasma 框架

这一系列文章将围绕以太坊的二层扩容框架,介绍其基本运行原理,具体操作细节,安全性讨论以及未来研究方向等。本篇文章作为开篇,主要目的是理解 Plasma 框架。 Plasma 作为以太坊的二层扩容...

HiBlock
18分钟前
0
0
Java 8 日期 示例

Java 8 推出了全新的日期时间API。Java处理日期、日历和时间的方式一直为社区所诟病,将 java.util.Date设定为可变类型,以及SimpleDateFormat的非线程安全使其应用非常受限。Java也意识到需...

阿刚ABC
44分钟前
1
0
RxJava操作符lift 笔记

在内部,每个Rx operator都做3件事: 它订阅源并观察值。 它根据操作员的目的转换观察到的序列。 它通过调用onNext,onError和onCompleted将修改后的序列推送到自己的订阅者。 compose运算符...

woshixin
45分钟前
1
0
lnmp+coreseek实现站内全文检索(安装篇)

软件安装包 安装环境 系统环境 centos7.2 1核2G 软件环境 coreseek-3.2.14 lnmp1.5 安装mmseg 更新依赖包和安装编译环境 yum -y install m4 autoconf automake libtoolyum -y install gcc g...

毛毛雨rain
57分钟前
1
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部