为什么 Rust std：：alloc 分配的差距大于预期？

问：

如果我使用大小为 256 且对齐方式为 1024 的示例布局进行两次分配，我希望第二次分配在第一次分配之后为 1024 的第一个倍数（即 ptr2 - ptr1 == 1024）。相反，我发现两个分配之间存在两倍于 2048 字节大小的间隙。

use std::alloc::alloc;
use std::alloc::Layout;

fn main() {
    unsafe {
        let size = 256;
        let alignment = 1024
        let large_layout = Layout::from_size_align_unchecked(size, alignment);
        let ptr1 = alloc(large_layout) as usize;
        let ptr2 = alloc(large_layout) as usize;

        // I would expect this to print 1024, but it prints 2048...
        println!("Difference1: {}", ptr2 - ptr1);
    }
}

据我了解，对齐使得分配只出现在对齐的倍数处，这似乎是真的，但似乎还有其他事情正在发生。我知道 alloc 还需要一个空格字来表示 alloc 的大小，这在某些情况下可以解释为什么差距可能比预期的要大。但是，在大小 = 256 且对齐方式 = 1024 的情况下，分配之间应该有足够的空间允许它们背靠背分配？以下是我在不同大小和对齐方式的指针间隙之间进行实验的一些结果。我对这些例子感到困惑，似乎没有四舍五入到最接近的对齐方式，而是差距是我预期的两倍。

| size | alignment | gap  |
| ---- | --------- | ---- |
| 4    | 32        | 32   |
| 8    | 32        | 32   |
| 16   | 32        | 64   | ???
| 32   | 32        | 64   | 
| ---- | --------- | ---- |
| 4    | 64        | 64   |
| 8    | 64        | 64   |
| 16   | 64        | 64   |
| 32   | 64        | 128  | ???
| 64   | 64        | 128  | 
| ---- | --------- | ---- |
| 256  | 1024      | 2048 | ???
| 512  | 1024      | 2048 | ???
| 1024 | 1024      | 2048 | 
| ---- | --------- | ---- |