如何将装箱数组切片Box<[[T;SIZE]]>扁平化为Box<[T]>？

开发者阿泽

2026-8-16

如何将Box<[[T; SIZE]]>原地扁平化为Box<[T]>？

可以实现，且无需拷贝内存，但必须使用unsafe代码手动调整切片的元数据（即切片长度）——直接强制转换会导致切片记录的长度错误，因为Box<[[T; SIZE]]>的元数据存储的是外层数组的元素个数（即有多少个[T; SIZE]），而我们需要将其修改为总元素数：外层长度 × SIZE。

实现原理

Box<[[T; SIZE]]>指向的堆内存本身就是连续排列的T类型数据（每个[T; SIZE]数组在内存中是连续的，且多个数组之间也连续存放），因此只需修改切片的长度元数据，即可将其视为Box<[T]>。

代码实现

use std::ptr;

fn flatten_boxed_array<T, const SIZE: usize>(boxed: Box<[[T; SIZE]]>) -> Box<[T]> {
    let outer_len = boxed.len();
    let total_len = outer_len * SIZE;

    // 将Box转换为原始指针，放弃原有Box的所有权
    let raw_outer = Box::into_raw(boxed);
    // 将外层数组指针转换为指向T的指针（内存布局连续，类型转换安全）
    let raw_t = raw_outer as *mut T;

    // 手动构造正确长度的切片指针，并转换为Box<[T]>
    unsafe {
        Box::from_raw(ptr::slice_from_raw_parts_mut(raw_t, total_len))
    }
}

关键unsafe说明

Box::into_raw：获取原始指针后，原Box不再管理内存，后续必须由新的Box接管，避免内存泄漏。
指针类型转换：*mut [[T; SIZE]]转*mut T是安全的，因为[[T; SIZE]]的内存布局就是连续的T元素，无额外填充（除非T使用了特殊内存布局如#[repr(packed)]，这种情况需额外验证）。
ptr::slice_from_raw_parts_mut：必须保证计算的total_len准确，否则会导致切片越界访问；这里通过外层长度乘以数组大小得到总元素数，逻辑正确。
Box::from_raw：接管原始指针的所有权，确保后续内存会被正确释放（新Box会按照total_len个T元素的大小来释放内存）。