用了这么多年Rust终于搞明白了内存分布！

Posted 轻风博客

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了用了这么多年Rust终于搞明白了内存分布！相关的知识，希望对你有一定的参考价值。

Rust作为一门学习曲线十分陡峭的语言，掌握其核心基础数据结构的内存分布对学习Rust会有很大的帮助，本文由浅入深仔细介绍了Rust的各个数据结构在内存中的分布情况。 

导读
Rust作为一门学习曲线十分陡峭的语言，掌握其核心基础数据结构的内存分布对学习Rust会有很大的帮助，本文由浅入深仔细介绍了Rust的各个数据结构在内存中的分布情况。
Rust作为一门学习曲线十分陡峭的语言，掌握其核心基础数据结构的内存分布对学习Rust会有很大的帮助，即使对于已经熟悉Rust的同学，深入数据结构分布也能帮助到调优Rust程序。
接下来，我会由浅入深仔细介绍Rust的各个数据结构在内存中的分布情况，帮助大家学习Rust。

先决条件 Prerequisite

在开始介绍之前，我们先做这个几个假设，来更好地帮助后续文章的展开。

  1. 我们本文的机器预设是32位的（主要为了画图可以精简一点），所有和位相关的数据结构均会用上标标记（即这些数据结构占用的是1 machine word）。例如：

  2. 数据结构基本单位示图:

蓝色的框框代表1个byte，绿色的框框pointer下的（1|2|3|4）代表pointer在32位机器上rust是4个byte，他们整体被框在绿色框框中代表一个pointer。

 

一、基本类型

不用害怕，让我们把一只小脚试探性地迈入Rust的大门，先看看基础类型的内存分布吧。

这些数据结构Rust分配的时候都是在栈上的。

 

1.1 Stack栈 vs Heap堆

因为本文会涉及到Rust中栈和堆分配，本小章先来简单讲一下栈和堆。
我们只提炼一些最基本的区别概要，更多的细节可以看这篇文章[1]有比较好的解释。

栈特点：

  1. 分配快
  2. 大小受限
堆特点：
  1. 分配慢
  2. 大小不受限
  3.  

二、元组 Tuple

 

让我们先从比较基础的Rust数据结构Tuple看起。

let a:(char, u8, i32) = (\'a\', 7, 354);
size_of::<(char, u8, i32)>(); // 打印结果 12
align_of::<(char, u8, i32)>(); // 打印结果 4
该元组由三个元素构成——char、u8和i32，由1 基本类型中可知char占4 bytes，u8占1 byte， i32占4bytes，那么初步计算出来这个tuple占用的总内存应为4+1+4 = 9 bytes。接着，Rust会选择Tuple中对齐值最大的元素为a该元组的对齐值，由此上例alignment是4。有了整体对齐值，Rust会在内存中加入一段填充(padding)来让整体内存占用是alignment的整数倍，本例中加在u8与i32中间是为了保障i32自身的内存对齐。
由于Rust有多种数据排布风格（默认的Rust风格，还有C语言风格，primitive和transparent风格），在Rust风格中，Rust可以对元组中的元素做任意重排，也包括padding的位置，因而图中的排列只是一种可能，也许i32和char的位置在Rust中会进行互换，Rust是根据其优化算法做出其认为最优的排序，对最终排序结果并没有统一规则。

上图为该tuple的内存分布图。

三、引用 Reference

引用 reference 是Rust中的一个重要概念，相关规则也是支撑了Rust内存安全的重要支柱。我们来看下面的例子。

let a: i8 = 6;
let b : &i8 = &a;

a 是一个i8，b是一个指向 a 的reference，我们可以看下他俩的内存分布。

首先，Rust会在栈上分配一个大小为1byte的i8存储a，接着会在内存另外一个空间（不一定和a连续）分配b，b中存储的内存空间会指向a所在的内存空间，同时b的内存占用大小即pointer的大小。

需要注意的是，&T和&mut T在内存分布上规则一致，他们的区别是在使用方式和编译器处理方式上。

 

四、Array数租 和 Vector动态数组

接下来我们来看看Rust的数组Array和动态数组Vector的内存分布，以下面的数组和动态数组为例。


let a: [i8; 3] = [1, 2, 3];
let b: Vec<i8> = vec![1, 2, 3];

数组Array是固定大小的，所以在创建的时候都指定好了长度；动态数组Vector，由其名字就可以知道他是可以自由伸缩的，那么我们来看看Rust是怎么在内存上存储这两位数据结构的。

对于Array a，由于他固定大小为3个i8，Rust即在栈上为其分配了3 * 1 byte个内存。
对于Vector b就有点特殊啦，他会由如下三个部分组成：

  1. pointer : pointer b会指向vector b在堆上的实际数据（目前是1, 2, 3 共3 * 1 byte），

  2. cap（图中上标32代表这个值和机器位数有关，最后复习一次哦）: cap代表最多多少个T(本例中T是i8）的内存可以在堆上让这个动态数组使用，默认大小为创建时的T个数，可根据使用需求自动扩容，但每次扩容时会带来reallocate影响到性能。

  3. len (1 machine word)，代表目前有多少个T（本例中T是i8）的内存真实被该动态数组使用。

以上即可看到数组和动态数组由于在“动态”这个特点上的不同，出现的内存分布差异啦。

 

4.1 Slice 数组切片

接下来，我们通过Array和Vector来看下Rust中切片的内存分布实现。
假设我们想获取到上面例子中a和b两个Array和Vector的前两个元素。

let slice_1: [i32] = a[0..2];
let slice_2: [i32] = b[0..2];

然而，对于[i32]，Rust没法在编译时明确这个变量需要多少内存，因而也没法在栈上分配内存，因而上例中的slice_1和slice_2实际上会编译失败。这样的变量称之为dynamically sized type，后续会讲到string slice和trait object也属于这个范畴。

因而，通常我们使用一个reference来指向一个Slice切片，让我们看下例

let slice_1: &[i32] = &a[0..2]
let slice_2: &[i32] = &b[0..2]

当reference指向dynamically sized type时，Rust实际会使用到一个胖指针（fat pointer），其中包含：

  1. pointer (1 machine word)：指向实际被切片的数据。

  2. length (1 machine word): 切片长度，即有多少个T(本例中T为i32)。

我们可以看下上述例子的内存分布图。

五、String, str, &str

接下来让我们来看下String, str 和&str的内存分布。以一个例子开始吧。

let s1: String = String::from(“HELLO”);
let s2: &str = “ЗдP”;  // д -> Russian Language
let s3: &str = &s1[1..3];

首先，s1是一个String，String实质上就是Vec的一个包装，其中也是在栈上有一个指针 + cap( 1 machine word ) + len ( 1 machine word )，指针指向了该String实际在堆上的值。String是保证UTF-8兼容的。

如果我们直接在变量中存了一个字符串字面值(string literal)，例如s2，那么这个变量会是一个指向string slice的指针。这个string数据不会存储在堆heap上，而是会直接存在编译后的二进制中，同时他们具有static生命周期，即直到程序结束前都不会被释放。如同前面讲的slice以后，&str也同样是个胖指针，同时包含了实际数据的内存地址和数据长度(一共2 machine words）。这里的例子里用了一个特殊字符д，由于UTF-8是一种可变长的编码方式，这里可以看到д就用了2个byte来表达。
s3的情况与4.1中类似，使用到一个胖指针（fat pointer），其中包含：

  1. pointer (1 machine word)：指向实际被切片的字符串。

  2. length (1 machine word): 切片长度。

六、Struct

Rust有三种结构体类型定义方式：

 

6.1 unit-like Struct

struct Data

由于并没有定义Data结构体的细节，Rust也不会为其分配任何内存。

 

6.2 Struct with named fields && tuple-like struct

这两种结构体的内存分配方式是类似的，我们来看一个例子就好。

struct Data 
   nums: Vec<usize>,
   dimension: (usize, usize),

首先，nums是Vec，占用3个 machine word（pointer + cap + len），pointer指向heap上实际动态数组的值；dimension是两个usize组成的tuple，占用2个machine word。由于之前谈到，Rust风格的数据排布是可以做任意重排的，所以具体的padding在图中就并没有画出了。

七、Enum


enum HTTPStatus 
   Ok,
   NotFound,

对于C-style enum，在内存中，rust会根据该enum中最大的数来选择内存占用最小的int来存储，此例中没有指定就会默认Ok为0，NotFound为1，Rust选择占用1 byte的i8来存储enum。

同时，每个Enum的整数值是可以指定的，例如：

enum HttpStatus 
   Ok = 200,
  NotFound = 404,
本例中，Rust会选择占用2 byte的i16来存储enum（以满足存储404）。
接着我们来看更复杂一些的Enum：

 Empty,
  Number(i32),
  Array(Vec<i32>),
 
对于这类有具体数据结构的Enum，每一个Enum中的元素都有一个 1 byte的tag，tag用于标识属于Enum中具体哪个变量。此例中，Empty的话tag为0，而Empty后的内存空间都是为了满足对齐要求而构造的padding，后续的i32和Vec均和之前介绍的分布一样，在enum中它们有不同的几点：加入了1 byte tag以及padding，因而也可以看到每一个Enum所占的空间由其中占用空间最大的变量所决定，如果要优化Enum的空间占用，可以从削减其中最大元素做起。
（padding的位置是不固定的，Rust会根据具体数据结构的内存分布调整padding位置以做优化）

 

7.1 Option

Rust中的Option实质上是便是一种Enum，我们可以看下Option的定义：

pub enum Option<T> 
  None,
  Some(T),
Rust通过None和Some的区分，避免了其他语言中可能发生的空指针访问问题。我们可以看下Option<Box<i32>>这个例子，稍后我们会仔细介绍Box，在这里你可以先理解Box会将原来的i32从栈放到堆，然后Box会是一个指针指向原来的i32新的堆的地址。

由于pointer本身只占1 machine word，而tag的存在多了1 byte，导致Rust需要根据对齐值加入paddign使其对齐，使得整体内存占用提升，很明显这里有可以优化的空间。于是，Rust对于类似Box这样的不允许为null的SmartPointer，Rust进行了如下优化：

如此，整体内存占用降到了1 machine word。如果该Option值为0，那么Rust就知道他是None，如果非0，那么Rust就知道他是Some，通过这样省去了tag的作用并且节省了内存空间消耗。

八、Box

对于通常默认分配在栈上的变量，使用 Box 可以将其分配到堆上，栈空间上只用分配指向堆数据的指针。
我们以一个tuple为例let t: (i32, String) = (5, “Hello”.to_string); ，在没有经过Box处理前，它的内存分布如下图：


（图中省去了padding）
如果我们将该数据结构放到Box b中，即

let t: (i32, String) = (5, “Hello”.to_string);
let mut b = Box::new(t);
内存分布则如下图：

可以看到，原本在栈上的内容都被转移到Heap上，减少了我们在栈上的内存空间消耗。

基础篇在这里就完结啦，后续会继续展开进阶篇，对Rust的Copy&Move, 智能指针, Arc等特性做进一步展开。
参考链接：
[1]https://web.mit.edu/rust-lang_v1.25/arch/amd64_ubuntu1404/share/doc/rust/html/book/first-edition/the-stack-and-the-heap.html
作者|吴超(律霜)

用了这么多年CSS，终于知道是怎么工作的了

我们每天都在与CSS打交道，那么CSS的原理是什么呢？

一、浏览器渲染

开篇，我们还是不厌其烦的回顾一下浏览器的渲染过程，先上图：


用了这么多年CSS，终于知道是怎么工作的了

用了这么多年CSS，终于知道是怎么工作的了正如上图所展示的，我们浏览器渲染过程分为了两条主线：

以上是关于用了这么多年Rust终于搞明白了内存分布！的主要内容，如果未能解决你的问题，请参考以下文章

用了这么多年分页PageHelper

java分布式需要学什么技术，终于搞明白了

java在线运行工具，终于搞明白了

别再说你不会JVM性能监控和调优了，终于搞明白了

三分钟搞明白Java内存分布，再也不怕了！！！

三分钟搞明白Java内存分布，再也不怕了！！！