所有权系统

我们在JSX中看到了一个组件使用onClick,但并没有产生直接使用onClick的HTML,而是使用了事件委托的方式处理点击事件,无论有多少个onClick出现,其实最后都只在DOM树中添加了一个点击事件处理函数,他挂在最顶层的DOM节点上,接着更具具体的响应组件将其分配给特定函数,使用事件委托的性能当然要比为每个onClick都挂载一个事件处理函数要高。

1.变量绑定所拥有的所有权

RUST中的变量绑定有一个属性:变量具有他们所绑定资源的所有权,这意味着如果有一个变量离开了他所属的作用域的话,那么与他相绑定的资源就会被释放。举个例子:

fn foo(){
  let v1:Vec<i32> = vec![1,2,3];
  for num in v1{
    println!("{}", num);
  }
}

对于vector数据类型的变量,我们需要知道的是变量v1存储在栈上,而和他绑定的资源存储在堆中。当foo()函数执行完毕后,变量v1就会被销毁,这里所说的销毁即包括v1在栈上的内容,也包括其在堆上所绑定的资源。

2.移动语义

Rust确保了任何给定的资源都只有一个绑定与之对应。比如说下面的例子:

fn main(){
  let n1:i32 = 3;
  let n2:i32 = n1;
  let v1:Vec<i32> = vec![1,2,3];
  let v2:Vec<i32> = v1;
  println!("{} {}" , n1, n2);//3 3
  for n in v2{
    println!("{}", n);
  }
  //下面的部分在编译时会出错,error:use of moved value
  for num in v1{
    println!("{}", num);
  }
}

从上面的例子我们便可以看出对于某个内存上的资源来说,rust规定了只能够有一个变量与其进行绑定。说到这里,我想你肯定有对let n2=n1;println!("{} {}", n1, n2);不会抛出错误而后者的vector就会抛出错误有点疑惑。对于这个问题,答案很简单,对于基本数据类型来说,赋值只有深拷贝,而对于符合数据类型来说,赋值是浅拷贝。

3.为什么我们需要移动语义

试想一下下面的代码:

let v:Vec<i32> = vec![1,2,3];
let mut v2:Vec<i32> = v;

首先分析一下我们这里的vector复合数据类型,值得指出的是,即使冒着冗余的风险,我们也将vector对象和他所绑定的资源存储在不同的内存区域上。在栈上变量v被分配了内存,在堆上与变量V绑定的资源被分配存储空间,rust会拷贝堆上分配的内存的地址,将其作为栈上变量v的一部分内容,vector的这两部分在任何时候都必须同步像大小,容量这样的信息。

但是两者同步信息的实现并没有那么的智能化,实际上你可以认为两者同步信息只是单向的,只能够栈-->堆,如果堆上资源处于先手发生了变化的话,我们的栈上的变量并不能够知道这一点,所以很有可能会在运行是发生错误,比如说引用了不该引用的位置。比如说下面这样的操作:

let v:Vec<i32> = vec![1,2,3];
let mut v1:Vec<i32> = v;
v1.truncate(1);

我们的rust可是以安全为主,所以为了避免上面的那种情况,我们有了移动语义的保护——不能够有多个变量引用同一内存空间的资源。这是很有必要的。

4.copy类型

通过前面的学习我们已经知道了在rust语言模型中,变量拥有与他所绑定的资源的所有权,如果你把该变量作为左值赋值给另一个变量的话,那么我们称其为所有权的转移。有趣的地方就在所有权的转移问题,对于复合数据类型来说,如果你将所有权转移给他人的话,那么很遗憾你自己将不再和自己的资源相绑定。但是呢,对于普通的基本数据类型来说,当他们相互之间进行赋值的时候,所有权系统并不会使得左值变量不再和其所绑定的资源断开联系。这是为什么呢?这是因为对于这些基本数据类型来说,他们实现了特殊的Copy trait,你可以认为是他们之间相互赋值只会出现深拷贝这种情况。下面举几个例子:

fn main(){
    let num1:i32 = 9;
    let bo1:bool = true;
    let num2:i32 = double(num1);
    let bo2:bool = change(bo1);
    println!("{} {}", num1, bo1);
}

fn double(num:i32) -> i32{
    num * 2
}

fn change(bo:bool) -> bool{
    !bo
}

对于那些没有原生实现Copy trait的复合数据类型来说,肯定是不能够这样子做的,否则则会抛出错误:error use of moved value。

对于所有权这样的做法,我们其实是可以想出对应的应对措施来应付某些情况,比如说下面的这种情形:

fn main(){
    let mut v:Vec<i32> = vec![112,3];
    v = giveBack(v);
    for num in v{
        println!("{}", num)//112 3
    }
}
fn giveBack(v:Vec<i32>) -> Vec<i32>{
    println!("wheere");
    v
}

瞧,上面的这种做法就可以使得原先借出去的所有权再次归还给自己,尽管这样做并不优雅,但是这样做的确适用于某些场合。

如果需要优雅一点的做法的话,那么可以使用借用以及引用语法。这将在下篇介绍

END

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 159,117评论 4 362
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 67,328评论 1 293
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 108,839评论 0 243
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 44,007评论 0 206
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 52,384评论 3 287
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,629评论 1 219
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,880评论 2 313
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,593评论 0 198
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,313评论 1 243
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,575评论 2 246
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 32,066评论 1 260
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,392评论 2 253
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 33,052评论 3 236
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,082评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,844评论 0 195
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 35,662评论 2 274
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,575评论 2 270

推荐阅读更多精彩内容

  • 通用编程概念 变量与可变性 变量默认不可变,如需要改变,可在变量名前加 mut 使其可变。例如:let mut a...
    soojade阅读 12,426评论 2 30
  • 从三月份找实习到现在,面了一些公司,挂了不少,但最终还是拿到小米、百度、阿里、京东、新浪、CVTE、乐视家的研发岗...
    时芥蓝阅读 42,015评论 11 349
  • 前言 把《C++ Primer》[https://book.douban.com/subject/25708312...
    尤汐Yogy阅读 9,447评论 1 51
  • 缘起 本来这一系列文章并不在计划中。昨天跟一些同事讨论没有GC管理内存的问题。讨论到没有GC情况下管理内存的学习曲...
    Jtag特工阅读 16,311评论 2 48
  • 突然又想到了那句话。 “你是不是很缺爱?” 第一时间我想否认,不,我觉得我父母都很爱我,爱就围绕在我身边,我从来不...
    日月旅者阅读 76评论 0 0