Rust开发——数据对象的内存布局

枚举与Sized 数据

一般数据类型的布局是其大小(size)、对齐方式(align)及其字段的相对偏移量。

1. 枚举(Enum)的布局:

枚举类型在内存中的布局通常是由编译器来确定的。不同的编译器可能有不同的实现方式。一般来说,枚举的大小通常与其底层表示的整数类型相同,例如 enum 定义为 int 类型的大小。对于不同的枚举成员,编译器会分配不同的整数值。但是具体如何进行编码和布局是由编译器实现规定的。

在某些情况下,编译器可能会优化枚举类型的大小,特别是当枚举类型的取值在一个较小的范围内时,编译器可能会选择使用较小的整数类型来表示。

2. Sized 数据类型:

在 Rust 编程语言中,Sized 是一个特性(trait),用于表示大小在编译时是已知的类型。所有 Rust 中的类型默认都是 Sized 的,除非使用特殊的语法标记为 ?Sized,表示可能是动态大小的类型。

Rust 中的 size_ofalign_of 函数可以用于获取类型的大小和对齐方式:

  • std::mem::size_of::<T>() 返回类型 T 的大小(以字节为单位)。
  • std::mem::align_of::<T>() 返回类型 T 的对齐方式(以字节为单位)。

这些函数返回的结果是在编译时已知的常量值。

需要注意的是,对于不同的平台和编译器,类型的大小和对齐方式可能会有所不同。例如,在32位和64位系统上,同一类型的大小可能不同。

数字类型

在 Rust 中,数字类型的内存布局是按照它们的大小和规范来定义的。这些类型的内存布局通常受到硬件架构和编译器实现的影响。

在 Rust 中,常见的数字类型包括整数类型和浮点数类型。下面是一些常见的数字类型和它们的内存布局特征:

整数类型(Integer Types):

  1. 有符号整数

    • i8i16i32i64i128:根据其名称指示的位数存储有符号整数,例如,i32 是一个32位的有符号整数,i64 是一个64位的有符号整数。
    • 内存布局:按照补码表示存储。即最高位为符号位,其余位表示数值。
    • 在这里插入图片描述
  2. 无符号整数

    • u8u16u32u64u128:根据其名称指示的位数存储无符号整数,例如,u32 是一个32位的无符号整数,u64 是一个64位的无符号整数。
    • 内存布局:使用全部位来表示数值。
      在这里插入图片描述

浮点数类型(Floating-Point Types):

  1. 单精度浮点数

    • f32:32位的单精度浮点数。
    • 内存布局:采用IEEE 754标准,其中1位表示符号位,8位表示指数部分,23位表示尾数部分。
  2. 双精度浮点数

    • f64:64位的双精度浮点数。
    • 内存布局:同样采用IEEE 754标准,其中1位表示符号位,11位表示指数部分,52位表示尾数部分。
      在这里插入图片描述这些数字类型在内存中以固定大小进行存储,其具体的字节顺序和布局可能因编译器和硬件平台而异。一般来说,这些数字类型在内存中是连续存储的,并且其大小和布局遵循相应的标准,比如整数的补码表示和浮点数的IEEE 754标准。

usized 、isized

在 Rust 中,usizeisize 是特殊的整数类型,其大小取决于运行 Rust 代码的操作系统的位数。这两种类型的大小会根据不同系统的位数而变化。

  • usize:代表无符号整数,它的大小等于指针大小,即在 64 位系统上通常是 8 字节,在 32 位系统上通常是 4 字节。它用于表示内存中的索引、大小和指针偏移等。在 Rust 中,usize 类型通常用于索引集合或表示内存中对象的大小。

  • isize:代表有符号整数,同样,它的大小也等于指针大小。在 64 位系统上通常是 8 字节,在 32 位系统上通常是 4 字节。它可以用来表示可以为负数的索引或偏移量。

这两种类型在不同位数的系统上都是与机器字长相关的,这样可以更好地适应不同平台上的内存寻址和指针大小。它们的大小是 Rust 编译器根据目标平台自动确定的,并且在不同平台上可能会有所不同。

bool

bool 类型在 Rust 中用于表示布尔值,只能取 truefalse。它在内存中的长度和对齐长度都是 1 字节,在存储时占用一个字节的内存空间。

数组

在 Rust 中,数组是固定大小的相同类型元素的集合。Rust 中的数组具有连续的内存布局,并且元素是按照其定义顺序依次存储的。

内存布局:

  1. 连续存储:数组中的元素按照顺序在内存中连续存放。这意味着如果有一个包含多个元素的数组,它们会依次存储在内存中相邻的位置。

  2. 相同类型元素:数组中的所有元素必须是相同的类型。例如,一个 i32 类型的数组必须只包含 i32 类型的元素。

  3. 索引访问:通过索引可以访问数组的元素。Rust 中的数组索引从 0 开始,可以使用 [] 操作符来访问数组中特定索引的元素。

示例:

// 创建一个包含 4 个整数的数组
let my_array: [i32; 4] = [10, 20, 30, 40];

假设有一个名为 my_array 的数组,包含四个 i32 类型的整数。在内存中,这个数组的存储方式可能如下所示(这里只是示意,不考虑实际内存地址):

my_array: [10, 20, 30, 40]
Memory: | 10 | 20 | 30 | 40 |

这表示这个数组中的四个整数元素在内存中是连续存储的,每个整数占据相应的内存空间。数组的第一个元素 10 存储在第一个内存位置,第二个元素 20 存储在紧随其后的内存位置,以此类推。

通过索引可以访问数组中的元素,例如 my_array[0] 会返回第一个元素 10my_array[1] 返回第二个元素 20,以此类推。

str类型

1. char 类型:

  • char 表示一个 Unicode 字符,占据 32 位长度(4 字节)。
  • Unicode 标量值(Unicode Scalar Value)范围在 0x0000 - 0xD7FF0xE000 - 0x10FFFF

2. str 类型:

  • str 是一个不可变的 UTF-8 编码字符串片段(slice)。它是对 UTF-8 编码字节序列的引用。
  • Rust 的标准库假设 str 是有效的 UTF-8 编码,并且对其进行操作时会遵循这个假设。
  • str 的内存布局类似于 &[u8],但是假设其内容是有效的 UTF-8 编码。

3. slice

  • slice 是 Rust 中的动态大小类型(DST),表示一部分数据的视图。
  • &[T] 是一个“宽指针”,它存储了指向数据的地址和数据的长度。
  • slice 的内存布局与其指向的数据类型相同。

4. String 类型:

  • String 是 Rust 中的可变字符串类型,它拥有所有权,并且存储 UTF-8 编码的文本。
  • String 本质上是一个指向存储字符串数据的缓冲区的指针,它也是一个 Vec<u8> 的封装。
  • String 的内存布局包含了指向存储字符串数据的地址以及字符串的长度和容量信息。
    在 Rust 中,struct 是用于定义自定义数据类型的关键字,它允许组合多个不同类型的字段来创建一个新的复合类型。当涉及到 struct 的内存布局时,需要考虑其字段的排列和对齐方式。

struct

在 Rust 中,struct 的内存布局通常是紧凑且连续的,它的字段按照声明的顺序依次存储在内存中。然而,Rust 也会根据字段的类型和对齐需求进行内存对齐,以提高访问效率。

例如,考虑以下简单的结构体定义:

struct MyStruct {a: u8,b: u16,c: u32,
}

这个结构体 MyStruct 包含了一个 u8 类型的字段 a、一个 u16 类型的字段 b 和一个 u32 类型的字段 c。Rust 会根据这些字段的类型和对齐要求进行内存布局。

通常情况下,Rust 会按照字段的声明顺序进行内存排列,但也可能根据字段的大小和对齐要求进行调整,以保证每个字段能够按照其对齐规则正确地存储在内存中。

对齐规则是为了提高访问效率和减少内存访问的成本。例如,u16 类型通常需要在内存中对齐到 2 字节边界,u32 类型通常对齐到 4 字节边界,以此类推。因此,结构体的内存布局可能会在字段之间增加填充以满足对齐要求。

需要注意的是,Rust 并没有明确的规范指定结构体的内存布局,这是由编译器根据平台和优化策略进行管理的。因此,在特定情况下,结构体的内存布局可能会因编译器、目标架构或优化设置而有所不同。

tuple

元组(Tuple)是一种可以包含多个不同类型值的复合数据类型。元组的内存布局类似于结构体(struct),但有一些区别。

元组的内存布局:

  • 连续存储:元组中的元素按照其定义顺序在内存中连续存储。
  • 按照顺序排列:元组的元素按照声明的顺序存储在内存中,与结构体类似。
  • 无字段名:不同于结构体,元组的元素没有字段名,仅按照位置(索引)进行访问。

考虑一个简单的元组定义:

let my_tuple = (10, "hello", true);

这个元组 my_tuple 包含了一个 i32 类型的整数 10、一个 &str 类型的字符串 "hello" 和一个 bool 类型的布尔值 true

元组的内存布局是紧凑的,并且其中的元素按照它们在元组中的位置顺序存储。因为元组的元素没有字段名,访问元素时需要通过索引来获取,例如 my_tuple.0my_tuple.1my_tuple.2

和结构体不同,元组的内存布局没有对齐需求或填充。它们的存储是简单而紧凑的,元素之间紧密相邻。

元组的内存布局和访问方式是由 Rust 编译器管理的,而且 Rust 并未对元组的内存布局进行严格的规范。因此,具体的内存布局可能会因编译器、优化策略和目标平台等因素而有所不同。

closure

闭包(Closure)是一个可以捕获其环境中变量并且可以在稍后调用的匿名函数。闭包的内存布局在 Rust 中并没有直接暴露或详细定义,因为它们是由编译器在编译时根据捕获的环境和使用情况生成的。

尽管闭包的具体内存布局是由 Rust 编译器实现的细节,但闭包的内部实现与结构体有关,并且根据捕获的变量及其使用方式来进行编译。因此,理解闭包内存布局的最佳方式是从其行为和 Rust 的 trait 实现角度来理解闭包。

  1. 环境捕获:闭包可以捕获周围环境中的变量。这些捕获的变量在闭包被创建时会被包含在闭包的内部。

  2. Fn、FnMut 和 FnOnce:闭包的调用方式取决于其捕获的变量和如何使用这些变量。根据捕获变量的所有权或可变性,闭包可能实现了 FnOnceFnMutFn trait 中的其中之一。

  3. 背后的实现:闭包背后的具体实现通常涉及一个结构体,它包含了捕获的变量作为其字段,并且实现了对应的 trait。这个结构体的内存布局由编译器生成,通常会保证捕获变量的正确性和可访问性。

由于闭包的实现细节是由 Rust 编译器处理的,而不是直接暴露给开发者的,因此在大多数情况下,不需要过多关注闭包的具体内存布局。闭包的内存布局是由编译器根据其捕获的环境变量、使用方式和实现的 trait 来动态生成的,具体的实现细节可能会因编译器和闭包的用法而有所不同。

union

union 是一种特殊的数据结构,其所有字段共享相同的内存空间。每个 union 实例的大小由其最大字段的大小决定。

  1. 字段共享内存union 的所有字段共享同一块内存。因此,对一个字段的写入可能会覆盖其他字段的数据。

  2. 大小由最大字段决定union 的大小由其最大字段的大小决定。它的大小等于所有字段中最大字段的大小。

  3. 字段访问和数据有效性:在 union 中,程序员可以使用其中的某个字段来读取数据,但要确保读取的字段类型与实际存储的数据类型相匹配。否则,试图解释存储的数据为不匹配类型的行为将导致未定义的行为。

#[repr(C)]union 的声明:

#[repr(C)] 是一个属性,用于指示编译器按照 C 语言的布局规则来布局 union 或结构体的内存。它确保 union 的布局与 C 语言的标准兼容,有利于与 C 代码进行交互或者在 Rust 中实现特定的内存布局。

下面是一个示例 #[repr(C)]union 声明:

#[repr(C)]
union MyUnion {f1: u32,f2: f32,
}

在这个 union 中,f1 是一个 u32 类型的字段,f2 是一个 f32 类型的字段。由于这两个字段共享相同的内存空间,因此对一个字段的写入可能会影响另一个字段。
在使用 union 时,确保数据的有效性和正确的字段访问非常重要,否则可能导致不可预期的结果或未定义的行为。

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

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

相关文章

centos7 系统keepalived 定时执行脚本

安装keepalived yum install -y keepalived 修改配置文件 配置文件路径 /etc/keepalived 配置文件内容 global_defs {router_id localhost.localdomain # 访问到主机&#xff0c;本机的hostname&#xff0c;需要修改 }vrrp_script chk_http_port {script "/etc/kee…

INFLOW:用于检测隐藏服务器的反向网络流水印

文章信息 论文题目&#xff1a;INFLOW: Inverse Network Flow Watermarking for Detecting Hidden Servers 期刊&#xff08;会议&#xff09;&#xff1a;IEEE INFOCOM 2018 - IEEE Conference on Computer Communications 级别&#xff1a;CCF A 文章链接&#xff1a;https:…

Docker 安装 Apache

目录 拉取官方 Apache 镜像 查看本地镜像 列出正在运行的容器 运行 Apache 容器 创建一个 HTML 文件&#xff1a;index.html 访问 Apache 拉取官方 Apache 镜像 查找 Docker Hub 上的 httpd 镜像。 可以通过 Tags 查看其他版本的 httpd&#xff0c;默认是最新版本 httpd…

SpringMVC 基础知识

学习目标 掌握基于 SpringMVC 获取请求参数与响应 json 数据操作熟练应用基于 REST 风格的请求路径设置与参数传递能够根据实际业务建立前后端开发通信协议并进行实现基于 SSM 整合技术开发任意业务模块功能 1 SpringMVC 简介 1.1 概述 1.1.1 web程序开发流程 【执行过程】…

从入门到精通!Python数据分析畅销书《利用Python进行数据分析》第三版中文版助你成为数据分析师!

Python数据分析畅销书《利用Python进行数据分析》第三版中文版助你成为数据分析师&#xff01; 个人简介什么是数据分析如何自学数据分析书籍推荐作译者简介作者简介译者简介 主要变动导读视频&#xff1a;购书链接&#xff1a;参与方式往期赠书回顾 个人简介 &#x1f3d8;️&…

【好玩的开源项目】Linux系统之部署proxx扫清黑洞小游戏

【好玩的开源项目】Linux系统之部署proxx扫清黑洞小游戏 一、proxx小游戏介绍1.1 proxx小游戏简介1.2 开源地址 二、本地环境介绍2.1 本地环境规划2.2 本次实践介绍 三、检查本地环境3.1 检查本地操作系统版本3.2 检查系统内核版本 四、部署Node.js环境4.1 下载Node.js安装包4.…

动态规划求二维网格中从左上角到右下角的最短路径( 每次只能向下、向右、向右下走 ) java 实现

dp[i][j] 表示在以点(0,0)作为左上角&#xff0c;点(i,i) 作为右下角的二维网格中 左上角到右下角的最短路径&#xff0c; 动态转移方程为&#xff1a;dp[i][j] min{ dp[i][j-1],dp[i-1][j],dp[i-1][j-1] }.distance weight[i][j] ImageUtils.java&#xff1a; import java.a…

三十分钟学会Shell(上)

Shell ​ Shell 本身并不是内核的一部分&#xff0c;它只是站在内核的基础上编写的一个应用程序&#xff0c;是用户和Linux文件系统之间的桥梁。Shell 有自己的特殊性&#xff0c;就是开机立马启动&#xff0c;并呈现在用户面前&#xff1b;用户通过 Shell 来使用 Linux&#x…

Windows日常故障自我排查:用工具eventvwr.msc(事件查看器)分析问题故障

windows故障排查方法一&#xff1a; 工具用法 系统故障问题时&#xff0c;找不到解决方法 首先&#xff0c; 在搜索栏输入&#xff1a; 事件查看器(eventvwr.msc) 打开程序 根据程序找到程序运行的LOG 根据程序Operational筛选出错误日志&#xff1a; 日志中找错误原因&…

假期宅家不无聊,用极米投影仪H6 Pro 4K解锁宅家多样玩法

不知道大家平时的假期是怎么度过的&#xff0c;是选择出门游玩?还是要在家好好安排自己的学习充电计划?平日工作这么累&#xff0c;不如趁假期好好休息一下&#xff0c;把以前落下的番剧补回来。不过手机的屏幕太小&#xff0c;电脑又不能躺在床上看&#xff0c;只有够大尺寸…

Lora学习资料汇总

目录 LoRa联盟 Semtech lora网关供应商: LoRaMAC API文档 论坛 开发板 主流技术对比分析 LoRa网络距离模拟测试方法 LoRa应用 Lora LoraWAN教程 LoRa联盟 LoRa联盟&#xff1a;LoRaWAN规范的制定组织 https://www.lora-alliance.org/ LoRa技术白皮书&#xff1a;htt…

解决mv3版本浏览器插件,不能注入js脚本问题

文章目录 背景引入ifream解决ifream和父页面完全跨域问题参考链接 背景 浏览器插件升级mv3版本后&#xff0c;不能再使用content_script内容脚本向原浏览器&#xff08;top&#xff09;注入script标签达到注入脚本的目的。浏览器认为插入未经审核的脚本是不安全的行为。 引入…

ajax请求方式处理

1、前置准备 1.1、SpringBoot项目下&#xff1a;写一个controller RestController public class TestController {RequestMapping("/yyy")public void test(HttpServletRequest request, HttpServletResponse response){String yang request.getParameter("y…

AI助力钢铁产业数字化,python基于YOLOv5开发构建钢铁产业产品智能自动化检测识别系统

AI为工业产业智能化数字化赋能早已不是什么新鲜事&#xff0c;越来越多的行业和领域开始更大范围去拥抱AI&#xff0c;享受科技带来的变革力量&#xff0c;在我们之前的文章中也有很多相关领域项目的实践经历&#xff0c;本文的核心目标就是想要基于钢铁领域产品数据来开发构建…

【KMP算法】学习总结

说明&#xff1a; 文章内容为对KMP算法的总结&#xff0c;以及力扣例题&#xff1b;文章内容为个人的学习总结&#xff0c;如有错误&#xff0c;欢迎指正。 文章目录 1. KMP算法1.1 算法步骤1.2 关于指针回退问题 2 . LeetCode例题 1. KMP算法 1.1 算法步骤 KMP算法通常用于…

springboot_vue知识点

代码放到了仓库。 springboot_vue知识点 1.搭建1.vue2.springboot 2.前后端请求和响应的封装1.请求封装2.响应封装 3.增删改查1.查询2.分页3.新增和编辑4.删除 4.跨域和自定义异常5.JWT鉴权1.配置pom2.拦截前端请求的拦截器3.生成token并验证token4.登录后生成token5.前端获取…

Grafana如何实现折线柱状图

程序员的公众号&#xff1a;源1024&#xff0c;获取更多资料&#xff0c;无加密无套路&#xff01; 最近整理了一份大厂面试资料《史上最全大厂面试题》&#xff0c;Springboot、微服务、算法、数据结构、Zookeeper、Mybatis、Dubbo、linux、Kafka、Elasticsearch、数据库等等 …

竞赛选题 车位识别车道线检测 - python opencv

0 前言 &#x1f525; 优质竞赛项目系列&#xff0c;今天要分享的是 &#x1f6a9; 深度学习 机器视觉 车位识别车道线检测 该项目较为新颖&#xff0c;适合作为竞赛课题方向&#xff0c;学长非常推荐&#xff01; &#x1f947;学长这里给一个题目综合评分(每项满分5分) …

从六个方面对比Go和Python的差异

您是否想过 Go 与 Python 之间的主要区别是什么&#xff1f;随着对软件开发人员的需求不断增加&#xff0c;选择哪种编码语言可能会很困难。 ​ 在此&#xff0c;我们将从六个方面对比Go和Python,探讨 Go 和 Python之间的差异。我们将讨论它们的特点、优缺点&#xff0c;以便…