Rust 学习笔记

2024/1/8 11:02:15

本文主要是介绍Rust 学习笔记,对大家解决编程问题具有一定的参考价值,需要的程序猿们随着小编来一起学习吧!

rust 学习梳理

数据类型

  • 基于已明确的类型,Rust会推断剩下大部分类型。基于类型推断Rust具备了与动态类型语言近似的易读性,并仍能在编译期捕获类型错误。
  • 函数可以是泛型的:单个函数ujiu可以处理不同类型的值。
  • Rust的类型根基是一组固定宽度的数值类型,匹配几乎所有现代处理器直接硬件实现的类型。固定宽度可能丢失精度(u8 u16 u32 u64 u128 usize[有符号同理],f32,f64)
  • usize 和 isize是与目标机器地址空间保持一致
  • bool类型在rust用整字节表示
  • 字符类型用32位来表示单个Unicode字符
  • 元组类型中,每个元素有不同的类型;元组中只能用常量索引其中元素(t.1)。常用于在函数中返回多个值。可以用作一个小巧的结构体类型。
  • 指针类型:Rust有多种可以表示地址的类型(引用,Box,裸指针)
  • Rust的引用永远不会为空,Rust会跟踪值的所有权和生命周期,在编译器排除了悬空指针、双重释放、指针失效等错误。
  • Rust的引用分为不可变和可变。
  • Box是分配在堆上的引用类型。
  • 裸指针是不安全的,Rust不会跟踪它指向的内容。只能在Unsafe块中对裸指针解引用。
  • Rust用三种类型表示值序列(数组,向量,切片)
  • 数组是相同类型,确定大小的序列,不能追加或缩小。向量(vector)是动态分配可增长的相同类型的序列,元素存在堆中。切片是引用了数组或向量的一部分。
  • 切片是任意长度,对切片的应用是一个胖指针,双字值,包括第一个元素的指针和切片中元素的数量。
  • 函数以切片引用为参数,可以给它传入向量或数组,很多向量和数组的方法都是在切片上定义的。&[T]。可以使用范围值获取数组或向量一段区域(&a[2..6])
  • 字符串原始表达:r"/root/ddd"。
  • 可以在字符串前加入原始记号#,可以根据需求增加多个#来表示原始字符串开始与结束(r###“this is a raw string ### "也可以是原始字符",结束了"###)
  • 字节串是用b表示:b"abcd",这是一个u8类型的数组。字节串不能包含unicode字符,只能用ascii和\xHH转义序列。
  • 在内存中,字符串都是unicode字符,由于是可变字节编码,所以或占用多个字节。ascii编码会存储在一个字节中。
  • &str很像&[T],而String类似与Vec

String

创建String的方法

  1. .to_string() 将&str转换为String。这会复制字符串。.to_owned()会做同样的事情,只是命名风格适用与另一些类型
  2. format!()会返回一个新的String.
  3. 字符串的数组,切片和向量都有的两个方法:.concat()和.join(sep)。会形成新的String

所有权和生命周期

在Rust中,所有权是语言本身的特性,通过编译器强制检查执行。每个值斗殴与决定其生命的唯一拥有者,当拥有者被释放时,它拥有的值也同时被释放,rust中叫做丢弃。
凡是超出作用域的类型,它所拥有的值将被抛弃。

拥有者与它拥有的那些值形成了一课树,每棵树的总根都是一个变量,当该变量超出作用域时,整棵树都会随之消失。

  • 可以将值从一个拥有者转移给另一个拥有。这允许构建,重新排列和拆除树形结构。
  • 整数、浮点数、字符、bool类型的简单类型,不受所有权规则约束,这些被称为Copy类型
  • 标准库提供了引用计数指针类型 Rc和Arc,允许值在某些限制下有多个拥有者。
  • 可对值进行借用,获得值的引用。这种引用是非拥有型指针,有受限生命周期

移动

变量的赋值,传递给函数,或者函数返回,这样的操作会带来所有权的移动,也就是由目标变量来获得值的控制权,获得新的生命周期,构建新的所有权树。
而源变量将会变为未初始化状态,无法被使用。

从一个Vec中获得某一个string,直接取值会报错,没有实现Copy trait。建议是访问其中的元素使用引用而不是移动它。

如果真的要从Vec取出一个字符串,但Rust是不会将Vec的某一个元素设置为未初始化状态。因此需要一些操作:

  1. 从vec弹出一个值:v.pop()
  2. 指定索引处与最后一个值互换,把前者移出:v.swap_remove(1)
  3. 取出一个值与另一个值互换:std::mem::replace(&mut v[2],"abcdefg".to_string())

移出一个Option,将其与None互换: std::mem::replace(&mut v[2],None)。实际上专门提供了一个方法实现:v[2].take()。

对于Copy类型,移动就是复制值。
在Rust中,每次移动都是字节级别的一对一浅拷贝,并让源变为未初始化。只有那些可以通过简单复制位来复制其值的类型才能作为Copy类型,任何在丢弃时需要做特殊操作的类型都不能是Copy类型。

共享所有权

rc和arc(线程安全)。Rust的内存和线程安全保证:确保不会有任何值是既共享又可变。Rc和Arc是不可变共享引用。

引用



这篇关于Rust 学习笔记的文章就介绍到这儿,希望我们推荐的文章对大家有所帮助,也希望大家多多支持为之网!


扫一扫关注最新编程教程