为什么“Allocator.allocate”会分发“NonNull<[u8]>”...但是“deallocate”接受“NonNull<u8>”？[复制]

问：

正如标题所说。

pub unsafe trait Allocator {
    fn allocate(&self, layout: Layout) -> Result<NonNull<[u8]>, AllocError>;
    unsafe fn deallocate(&self, ptr: NonNull<u8>, layout: Layout);
}

两个必需的方法都采用不同的指针类型，这对我来说似乎很奇怪。为什么会做出这样的选择？Allocator

此外，为什么选择和？为什么不同时拥有 OR 两种方法呢？u8[u8]NonNull<()>NonNull<[()]>

我的理解是，选择 or 是个好主意，因为它具有实际可以分配的最不严格的布局要求（因为要求为非零）。但是，我认为每次都需要一个演员表可能是一个更好的设计选择。[u8]u8Layoutalign