面试题：Rust静态值内存布局优化与底层机制

编译期优化：
- 常量传播：如果数组元素是编译期常量，编译器会在编译时计算并直接嵌入数组的值，减少运行时的初始化开销。例如，如果数组是static ARRAY: [i32; 1000] = [1; 1000];，编译器可以直接将1000个1嵌入到生成的二进制文件中。
- 死代码消除：如果在编译期可以确定数组的某些部分永远不会被访问，编译器会优化掉这些部分，节省内存空间。
运行时优化：
- 延迟初始化：对于大型静态数组，Rust可能采用延迟初始化策略。只有在首次访问数组元素时，才真正分配内存并进行初始化，这可以避免程序启动时不必要的内存分配和初始化开销。

内存分配：
- 静态数组在编译时就确定了其内存布局和大小。在运行时，它们被分配在静态数据段（.rodata用于只读数据，.data用于可写数据）。例如，对于static mut ARRAY: [i32; 1000000] = [0; 1000000];，会在.data段分配4MB（假设i32为4字节）的连续内存空间。
初始化：
- 编译期常量初始化：如static ARRAY: [i32; 1000] = [1; 1000];，编译器在编译时就将1000个1填充到相应的内存位置。
- 运行时初始化：对于包含非编译期常量初始化的静态数组，例如依赖于环境变量等，会在程序启动时按照顺序初始化数组元素。
访问：
- 静态数组的访问通过数组索引进行。在底层，索引会被转换为内存地址偏移量。例如，对于ARRAY[i]，计算出ARRAY的基地址加上i * sizeof(i32)的偏移量来访问对应元素。

#[repr(C)]：
- 使用#[repr(C)]属性，可以使数组按照C语言的内存布局规则进行布局。这在与C语言代码交互时非常有用，因为C语言的内存布局规则是标准化的。例如：
```
#[repr(C)]
static ARRAY: [i32; 1000] = [0; 1000];
```
- 这样布局可以确保数组元素之间没有额外的填充字节，并且按照顺序紧密排列，符合C语言的布局习惯。
#[repr(packed)]：
- #[repr(packed)]属性用于最小化结构体或数组的内存占用，通过移除结构体或数组元素之间的填充字节来实现。例如：
```
#[repr(packed)]
struct SmallStruct {
    a: u8,
    b: u16,
}
static ARRAY_OF_STRUCTS: [SmallStruct; 1000] = [SmallStruct { a: 0, b: 0 }; 1000];
```
- 在这个例子中，SmallStruct原本可能因为对齐要求在a和b之间有填充字节，但#[repr(packed)]移除了这些填充，使得数组整体占用空间更小。然而，这可能会导致在某些硬件平台上的访问效率降低，因为未对齐的内存访问可能更慢。

星途面试题库