Rust能力养成系列之(39):内存管理:生命周期收尾和指针初步

本文主要是介绍Rust能力养成系列之(39):内存管理:生命周期收尾和指针初步,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

前言

上篇结尾谈及了生命周期子类型,本篇就从这里开始。

 

生命周期子类型(lifetime subtyping)

我们可以指定生命周期之间的关系,以指定两个引用是否可以在同一位置使用。继续上一篇Decoder结构体的例子,可以在impl块中指定生命周期之间的关系,如下所示:

// lifetime_subtyping.rsstruct Decoder<'a, 'b, S, R> {schema: &'a S,reader: &'b R
}impl<'a, 'b, S, R> Decoder<'a, 'b, S, R>
where 'a: 'b {}fn main() {let a: Vec<u8> = vec![];let b: Vec<u8> = vec![];let decoder = Decoder {schema: &a, reader: &b};

这里在impl块中使用where子句指定了关系:'a: 'b。意味着a比b生命周期的存在时间要长

 

指定泛型类型的生命周期

除了使用特行来约束泛型函数可以接受的类型之外,还可以使用生命周期注释来约束泛型类型参数。比如,这里有一个logger库,其中logger对象的定义如下:

// lifetime_bounds.rsenum Level {Error
}struct Logger<'a>(&'a str, Level);fn configure_logger<T>(_t: T) where T: Send + 'static {// configure the logger here
}fn main() {let name = "Global";let log1 = Logger(name, Level::Error);configure_logger(log1);
}

在以上代码中,有名为Logger的结构体和名为Level的枚举,还有一个名为configure_logger的泛型函数,接收一个类型为T的参数,用Send + 'static进行约束。在main中,我们用'static, 、字符串' Global '创建一个Logger变量,并调用configure_logger进行传参。

看下第9行,除了规定send绑定信息之外,还规定该类型必须与'static生命周期具有相同时间。比如设要使用一个Logger,其引用了一连串更短的生命周期,如下所示:

// lifetime_bounds_short.rsenum Level {Error
}struct Logger<'a>(&'a str, Level);fn configure_logger<T>(_t: T) where T: Send + 'static {// configure the logger here
}fn main() {let other = String::from("Local");let log2 = Logger(&other, Level::Error);configure_logger(&log2);
}

编译不会通过,并报错如下:

错误消息明确指出,借用的值必须对静态生命周期有效,但上述代码给它传递了一个字符串过去,该生命周期名为'a,在main函数中 ,比'static的生命周期更短。

要理清这里面的问题,需要看一下Rust中的指针。

 

Rust中的指针类型

不谈指针,有关内存管理的讨论将是不完整的,应该说,指针是所有低级语言中操作内存的主要方式。众所周知,指针只是指向进程地址空间中的内存位置的变量(variables that point to memory locations in the process's address space)。在Rust中, 主要处理三种指针。

 

引用--安全指针(References – safe pointers)

这种指针在借用(borrowing)一节中介绍过,很像C语言中的指针,但是要其正确性需要得到检查,永远不能为null,并且总是会指向任意变量所拥有的数据:所指向的数据要么在栈上,要么在堆上,要么在二进制文件的数据段上。在创建时,会使用到&或者是&mut运算符:这些符号在类型T上作为前缀时,会创建一个引用类型,对于不可变引用,用&T表示,对于可变引用,用&mut表示。让我们再来回顾一下:

  • &T: 这是对T类型的一个不可变引用。一个 &T指针是一个Copy类型,这意味着可以有很多对值T的不可变引用。如果把这个赋值给另一个变量,会得到一个指向相同数据的指针的副本。允许创建对一个引用的引用,比如&&T。
  • &mut T: 这是对T类型的一个可变引用。在任何范围内,由于借用规则,不能有两个对值T的可变引用。这意味着T类型不实现Copy特性,也不能被发送到线程。

 

原始指针(Raw pointers)

这种指针在类型签名上有一个非常奇怪的标志,会在前缀位置加一个*,而这显然跟接触引用的操作符是一样的。一般而言,原始指针主要用于所谓的非安全代码(unsafe code),需要在一个非安全的区域(unsafe block)来对其解除引用。在Rust中,主要有两种原始指针。

  • *const T: 指向类型T的不可变原始指针,为Copy类型,类似于&T,只是*const T可以是null。
  • *mut T: 指向值T的可变原始指针,为Non-Copy类型。

需要注意的是,引用可以转换为原始指针,可见如下代码:

let a = &56;
let a_raw_ptr = a as *const u32;
// or
let b = &mut 5634.3;
let b_mut_ptr = b as *mut T;

然而,不能将&T转换为*mut,因为这样会违反只允许一个可变借用的规则。

对于可变引用,可以将其转换为*mut甚至*const T,这被称为指针弱化,也就是说,是从强一点的指针&mut转换为弱一点的*const T指针。对于不可变引用,只能将其转换为*const T。

不难想见,对原始指针进行解除引用是一个不安全的操作,在后续篇章中,会谈一下原始指针的用途。

 

前言

上篇结尾谈及了生命周期子类型,本篇就从这里开始。

 

生命周期子类型(lifetime subtyping)

我们可以指定生命周期之间的关系,以指定两个引用是否可以在同一位置使用。继续上一篇Decoder结构体的例子,可以在impl块中指定生命周期之间的关系,如下所示:

// lifetime_subtyping.rsstruct Decoder<'a, 'b, S, R> {schema: &'a S,reader: &'b R
}impl<'a, 'b, S, R> Decoder<'a, 'b, S, R>
where 'a: 'b {}fn main() {let a: Vec<u8> = vec![];let b: Vec<u8> = vec![];let decoder = Decoder {schema: &a, reader: &b};

这里在impl块中使用where子句指定了关系:'a: 'b。意味着a比b生命周期的存在时间要长

 

指定泛型类型的生命周期

除了使用特行来约束泛型函数可以接受的类型之外,还可以使用生命周期注释来约束泛型类型参数。比如,这里有一个logger库,其中logger对象的定义如下:

// lifetime_bounds.rsenum Level {Error
}struct Logger<'a>(&'a str, Level);fn configure_logger<T>(_t: T) where T: Send + 'static {// configure the logger here
}fn main() {let name = "Global";let log1 = Logger(name, Level::Error);configure_logger(log1);
}

在以上代码中,有名为Logger的结构体和名为Level的枚举,还有一个名为configure_logger的泛型函数,接收一个类型为T的参数,用Send + 'static进行约束。在main中,我们用'static, 、字符串' Global '创建一个Logger变量,并调用configure_logger进行传参。

 

看下第9行,除了规定send绑定信息之外,还规定该类型必须与'static生命周期具有相同时间。比如设要使用一个Logger,其引用了一连串更短的生命周期,如下所示:

// lifetime_bounds_short.rsenum Level {Error
}struct Logger<'a>(&'a str, Level);fn configure_logger<T>(_t: T) where T: Send + 'static {// configure the logger here
}fn main() {let other = String::from("Local");let log2 = Logger(&other, Level::Error);configure_logger(&log2);
}

编译不会通过,并报错如下:

错误消息明确指出,借用的值必须对静态生命周期有效,但上述代码给它传递了一个字符串过去,该生命周期名为'a,在main函数中 ,比'static的生命周期更短。

要理清这里面的问题,需要看一下Rust中的指针。

 

Rust中的指针类型

不谈指针,有关内存管理的讨论将是不完整的,应该说,指针是所有低级语言中操作内存的主要方式。众所周知,指针只是指向进程地址空间中的内存位置的变量(variables that point to memory locations in the process's address space)。在Rust中, 主要处理三种指针。

 

引用--安全指针(References – safe pointers)

这种指针在借用(borrowing)一节中介绍过,很像C语言中的指针,但是要其正确性需要得到检查,永远不能为null,并且总是会指向任意变量所拥有的数据:所指向的数据要么在栈上,要么在堆上,要么在二进制文件的数据段上。在创建时,会使用到&或者是&mut运算符:这些符号在类型T上作为前缀时,会创建一个引用类型,对于不可变引用,用&T表示,对于可变引用,用&mut表示。让我们再来回顾一下:

  • &T: 这是对T类型的一个不可变引用。一个 &T指针是一个Copy类型,这意味着可以有很多对值T的不可变引用。如果把这个赋值给另一个变量,会得到一个指向相同数据的指针的副本。允许创建对一个引用的引用,比如&&T。
  • &mut T: 这是对T类型的一个可变引用。在任何范围内,由于借用规则,不能有两个对值T的可变引用。这意味着T类型不实现Copy特性,也不能被发送到线程。

 

原始指针(Raw pointers)

这种指针在类型签名上有一个非常奇怪的标志,会在前缀位置加一个*,而这显然跟接触引用的操作符是一样的。一般而言,原始指针主要用于所谓的非安全代码(unsafe code),需要在一个非安全的区域(unsafe block)来对其解除引用。在Rust中,主要有两种原始指针。

  • *const T: 指向类型T的不可变原始指针,为Copy类型,类似于&T,只是*const T可以是null。
  • *mut T: 指向值T的可变原始指针,为Non-Copy类型。

 

需要注意的是,引用可以转换为原始指针,可见如下代码:

let a = &56;
let a_raw_ptr = a as *const u32;
// or
let b = &mut 5634.3;
let b_mut_ptr = b as *mut T;

然而,不能将&T转换为*mut,因为这样会违反只允许一个可变借用的规则。

对于可变引用,可以将其转换为*mut甚至*const T,这被称为指针弱化,也就是说,是从强一点的指针&mut转换为弱一点的*const T指针。对于不可变引用,只能将其转换为*const T。

不难想见,对原始指针进行解除引用是一个不安全的操作,在后续篇章中,会谈一下原始指针的用途。

 

结语

本篇介绍了两种指针,下一篇,介绍第三种指针,也就是所谓的智能指针(smart pointer)

 

主要参考和建议读者进一步阅读的文献

https://doc.rust-lang.org/book

深入浅出 Rust,2018,范长春

Rust编程之道,2019, 张汉东

The Complete Rust Programming Reference Guide,2019, Rahul Sharma,Vesa Kaihlavirta,Claus Matzinger

Hands-On Data Structures and Algorithms with Rust,2018,Claus Matzinger

Beginning Rust ,2018,Carlo Milanesi

Rust Cookbook,2017,Vigneshwer Dhinakaran

发布于 22 小时前

这篇关于Rust能力养成系列之(39):内存管理:生命周期收尾和指针初步的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/396092

相关文章

关于Java内存访问重排序的研究

《关于Java内存访问重排序的研究》文章主要介绍了重排序现象及其在多线程编程中的影响,包括内存可见性问题和Java内存模型中对重排序的规则... 目录什么是重排序重排序图解重排序实验as-if-serial语义内存访问重排序与内存可见性内存访问重排序与Java内存模型重排序示意表内存屏障内存屏障示意表Int

SpringBoot使用minio进行文件管理的流程步骤

《SpringBoot使用minio进行文件管理的流程步骤》MinIO是一个高性能的对象存储系统,兼容AmazonS3API,该软件设计用于处理非结构化数据,如图片、视频、日志文件以及备份数据等,本文... 目录一、拉取minio镜像二、创建配置文件和上传文件的目录三、启动容器四、浏览器登录 minio五、

Rust中的Option枚举快速入门教程

《Rust中的Option枚举快速入门教程》Rust中的Option枚举用于表示可能不存在的值,提供了多种方法来处理这些值,避免了空指针异常,文章介绍了Option的定义、常见方法、使用场景以及注意事... 目录引言Option介绍Option的常见方法Option使用场景场景一:函数返回可能不存在的值场景

如何测试计算机的内存是否存在问题? 判断电脑内存故障的多种方法

《如何测试计算机的内存是否存在问题?判断电脑内存故障的多种方法》内存是电脑中非常重要的组件之一,如果内存出现故障,可能会导致电脑出现各种问题,如蓝屏、死机、程序崩溃等,如何判断内存是否出现故障呢?下... 如果你的电脑是崩溃、冻结还是不稳定,那么它的内存可能有问题。要进行检查,你可以使用Windows 11

IDEA中的Kafka管理神器详解

《IDEA中的Kafka管理神器详解》这款基于IDEA插件实现的Kafka管理工具,能够在本地IDE环境中直接运行,简化了设置流程,为开发者提供了更加紧密集成、高效且直观的Kafka操作体验... 目录免安装:IDEA中的Kafka管理神器!简介安装必要的插件创建 Kafka 连接第一步:创建连接第二步:选

Spring Security 从入门到进阶系列教程

Spring Security 入门系列 《保护 Web 应用的安全》 《Spring-Security-入门(一):登录与退出》 《Spring-Security-入门(二):基于数据库验证》 《Spring-Security-入门(三):密码加密》 《Spring-Security-入门(四):自定义-Filter》 《Spring-Security-入门(五):在 Sprin

NameNode内存生产配置

Hadoop2.x 系列,配置 NameNode 内存 NameNode 内存默认 2000m ,如果服务器内存 4G , NameNode 内存可以配置 3g 。在 hadoop-env.sh 文件中配置如下。 HADOOP_NAMENODE_OPTS=-Xmx3072m Hadoop3.x 系列,配置 Nam

综合安防管理平台LntonAIServer视频监控汇聚抖动检测算法优势

LntonAIServer视频质量诊断功能中的抖动检测是一个专门针对视频稳定性进行分析的功能。抖动通常是指视频帧之间的不必要运动,这种运动可能是由于摄像机的移动、传输中的错误或编解码问题导致的。抖动检测对于确保视频内容的平滑性和观看体验至关重要。 优势 1. 提高图像质量 - 清晰度提升:减少抖动,提高图像的清晰度和细节表现力,使得监控画面更加真实可信。 - 细节增强:在低光条件下,抖

科研绘图系列:R语言扩展物种堆积图(Extended Stacked Barplot)

介绍 R语言的扩展物种堆积图是一种数据可视化工具,它不仅展示了物种的堆积结果,还整合了不同样本分组之间的差异性分析结果。这种图形表示方法能够直观地比较不同物种在各个分组中的显著性差异,为研究者提供了一种有效的数据解读方式。 加载R包 knitr::opts_chunk$set(warning = F, message = F)library(tidyverse)library(phyl

【生成模型系列(初级)】嵌入(Embedding)方程——自然语言处理的数学灵魂【通俗理解】

【通俗理解】嵌入(Embedding)方程——自然语言处理的数学灵魂 关键词提炼 #嵌入方程 #自然语言处理 #词向量 #机器学习 #神经网络 #向量空间模型 #Siri #Google翻译 #AlexNet 第一节:嵌入方程的类比与核心概念【尽可能通俗】 嵌入方程可以被看作是自然语言处理中的“翻译机”,它将文本中的单词或短语转换成计算机能够理解的数学形式,即向量。 正如翻译机将一种语言