14、Rust 数据实现与内存分配深度解析

Rust 数据实现与内存分配深度解析

1. 寄存器分配与内存管理基础

在 Rust 中，虽然不像汇编语言和部分 C 语言那样直接使用处理器寄存器分配的概念，但代码优化器在不改变程序行为的前提下，可将栈分配的对象移至处理器寄存器。这意味着源代码层面的栈分配对象，在机器码层面可能成为寄存器分配对象。不过，这取决于目标架构，目标处理器的寄存器越多，能分配到寄存器的变量就越多。

对于程序员而言，寄存器分配通常无关紧要。但使用源代码级调试器检查高度优化程序的内存时，会发现一些栈分配的变量消失了。因此，调试时应让编译器生成未优化的可执行代码，除非想直接调试机器码。

2. 数据实现基础

我们可以了解到以下几个方面的知识：
- 如何知晓各种类型对象占用的栈字节数。
- 如何缩短访问外部模块中声明的函数的路径。
- 原始类型对象中比特位的存储方式。
- 如何确定对象在内存中的存储位置。
- 填充（padding）为何会增加某些对象占用的大小。
- 向量（vector）的实现方式。

3. 发现对象大小

Rust 编译器可根据源文件生成符合 Rust 语言规范的任意机器码。因此，变量使用的内存位数和其在内存中的位置并无明确规定，编译器甚至可能因变量未使用或存于处理器寄存器而将其从内存中移除。不过，了解 Rust 程序数据排列的典型实现很有意义。

可以使用以下 Rust 特性来查看对象大小：

print!("{} ", std::mem::size_of::<i32>(