Rust: Ownership 实例解析

Ownership 在Rust 里面是相当重要的,这与其所宣称的safety有着很大的联系

首先来看几个例子

// 例1
fn main() {
    let a: i32 = 10;
    let b = a;
    println!("a = {}, b = {}", a, b);
}

这个有问题吗?
是的,有!问题所在:变量b默认是不可更改的
只要修改为 let mut b = a; 即可

这个是没问题的!

再来看下一个例子

// 例2
fn main() {
    let v1 = vec![1, 2, 3];
    let v2 = v1;
    println!("v1[0] = {}", v1[0]);
}

有问题吗?
当然!编译会报错,因为变量v1对其指向的值的所有权(Ownership)已经移交(moved)给变量v2了,此时为了避免产生数据竞争(data race),Rust限定只能有一个变量对其指向的内容有所有权

然而为什么例1不会出现编译问题呢?因为Rust里面,原始类型(Primitive Type)默认都实现了Copy Trait,这就意味着例1中的变量a变量b指向的地址是不一样的,故不会出现数据竞争的情况,而向量(Vector)是没有实现Copy Trait

最后,再来看一个复杂的例子

// 例3-a
fn foo(v1: Vec<i32>, v2: Vec<i32>) -> (v1, v2, answer) {
    (v1, v2, v1[0] + v2[0])
}

fn main() {
    let v1 = vec![1, 2, 3];
    let v2 = vec![4, 5, 6];
    
    let (v1, v2, answer) = foo(v1, v2);
    println!("The answer is {}", answer);
}
// 例3-b
fn foo(v1: Vec<i32>, v2: Vec<i32>) -> (answer, v1, v2) {
    (v1[0] + v2[0], v1, v2)
}

fn main() {
    let v1 = vec![1, 2, 3];
    let v2 = vec![4, 5, 6];
    
    let (answer, v1, v2) = foo(v1, v2);
    println!("The answer is {}", answer);
}

例3-a例3-b有什么不一样呢,为什么例3-a会出错而例3-b正确?留给读者去思考吧

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

推荐阅读更多精彩内容

  • 通用编程概念 变量与可变性 变量默认不可变,如需要改变,可在变量名前加 mut 使其可变。例如:let mut a...
    soojade阅读 12,560评论 2 30
  • 之前的几个帖子讨论了Rust设计的两大支柱特性: 无垃圾回收的安全内存管理 无数据竞争(Data Race)风险的...
    Nuk阅读 8,520评论 0 18
  • 指针是C语言中广泛使用的一种数据类型。 运用指针编程是C语言最主要的风格之一。利用指针变量可以表示各种数据结构; ...
    朱森阅读 3,432评论 3 44
  • 意志力:我要做、我想做、我不要 意志力法则:首先认识自我(自我意识),一般注意力分散的人意志力差。 想要增强意志力...
    小蜗牛QD阅读 209评论 0 1
  • 孩子,该怎么带? 在育儿的经验里面,常常会有新老思想的冲击。媳妇认为该这样带,婆婆认为该那样带。这个摩擦的过程不可...
    shmily由由and花花阅读 201评论 0 0