Rust 语言学习小记(数据类型,所有权)

1.数据类型部分

1.1 整数类型

整型数据类型

1.2 整数字面量
整数字面量写法

1.3 元组
元组使用.加索引的方式获取各部分的值。

  let x = (1,2,3);
  let first = x.1;  

1.4 数组
数组长度固定,每个数组元素类型都相同。数组空间在栈上分配。
1.5 函数
函数定义中必须注明参数的类型。函数定义示例:

   fn example(x : i32, y:i64) -> i32{
       x+y
   }

函数体最后一个表达式的值默认为函数的返回值,亦可用return关键字提前返回。
1.6 表达式
表达式有返回值而语句没有。代码块也是表达式。i.e.

   let y = {
       let x = 1;
       x + 1
   }

上面的表达式最后一行没有;,它将返回x+1的值。若x+1加上了分号,则她就变成了语句,不会返回值了。

1.7 if 表达式
在rust语言中,if分支判断不是语句而是表达式。它会返回被命中的分支所返回的值。

       let y = if 1 == 1 {
         5
       }else {
         6
       };

如果想要接收if表达式返回的值,需注意每个arms返回的数值的类型都应该相同,否则编译会报错。

       let y = if 1 == 1 {
         5
       }else {
         "error"
       };
       //编译后会报错
       error[E0308]: if and else have incompatible types
       --> src/main.rs:2:13
       |
     2 |       let y = if 1 == 1 {
       |  _____________^
     3 | |         5
     4 | |     }else {
     5 | |         "hello"
     6 | |     };
       | |_____^ expected integral variable, found &str
       |
         = note: expected type `{integer}`
            found type `&str`

1.8 range类型:(1...4)。左闭右开。结合for循环使用,口味更佳:

       for i in (1...4){
         //do something...
       }

2.所有权

2.1 所有权是用来管理堆上的数据的:

跟踪哪部分代码正在使用堆上的哪些数据,最大限度的减少堆上的重复数据的数量,以及清理堆上不再使用的数据确保不会耗尽空间,这些问题正是所有权系统要处理的。

2.2 所有权规则:

1.Rust 中的每一个值都有一个被称为其 所有者(owner)的变量。
2.值有且只有一个所有者。
3.当所有者(变量)离开作用域,这个值将被丢弃(此处丢弃指编译器自动调用该类型的drop方法释放内存及其他系统资源)。

2.3 栈与堆的区别:

  • 栈上的数据需要在编译是明确知道所需空间大小;堆上的数据则不需要。
  • 堆上的数据需要通过指针来访问,因此访问速度更慢;而栈的数据都在栈顶,且数据大小是已知的,此外还能更好的利用局部性定理,因此访问栈上的数据更快。

2.4 数据的移动:
对堆数据的变量进行拷贝(赋值、函数传参等操作)时,旧的指针将失效,该操作称为移动

  let s = String::from("hello");
  let s1 = s; //此时s将失效。若继续使用s,编译器将报错!

拥有CopyTrait 的类型,在进行赋值后旧的变量不会失效(不移动,直接进行深拷贝)。

2.4 引用(如何在并发场景下预防内存释放的冲突??)

  • 类似于指向变量的指针。拥有引用的代码块不会获取该变量的所有权,因此离开作用域时不会释放指定的变量。
  • 在一个作用域中,不可变引用可以有多个,但是可变引用只能有一个。
  • 在一个作用域中,不可变引用与可变引用不可以同时存在
  • 引用必须是有效的。引用指向的值不能在引用之前被释放,否则编译时会报错。

2.5 slice,一种特殊的引用。允许引用集合类型的部分元素。


字符串引用声明为&str。字符串的字面量就是字符串slice,其含义为指向二进制程序特定位置的slice。字符串字面量是一个不可边引用。从一个字符串获取字符串引用的方式如下:

  let s = String::from("Hello world");
  let s1 = &s[1..2]; // 获取只包含第二个字符的字符串slice
  let s2 = &s[..3]; //获取包含前三个字符的字符串slice
  let s3 = &s[..]; //获取包含整个字符串的字符串引用

除字符串外,其他集合类型也可以使用引用,其性质与字符串引用相同:

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

推荐阅读更多精彩内容