【Rust 基础篇】Rust动态大小类型:理解动态大小类型与编写安全的代码
导言
Rust是一种以安全性和高效性著称的系统级编程语言,其设计哲学是在不损失性能的前提下,保障代码的内存安全和线程安全。在Rust中,动态大小类型(DST)是一种特殊的类型,它的大小在编译时无法确定,需要在运行时根据实际情况进行确定。动态大小类型在Rust中有着重要的应用场景,例如引用类型、trait对象等。本篇博客将深入探讨Rust中的动态大小类型,包括动态大小类型的定义、使用场景、使用方法以及注意事项,以便读者了解如何在Rust中正确理解和使用动态大小类型,编写安全的代码。
1. 什么是动态大小类型?
在Rust中,动态大小类型(DST)是一种特殊的类型,它的大小在编译时无法确定,需要在运行时根据实际情况进行确定。动态大小类型主要包括引用类型和trait对象。
1.1 引用类型(&T)
引用类型是动态大小类型的一种。在Rust中,引用类型是指通过引用(&)来引用其他类型的值。引用类型的大小在编译时是不确定的,因为它的大小取决于被引用的值的大小。
// 引用类型示例
fn main() {let x = 42;let reference = &x; // 引用x的值
}
在上述例子中,我们创建了一个变量x
,然后通过引用(&)创建了一个引用reference
,引用了变量x
的值。引用类型的大小在编译时无法确定,因为它的大小取决于被引用的值的大小。
1.2 trait对象(Trait Object)
trait对象是动态大小类型的另一种形式。在Rust中,trait对象是指通过trait来引用具体类型的值,使得这些值可以按照相同的trait进行操作。trait对象的大小在编译时是不确定的,因为它的大小取决于具体类型的大小。
// trait对象示例
trait Shape {fn area(&self) -> f64;
}struct Circle {radius: f64,
}impl Shape for Circle {fn area(&self) -> f64 {self.radius * self.radius * std::f64::consts::PI}
}fn main() {let circle: Circle = Circle { radius: 5.0 };let shape: &dyn Shape = &circle; // 通过trait对象引用具体类型的值
}
在上述例子中,我们定义了一个trait Shape
,并为具体类型Circle
实现了该trait。然后,我们通过trait对象&dyn Shape
来引用具体类型Circle
的值。trait对象的大小在编译时无法确定,因为它的大小取决于具体类型的大小。
2. 使用场景
动态大小类型主要用于以下场景:
2.1 多态性(Polymorphism)
动态大小类型可以实现多态性,即在编写代码时不需要指定具体类型,而是通过trait来统一操作不同类型的值。
// 多态性示例
trait Animal {fn make_sound(&self);
}struct Dog;
struct Cat;impl Animal for Dog {fn make_sound(&self) {println!("Dog barks!");}
}impl Animal for Cat {fn make_sound(&self) {println!("Cat meows!");}
}fn main() {let dog: Dog = Dog;let cat: Cat = Cat;let animals: Vec<&dyn Animal> = vec![&dog, &cat]; // 使用trait对象实现多态性for animal in animals {animal.make_sound();}
}
在上述例子中,我们定义了一个trait Animal
,然后为具体类型Dog
和Cat
分别实现了该trait。通过trait对象&dyn Animal
,我们可以在同一个容器中存储不同类型的值,并统一地调用相同的方法,实现多态性。
2.2 引用类型的传递
在Rust中,引用类型是通过指向其他值的引用来实现的。引用类型的大小在编译时无法确定,因此在函数调用或者数据传递时,需要使用动态大小类型。
// 引用类型传递示例
fn process_data(data: &[i32]) {// 处理数据
}fn main() {let vec_data = vec![1, 2, 3, 4, 5];process_data(&vec_data); // 传递引用类型作为参数
}
在上述例子中,我们定义了一个函数process_data
,用于处理数据。在调用函数时,我们传递了一个引用类型&[i32]
作为参数,该引用类型的大小在编译时无法确定,因此使用动态大小类型。
3. 使用方法
3.1 定义引用类型
要定义引用类型,需要使用&
符号在变量前面创建引用。
// 定义引用类型
fn main() {let x = 42;let reference = &x; // 创建引用
}
在上述例子中,我们创建了一个变量x
,然后使用引用(&)创建了一个引用reference
,引用了变量x
的值。
3.2 定义trait对象
要定义trait对象,需要使用&dyn Trait
语法来引用具体类型的值。
// 定义trait对象
trait Shape {fn area(&self) -> f64;
}struct Circle {radius: f64,
}impl Shape for Circle {fn area(&self) -> f64 {self.radius * self.radius * std::f64::consts::PI}
}fn main() {let circle: Circle = Circle { radius: 5.0 };let shape: &dyn Shape = &circle; // 通过trait对象引用具体类型的值
}
在上述例子中,我们定义了一个trait Shape
,并为具体类型Circle
实现了该trait。然后,我们通过trait对象&dyn Shape
来引用具体类型Circle
的值。trait对象的大小在编译时无法确定,因为它的大小取决于具体类型的大小。
3.3 注意事项
使用动态大小类型时需要注意以下事项:
3.3.1 引用类型和trait对象的限制
由于动态大小类型的大小在编译时无法确定,所以它们存在一些限制。对于引用类型&T
,被引用的类型T
必须实现了Sized
trait,即其大小必须是固定的。而对于trait对象&dyn Trait
,trait Trait
也必须是Sized
的。
// 错误示例:引用类型的大小不能确定
fn process_data(data: &[i32]) {// 处理数据
}fn main() {let vec_data = vec![1, 2, 3, 4, 5];let reference: &[i32] = &vec_data; // 编译错误:动态大小类型的大小不能确定
}
在上述错误示例中,我们尝试将动态大小类型&[i32]
赋值给一个变量reference
,但由于引用类型的大小在编译时无法确定,因此会导致编译错误。
3.3.2 不支持动态大小类型的直接实例化
由于动态大小类型的大小在编译时无法确定,因此不能直接实例化动态大小类型的对象。我们只能通过引用或者指针来间接地访问动态大小类型的值。
// 错误示例:不能直接实例化动态大小类型
fn main() {let array: [i32; 5] = [1, 2, 3, 4, 5];let slice: &[i32] = &array; // 正确:使用引用间接访问动态大小类型let slice2: &[i32] = &[1, 2, 3, 4, 5]; // 正确:使用引用直接创建动态大小类型let vec: Vec<i32> = vec![1, 2, 3, 4, 5];let slice3: &[i32] = &vec; // 正确:使用引用间接访问动态大小类型
}
在上述错误示例中,我们尝试直接实例化一个动态大小类型,但这是不允许的。正确的做法是使用引用或者指针来间接地访问动态大小类型的值。
4. 避免潜在的问题
动态大小类型在Rust中有着重要的应用场景,但同时也带来了一些潜在的问题,例如性能损失、可读性下降等。为了避免这些问题,我们需要在合适的场景下使用动态大小类型,并注意动态大小类型的限制和使用方法。同时,可以考虑使用静态大小类型来替代动态大小类型,以提高代码的性能和可读性。
结论
本篇博客对Rust中的动态大小类型进行了全面的解释和说明,包括动态大小类型的定义、使用场景、使用方法、注意事项以及避免潜在问题的方法。动态大小类型在Rust中有着重要的应用场景,特别是在实现多态性和引用类型传递时。通过深入理解和合理使用动态大小类型,我们可以编写出安全、高效的代码,充分发挥Rust语言的优势。希望通过本篇博客的阐述,读者能够更深入地了解Rust动态大小类型,并能够在实际项目中正确使用动态大小类型,提高代码的可维护性和可读性。谢谢阅读!
相关文章:
【Rust 基础篇】Rust动态大小类型:理解动态大小类型与编写安全的代码
导言 Rust是一种以安全性和高效性著称的系统级编程语言,其设计哲学是在不损失性能的前提下,保障代码的内存安全和线程安全。在Rust中,动态大小类型(DST)是一种特殊的类型,它的大小在编译时无法确定&#x…...
【Python】使用nuitka打包Python程序为EXE可执行程序
1.说明 写好的Python程序如果想要拿到其他电脑上运行,那还得安装一下Python环境和各种库,这是比较麻烦的,所以有必要把它打包成一个可执行的exe文件。可以打包exe的库有好多个,比如说pyinstaller、cx_Freeze等。 pyinstaller打包…...

背景图片及精灵图
.picture {width: 48px;height: 48px;background-image: url(../images/精灵图-侧边功能.png); }为一个有宽高的div设置了背景图片,背景图片只作用在div的content区域内,不作用在padding和border上。 知识点: 背景图使用精灵图(…...

简要介绍 | 生成模型的演进:从自编码器(AE)到变分自编码器(VAE)和生成对抗网络(GAN),再到扩散模型
注1:本文系“简要介绍”系列之一,仅从概念上对生成模型(包括AE, VAE, GAN,以及扩散模型)进行非常简要的介绍,不适合用于深入和详细的了解。 生成模型的演进:从自编码器(AE)到变分自编码器(VAE)和生成对抗网络(GAN),再到扩散模型 一、背景介绍 生成模型在机器学习领域…...

8.2Thread类的常见属性
1. 2.前台线程和后台线程 前台线程:影响进程结束(如果前台线程没有执行完,进程不结束). 后台线程(守护线程):不影响线程结束. 创建线程默认是前台线程. 修改成后台线程:thread.setDaetrue);...
博客摘录「 mvvm框架工作原理及优缺」2023年7月31日
mvvm 的核心是数据劫持、数据代理、数据编译和"发布订阅模式"。 1、数据劫持——就是给对象属性添加get,set钩子函数。 ● 1、观察对象,给对象增加 Object.defineProperty ● 2、vue的特点就是新增不存在的属性不会给该属性添加 get 、 set 钩子函数。…...

第12章 Linux 实操篇-Linux磁盘分区、挂载
12.1 Linux 分区 12.1.1 原理介绍 (1) Linux来说无论有几个分区,分给哪一目录使用,它归根结底就只有一个根目录,一个独立且唯一的文件结构, Linux中每个分区都是用来组成整个文件系统的一部分。 (2) Linux采用了一种叫“载入”的处理方法,…...

使用express搭建后端服务
目录 1 创建工程目录2 初始化3 安装express依赖4 启动服务5 访问服务总结 上一篇我们利用TDesign搭建了前端服务,现在的开发讲究一个前后端分离,后端的话需要单独搭建服务。后端服务的技术栈还挺多,有java、php、python、nodejs等。在众多的技…...

深度学习——划分自定义数据集
深度学习——划分自定义数据集 以人脸表情数据集raf_db为例,初始目录如下: 需要经过处理后返回 train_images, train_label, val_images, val_label 定义 read_split_data(root: str, val_rate: float 0.2) 方法来解决,代码如下:…...

Jmeter性能测试之正则表达式提取器
目录 前言 1. Jmeter正则表达式提取器 2. 入门实例 3. 进阶实例 前言 Jmeter正则表达式提取器属于Jmeter后置处理器(post processors)的一种,用于将取样器请求到的结果以正则表达式的方式读取出来。 1. Jmeter正则表达式提取器 1. 作用…...
浅谈Kubernetes中Service网络实现(服务发现)
目录 CoreDNS(Kube-DNS) Kube-proxy kube-proxy的三种实现模式 iptables模式 IPVS模式 之前的文章介绍了Kubernetes中基于service实现了集群内部的网络通信,这篇文章详细聊一下Kubernetes中的Service网络本身又是如何实现的。...
【重造轮子】golang实现可重入锁
造个可重入锁的轮子 介绍目标 正文sync.Mutexsync.Mutex介绍多协程计数器demo多协程计数器加锁 源码剖析Mutex数据结构Lock()加锁核心逻辑 UnLock() 重入锁与可重入锁魔改 sync.Mutex 参考文档 介绍 开新坑啦!! 从这篇文章开始,尝试造轮子&a…...
torch显存分析——对生成模型清除显存
torch显存分析——对生成模型清除显存 1. 问题介绍2. 应对方法 1. 问题介绍 本文主要针对生成场景下,如何方便快捷地清除当前进程占用的显存。文章的重点不止是对显存的管理,还包括怎样灵活的使用自定义组件来控制生成过程。 在之前的文章torch显存分析…...

electron+vue+ts窗口间通信
文章目录 一. 目的二.逻辑分析三. 代码示例 "types/node": "^20.3.1","vitejs/plugin-vue": "^4.1.0","vueuse/electron": "^10.2.1","electron": "^25.2.0","electron-packager":…...

基于Fringe-Projection环形投影技术的人脸三维形状提取算法matlab仿真
目录 1.算法运行效果图预览 2.算法运行软件版本 3.部分核心程序 4.算法理论概述 5.算法完整程序工程 1.算法运行效果图预览 2.算法运行软件版本 matlab2022a 3.部分核心程序 .................................................................... figure; imshow(Im…...
如何使用Webman框架实现多语言支持和国际化功能?
如何使用Webman框架实现多语言支持和国际化功能? Webman是一款轻量级的PHP框架,提供了丰富的功能和扩展性,使得开发人员能够更加高效地开发Web应用程序。其中,多语言支持和国际化功能是Web应用程序中非常重要的一项功能ÿ…...

接受平庸,特别是程序员
目录 方向一:简述自己的感受 方向二:聊聊你想怎么做 方向三:如何调整自己的心态 虽然清楚知识需要靠时间沉淀,但在看到自己做不出来的题别人会做,自己写不出的代码别人会写时还是会感到焦虑怎么办? 你是…...
HTML兼容性
文章目录 一、兼容性二、兼容问题1. 在IE6下,子级的宽度会撑开父级设置好的宽度2. IE6中,元素浮动,如果宽度需要内容撑开,需要给里面的块元素都添加浮动才可以3. 在IE6、7下,元素要通过浮动排在同一排,就需…...

Java日期和时间处理入门指南
文章目录 1. 日期操作 - java.util.Date1.1 构造方法1.2 常用方法 2. 日期格式化 - java.text.SimpleDateFormat2.1 获取对象2.2 方法 3. 获取时间分量 - java.util.Calendar3.1 时间分量3.2 创建对象3.3 常用的时间分量3.4 获取时间分量3.5 设置时间分量 结语 引言:…...
anndata k折交叉
如何将anndata拆分为k份 import scanpy as sc import anndata as adclass KSplitAnndata:staticmethoddef _base_split(data: object, k: int) -> list:adata data.copy()num adata.n_obs // kadata_list []for i in range(k):if num < adata.n_obs:adata_list.appen…...

React第五十七节 Router中RouterProvider使用详解及注意事项
前言 在 React Router v6.4 中,RouterProvider 是一个核心组件,用于提供基于数据路由(data routers)的新型路由方案。 它替代了传统的 <BrowserRouter>,支持更强大的数据加载和操作功能(如 loader 和…...

ServerTrust 并非唯一
NSURLAuthenticationMethodServerTrust 只是 authenticationMethod 的冰山一角 要理解 NSURLAuthenticationMethodServerTrust, 首先要明白它只是 authenticationMethod 的选项之一, 并非唯一 1 先厘清概念 点说明authenticationMethodURLAuthenticationChallenge.protectionS…...
鸿蒙中用HarmonyOS SDK应用服务 HarmonyOS5开发一个生活电费的缴纳和查询小程序
一、项目初始化与配置 1. 创建项目 ohpm init harmony/utility-payment-app 2. 配置权限 // module.json5 {"requestPermissions": [{"name": "ohos.permission.INTERNET"},{"name": "ohos.permission.GET_NETWORK_INFO"…...
土地利用/土地覆盖遥感解译与基于CLUE模型未来变化情景预测;从基础到高级,涵盖ArcGIS数据处理、ENVI遥感解译与CLUE模型情景模拟等
🔍 土地利用/土地覆盖数据是生态、环境和气象等诸多领域模型的关键输入参数。通过遥感影像解译技术,可以精准获取历史或当前任何一个区域的土地利用/土地覆盖情况。这些数据不仅能够用于评估区域生态环境的变化趋势,还能有效评价重大生态工程…...

CMake 从 GitHub 下载第三方库并使用
有时我们希望直接使用 GitHub 上的开源库,而不想手动下载、编译和安装。 可以利用 CMake 提供的 FetchContent 模块来实现自动下载、构建和链接第三方库。 FetchContent 命令官方文档✅ 示例代码 我们将以 fmt 这个流行的格式化库为例,演示如何: 使用 FetchContent 从 GitH…...

(转)什么是DockerCompose?它有什么作用?
一、什么是DockerCompose? DockerCompose可以基于Compose文件帮我们快速的部署分布式应用,而无需手动一个个创建和运行容器。 Compose文件是一个文本文件,通过指令定义集群中的每个容器如何运行。 DockerCompose就是把DockerFile转换成指令去运行。 …...

SpringTask-03.入门案例
一.入门案例 启动类: package com.sky;import lombok.extern.slf4j.Slf4j; import org.springframework.boot.SpringApplication; import org.springframework.boot.autoconfigure.SpringBootApplication; import org.springframework.cache.annotation.EnableCach…...
Rapidio门铃消息FIFO溢出机制
关于RapidIO门铃消息FIFO的溢出机制及其与中断抖动的关系,以下是深入解析: 门铃FIFO溢出的本质 在RapidIO系统中,门铃消息FIFO是硬件控制器内部的缓冲区,用于临时存储接收到的门铃消息(Doorbell Message)。…...
【Go语言基础【13】】函数、闭包、方法
文章目录 零、概述一、函数基础1、函数基础概念2、参数传递机制3、返回值特性3.1. 多返回值3.2. 命名返回值3.3. 错误处理 二、函数类型与高阶函数1. 函数类型定义2. 高阶函数(函数作为参数、返回值) 三、匿名函数与闭包1. 匿名函数(Lambda函…...

GruntJS-前端自动化任务运行器从入门到实战
Grunt 完全指南:从入门到实战 一、Grunt 是什么? Grunt是一个基于 Node.js 的前端自动化任务运行器,主要用于自动化执行项目开发中重复性高的任务,例如文件压缩、代码编译、语法检查、单元测试、文件合并等。通过配置简洁的任务…...