【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…...
抖音数字资产管理方法论:构建个人内容沉淀系统的技术实践
抖音数字资产管理方法论:构建个人内容沉淀系统的技术实践 【免费下载链接】douyin-downloader A practical Douyin downloader for both single-item and profile batch downloads, with progress display, retries, SQLite deduplication, and browser fallback su…...
Unity UGUI轻量UI框架:200行代码实现零GC界面管理
1. 为什么还要自己手写UI框架?——当UGUI原生方案开始“卡脖子”很多人看到这个标题第一反应是:“都2024年了,还手写UI框架?Asset Store里几十个成熟方案,NGUI、FairyGUI、TextMeshPro配套的UI系统一抓一大把ÿ…...
混合求解器:用神经网络增强传统微分方程数值方法
1. 项目概述:当数值方法遇到机器学习在科学计算和工程仿真领域,求解常微分方程(ODE)和偏微分方程(PDE)是绕不开的核心任务。无论是模拟电路中的电流变化、预测天气系统的演变,还是分析机械结构的…...
Claude Code 之父:2026 年我一行代码都没写,编程已被 AI 解决
2026 年,你还在一行一行敲代码吗?Claude Code 的创造者、Anthropic 核心人物 Boris Cherny,在公开访谈里抛出一句让整个行业震动的话:2026 年到现在,我没有写过一行代码。所有开发工作,100% 交给 AI 代理完…...
SSH工具对比:新手用户和熟练运维,选型逻辑有什么不同
结论 新手用户和熟练运维在选择 SSH 工具时,关注点往往完全不同。 新手更在意的是:能不能顺利连接、界面是否直观、文件和配置是否容易找到、网站出问题时能不能快速定位。 而熟练运维更在意的是:连接效率、命令自由度、多服务器管理能力、原…...
Postgresql基础实践教程(九)
⭐️⭐️⭐️⭐️⭐️ 完整数据详见 练习数据免费 ⭐️⭐️⭐️⭐️⭐️ 七十二、WITH查询(公用表表达式CTE) 1. SELECT 中的 WITH 2. 递归查询 3. 公用表表达式的物化 4. WITH中的数据修改语句 WITH提供了一种在主查询中写辅助语句的方法。这些语…...
Qri高级功能:如何使用JSON Schema验证和描述数据集结构
Qri高级功能:如何使用JSON Schema验证和描述数据集结构 【免费下载链接】qri youre invited to a data party! 项目地址: https://gitcode.com/gh_mirrors/qr/qri Qri是一个强大的开源数据协作工具,它提供了丰富的功能来帮助用户管理、共享和验证…...
打造XBEE封装BLE112蓝牙模块:硬件设计、射频布局与调试全攻略
1. 项目概述:为什么我们需要一个“XBEE格式”的蓝牙模块?在嵌入式开发和物联网项目中,无线通信模块的选择往往决定了项目的成败。对于很多工程师和创客来说,Silicon Labs(芯科科技)的BLE112/113模块是蓝牙4…...
在线文档协作工具选型必看:14款产品对比(2026版)
一、在线文档协作工具的概念解析及其核心功能 在线文档协作工具是基于云端的文档创建、编辑、共享与协同沟通平台,核心目标是让团队在同一份资料上“实时共同工作”,减少反复传文件、版本混乱与沟通成本。 企业常见的核心能力包括: 多人实…...
用ESP32-C3的PWM做个RGB呼吸灯吧:从配置结构体到色彩渐变(乐鑫ESP-IDF实战)
ESP32-C3 RGB呼吸灯实战:从PWM配置到色彩渐变算法 当智能家居的灯光不再只是简单的开关控制,而是能像呼吸般自然渐变时,整个空间的氛围立刻变得生动起来。ESP32-C3凭借其出色的LED PWM控制器(LEDC)外设,为开…...
