认识所有权

专栏简介:本专栏作为Rust语言的入门级的文章,目的是为了分享关于Rust语言的编程技巧和知识。对于Rust语言,虽然历史没有C++、和python历史悠远,但是它的优点可以说是非常的多,既继承了C++运行速度,还拥有了Java的内存管理,就我个人来说,还有一个优点就是集成化的编译工具cargo,语句风格和C++极其相似,所以说我本人还是比较喜欢这个语言,特此建立这个专栏,作为学习的记录分享。

日常分享:每天努力一点,不为别的,只是为了日后,能够多一些选择,选择舒心的日子,选择自己喜欢的人!


目录

Rust独有的所有权

所有权

所有权的规则

String类型

内存与分配

 变量数据的移动

字面值

String类型

变量数据的克隆与拷贝

克隆

栈上数据的拷贝

所有权与函数

返回值与作用域

引用与借用

可变引用

悬垂引用

引用的规则

Slice类型

字符串字面值是slice

 字符串slice作为参数

其他类型的slice

 总结


Rust独有的所有权

所有权这个特性时Rust独有的,前面第一章我们说了,Rust语言集合了C++,java的优点,而为了解决C++中垃圾无法回收,容易造成内存泄漏的特点,Rust中提出了所有权这个概念。所以说,认识所有权才是掌握Rust的必不可少的部分。

所有权

Rust的核心功能之一是所有权。下面我们来认识认识所有权。

学习过c++和java的人应该知道,在这两种语言中,c++需要开发者自己分配和释放内存,这种情况下很多开发者会在使用了内存而不释放,导致内存泄漏。而Java则是解决了这种问题,他采用的是垃圾回收机制,在程序运行的时候自动的寻找不再使用的内存。而Rust使用的则是所有权管理,简单的来说,就是在程序编译时就会进行规格检查,提前检测出可能会存在内存泄漏等问题。其实这个有点和微软公司下的visual studio编译器很相似,对内存管理很严格。

提到栈,很多人应该能想到数据结构中的栈,栈的特点就是“先进后出”,栈的内存是连续的,存放数据总是按照顺序方式存入,而在栈中,存入的数据必须是大小固定的,且已经知道的,在C++中,在开辟内存空间的时候,一般都是在栈上开辟的,所以必须要指明数据类型,以此来告诉系统开辟的空间是固定且已知大小的。

我们定义的指针则是在堆区,因为我们是不知道具体的内存大小的,只能分配一个足够大的内存空间。。 堆是缺乏组织的:当向堆放入数据时,你要请求一定大小的空间。内存分配器(memory allocator)在堆的某处找到一块足够大的空位,把它标记为已使用,并返回一个表示该位置地址的 针(pointer)。

所以说,当我们定义数据的内存大小不会变的时候就在栈区开辟空间,如果不确定会不会改变数据的大小,则在堆区开辟空间。

所有权的规则

  1. Rust 中的每一个值都有一个 所有者owner)。
  2. 值在任一时刻有且只有一个所有者。
  3. 当所有者(变量)离开作用域,这个值将被丢弃。

记住,和其他语言一样,变量(所有者)值只在对应的作用域起作用,超出作用域,则无法使用。

String类型

这里我们将String类型提出来单独讲解,其实是因为String类型有点独特,它是可变的,不再是固定的,所以说,将String类单独提出来讲解,而不是归于字面值。String类型的数据被分配在堆区,所以大小可以随时变化。

fn main()
{let mut s=String::from("Hello"); //从字面值中获取字符串println!("{}", s); s.push_str(",World");  //在字符串s后追加字符串 println!("{}",s);
}

对于String类型中的一些函数, 大家可以去官网查看,这里就不过多介绍,至于String类型中函数的调用方法,会在后面将到。

内存与分配

前面说了,String类型是在堆区上分配内存的,最开始系统并不知道你需要多大的内存,就分配一个很大的内存空间,

  • 必须在运行时向内存分配器(memory allocator)请求内存。
  • 需要一个当我们处理完 String 时将内存返回给分配器的方法。

第一个部分是我们完成,在获取字面值的时候就请求分配内存,这在任何一门语言中均适用。

第二部分就需要根据不同语言的特性来进行操作了。比如说Java有垃圾回收机制,他会记录并清除不再使用的内存,我们不需要太多的关心内存。然而,像C++,Python这种没有垃圾回收机制的语言,需要自己去释放,比如说,C++中的析沟函数,会在类创建并使用完毕后自动释放内存,这是由于析沟函数自动调用了drop()函数。对于一些变量,我们也需要人为的去释放,使用drop()或者delete()函数。

但是在Rust中,当变量离开他所在的作用域的时候就会自动释放。Rust自动调用了特殊的函数,drop()函数,也可以自己手动调用。

fn main()
{let mut s=String::from("Hello"); //从字面值中获取字符串println!("{}", s); s.push_str(",World");  //在字符串s后追加字符串 println!("{}",s);drop(s); //释放掉内存,所有者s不再存在
}

 变量数据的移动

字面值

fn main()
{let s1=2;let s2=s1;println!("{}", s1);println!("{}", s2);
}

如上述例子,先定义了一个变量s1,然后绑定到数值5上,再定义一个变量s2绑定到s1上,也就是说,两个变量的值都是5.由于他们在定义的时候就已经指明了数值大小,所以这两个变量存放在栈区,所以是按照顺序存放。两个变量都有效。那如果是存放在堆区的又该如何?

String类型

fn main()
{let s1=String::from("Hello!");let s2=s1;println!("{}", s1);println!("{}", s2);
}

上述例子,运行你会发现报错了,显示s1值不存在,这是为什么?我们先来介绍一下String类型的数据的概念,然后在来解释这个问题。

我们以s1为例:

Four tables: two tables representing the stack data for s1 and s2, and each points to its own copy of string data on the heap.

 

 

string类型的数据由三部分组成: 一个指向存放字符串内容内存的指针,一个长度,和一个容量。这一组数据存储在栈上。右侧则是堆上存放内容的内存部分。

长度表示 String 的内容当前使用了多少字节的内存。容量是 String 从分配器总共获取了多少字节的内存。

当我们将s2绑定到s1上的时候:

图示

也就是说,只拷贝了栈上的数据,而堆上的数据则没有被拷贝,两个变量共同指向堆区数值。 回到上面的问题,为什么s1会不存在,这是由于,如果s1存在,那么将有两个变量同时拥有同一个字面值,在离开作用域时,系统会自动调用drop()函数,这时就会出现两个变量都会被释放,就出现了二次释放double free)的错误。这是不被允许的。所以Rust在s2绑定到s1上时,就将s1清除。从而不能再使用。

 Compiling number v0.1.0 (/home/ddb/文档/number)
error[E0382]: borrow of moved value: `s1`
 --> src/main.rs:5:18
  |
3 |   let s1=String::from("Hello!");
  |       -- move occurs because `s1` has type `String`, which does not implement the `Copy` trait
4 |   let s2=s1;
  |          -- value moved here
5 |   println!("{}", s1);
  |                  ^^ value borrowed here after move
  |
  = note: this error originates in the macro `$crate::format_args_nl` which comes from the expansion of the macro `println` (in Nightly builds, run with -Z macro-backtrace for more info)

For more information about this error, try `rustc --explain E0382`.
error: could not compile `number` due to previous error

变量数据的克隆与拷贝

克隆

和其他语言一样,Rust也提供了克隆的方法。可以理解为深拷贝,将堆区的数据也拷贝一份。

fn main()
{let s1=String::from("Hello!");let s2=s1.clone();println!("{}", s1);println!("{}", s2);
}

栈上数据的拷贝

fn main()
{let s1=10;let s2=s1;println!("{}", s1);println!("{}", s2);
}

这里的一个例子,两个变量都是在栈上,所以他们的数据之间进行的是拷贝,两个变量都可以存在。可以实现copy的数据类型有:

  • 所有整数类型,比如 u32
  • 布尔类型,bool,它的值是 truefalse
  • 所有浮点数类型,比如 f64
  • 字符类型,char
  • 元组,当且仅当其包含的类型也都实现 Copy 的时候。比如,(i32, i32) 实现了 Copy,但 (i32, String) 就没有。

所有权与函数

将值传递给函数与给变量赋值的时候原理极为相似。所以,向函数传递值可能会移动或者复制。

fn main()
{let s=String::from("Hello, world!"); //s进入作用域String_move(s); //s的值移动到函数里,后面s不再有效let x=10;//x进入作用域number_copy(x); //x进入函数里,但是x是i32的,所以是复制进来,后面继续有效.println!("{}", x);
}
fn String_move(something: String) //something进入作用域
{println!("{}",something);
} //离开作用域,调用drop函数,something失效。
fn number_copy(number:i32) //number进入作用域,开始起作用
{println!("{}",number);
}//移出作用域

返回值与作用域

fn main()
{let s1=givs_ownership();let s2=String::from("test");let s3=takes_and_gives_back_ownership(s2); //s2被移动到函数中,返回值给s3,不再起作用.} //s1,s2,s3均离开作用域,不起作用,但s2已被移走,不会发生什么。
fn givs_ownership()->String
{let something=String::from("something");  // "something"进入作用域return something;//返回"something",并移出给调用的函数
}
fn takes_and_gives_back_ownership(a_String:String)->String
{a_String; //返回a_String,并移出给调用函数。
}

上面两个例子都是在说明所有权问题,一个值只能有一个所有者,所以,上面不同的函数,不同的数据类型之间使用的是不同的方法,有的是移动,有的是克隆。在这一点上,一定要注意区分。

注意,函数在返回值上面,可以返回多个值,但是是以元组的方式返回。

fn main()
{let s1=String::from("hello world");let (num,s2)=string_length(s1);println!("{} {}",num,s2);}
fn string_length(s:String)->(usize,String) 
{let length=s.len();return (length,s);
}

引用与借用

引用reference)像一个指针,因为它是一个地址,我们可以由此访问储存于该地址的属于其他变量的数据。 与指针不同,引用确保指向某个特定类型的有效值。

fn main() 
{let s=String::from("hello");let length:usize =string_length(&s);println!("the length of the string s is: {}",length);}
fn string_length(s: &String) -> usize
{return s.len();}

 上面函数中“&s”表示的是建立一个引用,指向s的数据值,但是并不拥有它,也就不会有所有权这个东西。所以在离开作用域后对原本的数据值没什么影响。

在Rust中,我们把创建一个引用的行为称为借用

可变引用

fn main() 
{let mut s=String::from("hello");let length:String =string_length(&mut s);println!("{}",s);println!("position is  {}",length);}
fn string_length(s: &mut String) ->String
{s.push_str(",world!");let m:String = String::from("Successfull!");return m;
}

上面的代码就是一个可变引用的实现,我们可以看到,可变引用就是在引用前加一个mut关键字。

上面我们说过,引用只是暂时借用数据,并不拥有所有权,所以,一个变量被创建了可变引用的时候,他只能被创建一次,否则会报错,这是由于,当你创建了多个可变引用的时候,他们都可以更改原本的数据,这个时候系统就不会知道那一个改变在前面,那一个在后面。就会出现混乱。

例如:

ddb@ddb-NBLK-WAX9X:~/文档/number$ cargo run
   Compiling number v0.1.0 (/home/ddb/文档/number)
error[E0499]: cannot borrow `sln` as mutable more than once at a time
 --> src/main.rs:5:10
  |
4 |   let m1=&mut sln;
  |          -------- first mutable borrow occurs here
5 |   let m2=&mut sln;
  |          ^^^^^^^^ second mutable borrow occurs here
6 |   println!("{},{}",m1,m2);
  |                    -- first borrow later used here

For more information about this error, try `rustc --explain E0499`.
error: could not compile `number` due to previous error

 出现上面这种情况,在官方的说法中是数据竞争。导致这种情况的原因:

  • 两个或更多指针同时访问同一数据。
  • 至少有一个指针被用来写入数据。
  • 没有同步数据访问的机制。

 除了不能同时拥有多个可变引用,还不能同时存在可变与不可变引用。举个简单的例子,你有一个玩具,有人来借,然后会原样还回,但是有人却改变了他的模样,你还回去的玩具和他的不一样,是不是就会出现矛盾。

 let mut sln=String::from("I like Rust!");let m1=&sln;let m2=&sln;let m3=&mut sln;println!("{},{},{}",m1,m2,m3);

像上面这种情况就会出现报错。

悬垂引用

在具有指针的语言中,很容易通过释放内存时保留指向它的指针而错误地生成一个 悬垂指针dangling pointer),所谓悬垂指针是其指向的内存可能已经被分配给其它持有者。相比之下,在 Rust 中编译器确保引用永远也不会变成悬垂状态:当你拥有一些数据的引用,编译器确保数据不会在其引用之前离开作用域。

fn main() {let reference_to_nothing = dangle();
}fn dangle() -> &String {let s = String::from("hello");&s
}

这里出现了报错,这是由于s在离开作用域后就失去了作用,不再有任何的作用,所以引用肯定也没作用了。

引用的规则

  • 在任意给定时间,要么 只能有一个可变引用,要么 只能有多个不可变引用。
  • 引用必须总是有效的。

Slice类型

slice 允许你引用集合中一段连续的元素序列,而不用引用整个集合。slice 是一类引用,所以它没有所有权。


fn main()
{let mut s=String::from("hello world");let world=first_world(&s);println!("{}", world);s.clear();  //清空字符串
}
fn first_world(s: &String) -> usize {let bytes = s.as_bytes();for (i, &item) in bytes.iter().enumerate() {if item == b' ' {return i;}}s.len()
}

看上面,上面的这段代码表示的是找到空格的所在位置,对于这个函数,使用了很多的库函数才求出索引值,那么有没有简单方法?

这里我们必须提到字符串slice,在Python中,我们可以直接使用索引值求的字符串中的部分字符串,而在Rust中,也有这种机制,


fn main() {let s = String::from("hello world");let hello = &s[0..5];let world = &s[6..11];println!("{},{}", world, hello);
}

和Python一样,他的索引方式也有很多,比如s[..3],s[..],s[2..]他们分别表示的是从0下标开始到3位置,从0开始到尾部结束,从2开始到结束。

字符串字面值是slice

前面我们说过,字符串字面值和String的区别,字符串字面值是不可变的,这是由于字符串字面值的数据类型就是&str。

例如:

let s = "Hello, world!";

这里 s 的类型是 &str:它是一个指向二进制程序特定位置的 slice。这也就是为什么字符串字面值是不可变的;&str 是一个不可变引用。

 字符串slice作为参数

slice也可以作为函数的返回数据类型和参数类型:


fn main() {let s=String::from("Hello,world");let mun=&s[..];let a=Slice_from(mun);println!("{}",a);
}
fn Slice_from(s:&str)->&str {let sl:String = String::from("Hello, world");let world = &sl[6..11];let hello=&s[0..5];println!("{}", world);return hello;
}

其他类型的slice

字符串 slice,正如你想象的那样,是针对字符串的。不过也有更通用的 slice 类型。考虑一下这个数组:

let a = [1, 2, 3, 4, 5]; 

就跟我们想要获取字符串的一部分那样,我们也会想要引用数组的一部分。我们可以这样做:

let a = [1, 2, 3, 4, 5]; 
let slice = &a[1..3];assert_eq!(slice, &[2, 3]); 

 总结

本节内容比较多,主体意思就是说在Rust中,Rust 语言提供了跟其他系统编程语言相同的方式来控制你使用的内存,但拥有数据所有者在离开作用域后自动清除其数据的功能意味着你无须额外编写和调试相关的控制代码。所以说,只要知道Rust语言的特有机制,学起来就会简单很多。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/63046.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

端口输入的数据为什么要打拍?

一次作者在开发图像时候,对输入的图像没有打拍,直接输出给显示终端,时好时坏,或者图像颜色不正确,最终经过打拍解决了此问题。 //配置为16-Bit SDR ITU-R BT.656模式时pixel_data[23:16]为高阻。always (posedge pixe…

基于vue3+webpack5+qiankun实现微前端

一 主应用改造(又称基座改造) 1 在主应用中安装qiankun(npm i qiankun -S) 2 在src下新建micro-app.js文件,用于存放所有子应用。 const microApps [// 当匹配到activeRule 的时候,请求获取entry资源,渲染到containe…

SQL Server基础之游标

一:认识游标 游标是SQL Server的一种数据访问机制,它允许用户访问单独的数据行。用户可以对每一行进行单独的处理,从而降低系统开销和潜在的阻隔情况,用户也可以使用这些数据生成的SQL代码并立即执行或输出。 1.游标的概念 游标是…

前端:Vue.js学习

前端:Vue.js学习 1. 第一个Vue程序2. Vue指令2.1 v-if、v-else-if、v-else2.2 v-for2.3 事件绑定 v-on:2.4 v-model 数据双向绑定2.5 v-bind 绑定属性 3. Vue组件4. Vue axios异步通信5. 计算属性6. 插槽 slots7. 自定义事件内容分发 1. 第一个Vue程序 首先把vue.js拷贝到本地…

已有公司将ChatGPT集成到客服中心以增强用户体验

Ozonetel正在利用ChatGPT来改善客户体验。该公司表示,他们通过使用ChatGPT收集与客户互动过程收集的“语料”能够更有针对性地提高服务效率,提供个性化的用户体验,并实现更高的客户满意度。[1] 通过这套解决方案,客服中心将拥有一…

WinForm内嵌Unity3D

Unity3D可以C#脚本进行开,使用vstu2013.msi插件,可以实现在VS2013中的调试。在开发完成后,由于项目需要,需要将Unity3D嵌入到WinForm中。WinForm中的UnityWebPlayer Control可以载入Unity3D。先看效果图。 一、为了能够动态设置ax…

java 文件/文件夹复制,添加压缩zip

复制文件夹,并压缩成zip 需求:创建A文件夹,把B文件夹复制到A文件夹。然后把A文件夹压缩成zip包 public static void main(String[] args) throws Exception {try {String A "D:\\dev\\program";String B "D:\\program";// 创建临…

C++之红黑树剖析

博主:拖拉机厂第一代码手 gitee:拖拉机厂第一代码手 已收录到专栏C,点击访问 目录 💴红黑树简介💵红黑树的插入操作💶红黑树的删除操作💷红黑树的实现💸红黑树节点的定义💸红黑树结构…

JMeter 查看 TPS 数据,详细指南

TPS 是软件测试结果的测量单位。一个事务是指一个客户机向服务器发送请求然后服务器做出反应的过程。客户机在发送请求时开始计时,收到服务器响应后结束计时,以此来计算使用的时间和完成的事务个数。在 JMeter 中,我们可以使用以下方法查看 T…

6.s081/6.1810(Fall 2022)Lab5: Copy-on-Write Fork for xv6

前言 本来往年这里还有个Lazy Allocation的,今年不知道为啥直接给跳过去了。. 其他篇章 环境搭建 Lab1: Utilities Lab2: System calls Lab3: Page tables Lab4: Traps Lab5: Copy-on-Write Fork for xv6 参考链接 官网链接 xv6手册链接,这个挺重要…

苍穹外卖day11笔记

今日首先介绍前端技术Apache ECharts,说明后端需要准备的数据,然后讲解具体统计功能的实现,包括营业额统计、用户统计、订单统计、销量排名。 一、ECharts 是什么 ECharts是一款基于 Javascript 的数据可视化图表库。我们用它来展示图表数…

python3.6 安装pillow失败

问题描述 python3 安装 pillow 失败 错误原因 python3.6 不支持 pillow9.0 以上的版本 解决方法: 指定版本安装 e.g., pillow8.0 pip3 install pillow8.0