认识所有权

专栏简介:本专栏作为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.mzph.cn/news/26522.shtml

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

相关文章

oracle的管道函数

Oracle管道函数(Pipelined Table Function)oracle管道函数 1、管道函数即是可以返回行集合(可以使嵌套表nested table 或数组 varray)的函数,我们可以像查询物理表一样查询它或者将其赋值给集合变量。 2、管道函数为并行执行,在…

P1257 平面上的最接近点对

题目 思路 详见加强加强版 代码 #include<bits/stdc.h> using namespace std; #define int long long const int maxn4e510; pair<int,int> a[maxn]; int n; double d1e16; pair<int,int> vl[maxn],vr[maxn]; void read() { cin>>n;for(int i1;i<…

Android性能优化—数据结构优化

优化数据结构是提高Android应用性能的重要一环。在Android开发中&#xff0c;ArrayList、LinkedList和HashMap等常用的数据结构的正确使用对APP性能的提升有着重大的影响。 一、ArrayList ArrayList内部使用的是数组&#xff0c;默认大小10&#xff0c;当数组长度不足时&…

[Docker实现测试部署CI/CD----自由风格的CI操作[中间架构](4)]

目录 10、自由风格的CI操作&#xff08;中间架构&#xff09;中间架构图创建web项目Idea提交项目到远程仓库提交代码到本地库提交代码到远程库从jenkins拉取代码新建任务jenkins集成gitlab立即构建 将项目打为jar包Jenkins 配置 mvn 命令重新构建 代码质量检测jenkins将代码推送…

Java on Azure Tooling 6月更新|标准消费和专用计划及本地存储账户(Azurite)支持

作者&#xff1a;Jialuo Gan - Program Manager, Developer Division at Microsoft 排版&#xff1a;Alan Wang 大家好&#xff0c;欢迎阅读 Java on Azure 工具的六月更新。在本次更新中&#xff0c;我们将介绍 Azure Spring Apps 标准消费和专用计划支持以及本地存储账户&…

黑马大数据学习笔记5-案例

目录 需求分析背景介绍目标需求数据内容DBeaver连接到Hive建库建表加载数据 ETL数据清洗数据问题需求实现查看结果扩展 指标计算需求需求指标统计 可视化展示BIFineBI的介绍及安装FineBI配置数据源及数据准备 可视化展示 P73~77 https://www.bilibili.com/video/BV1WY4y197g7?…

如何使用自己域名进行远程访问内网群晖NAS 6.X

使用自己的域名远程访问内网群晖NAS 6.X【内网穿透】 文章目录 使用自己的域名远程访问内网群晖NAS 6.X【内网穿透】 在之前的文章中&#xff0c;我们向大家演示了如何使用cpolar&#xff0c;创建一条固定的、能够在公共互联网登录内网群晖NAS的数据隧道。这条隧道已经能够应对…

深度分析卡尔曼滤波算法原理

一、什么是卡尔曼滤波? 你可以在任何含有不确定信息的动态系统中使用卡尔曼滤波&#xff0c;对系统下一步的走向做出有根据的预测&#xff0c;即使伴随着各种干扰&#xff0c;卡尔曼滤波总是能指出真实发生的情况。 在连续变化的系统中使用卡尔曼滤波是非常理想的&#xff0c…

java+springboot摄影作品竞赛报名系统 微信小程序--论文

随着Internet的发展&#xff0c;人们的日常生活已经离不开网络。未来人们的生活与工作将变得越来越数字化&#xff0c;网络化和电子化。网上管理&#xff0c;它将是直接管理摄影竞赛小程序的最新形式。本小程序是以构建摄影竞赛为目标&#xff0c;使用java技术制作&#xff0c;…

程序员编写文档的 10 个技巧

编写好的文档在软件开发领域具有重大意义。文档是概述特定问题陈述、方法、功能、工作流程、架构、挑战和开发过程的书面数据或指令。文档可以让你全面了解解决方案的功能、安装和配置。 文档不仅是为其他人编写的&#xff0c;也是为自己编写的。它让我们自己知道我们以前做过什…

大数据Flink(五十八):Flink on Yarn的三种部署方式介绍

文章目录 Flink on Yarn的三种部署方式介绍 一、​​​​​​​Session模式

F5 LTM 知识点和实验 12-使用规则和本地流量策略定制应用程序交付

第十一章:iapp(忽略) 第十二章:使用规则和本地流量策略定制应用程序交付 用最简单的术语来说,iRule是在网络流量通过BIGIP系统时对其执行的脚本。其思想非常简单:规则使您能够编写简单的网络感知代码片段,这些代码以各种方式影响您的网络流量。无论您是希望以BIG-IP内置…

前沿分享-100 μAh 微型电池

这是SMD 组件形状的固态锂离子微型电池&#xff0c;容量高达 100Ah&#xff0c;在22年的慕尼黑电子展上出现过。 因为是可重复使用的&#xff0c;未来该产品甚至有机会取代容量更高&#xff08;例如100 Ah 时&#xff09;的不可充电硬币电池。 一般应用于超低功率的传感器&…

宋浩概率论笔记(四)数字特征

本帖更新数字特征&#xff0c;包含期望、方差、相关系数等&#xff0c;要点在于记忆性质中的各种公式&#xff0c;遇到题目时能迅速利用已知条件计算答案。

IDEA删除本地git仓库、创建本地git仓库、关联其他仓库并上传

IDEA删除本地git仓库、创建本地git仓库、关联其他仓库并上传 删除本地Git仓库 创建本地Git仓库 关联其他仓库并上传 要在IntelliJ IDEA中删除本地Git仓库并创建新的本地Git仓库&#xff0c;以及关联其他仓库并上传&#xff0c;请按照以下步骤进行操作&#xff1a; 删除本地G…

文字转语音

键盘获取文字&#xff0c;转化为语音后保存本地 from win32com.client import Dispatch from comtypes.client import CreateObject from comtypes.gen import SpeechLib speakerDispatch(SAPI.SpVoice) speaker.Speak(请输入你想转化的文字) datainput(请输入&#xff1a;)#s…

DROP USER c##xyt CASCADE > ORA-01940: 无法删除当前连接的用户

多创建了一个用户&#xff0c;想要给它删除掉 一 上执行过程&#xff0c;确实删除成功了 Oracle Database 12c Enterprise Edition Release 12.1.0.2.0 - 64bit Production With the Partitioning, OLAP, Advanced Analytics and Real Application Testing optionsSQL> DR…

Self-Attention、transformer代码、word2vec理论(skip-gram、CNOW)、近似训练 (第十三次组会)

@[TOC](Self-Attention、transformer代码、word2vec理论(skip-gram、CNOW)、近似训练 (第十三次组会)) Self-Attention相关 Transformer代码

JVM之类加载与字节码(二)

3. 编译期处理 什么是语法糖 所谓的 语法糖 &#xff0c;其实就是指 java 编译器把 *.java 源码编译为 *.class 字节码的过程中&#xff0c;自动生成 和转换的一些代码&#xff0c;主要是为了减轻程序员的负担&#xff0c;算是 java 编译器给我们的一个额外福利&#xff08;给…

c++实现Qt信号和槽机制

文章目录 简介信号槽信号与槽的连接 特点观察者模式定义观察者模式结构图 实现简单的信号和槽 简介 信号槽机制与Windows下消息机制类似&#xff0c;消息机制是基于回调函数&#xff0c;Qt中用信号与槽来代替函数指针&#xff0c;使程序更安全简洁。  信号和槽机制是 Qt 的核心…