Rust中如何实现同长度不同类型数组的无堆内存分配转换？

嘿，这个问题我之前也纠结过，正好来给你好好说说～你想把类型为[T; N]的数组转换成[U; N]，而且U实现了From<T>，还要求完全不碰堆内存对吧？

首先给你明确答案：稳定版Rust的标准库没有直接的语法糖，但有安全且零堆分配的实现方式，甚至还能避免unsafe代码。

最安全的标准库实现方式 #

Rust 1.53及以后的稳定版里，std::array::from_fn就能完美解决这个问题。它可以在编译时确保生成正确长度的数组，所有操作都在栈上完成，完全没有堆分配：

fn convert_array<T, U, const N: usize>(arr: [T; N]) -> [U; N]
where
    U: From<T>,
{
    std::array::from_fn(|i| U::from(arr[i]))
}

这个函数的逻辑很直白：遍历数组的每个索引，取出原数组对应位置的元素，用U::from转换后放到新数组的对应位置。编译器会帮我们做优化，最终的性能和手动循环几乎没差别。

追求极致性能的unsafe实现（可选） #

如果你想避免任何可能的额外开销（虽然上面的版本已经足够高效），也可以用MaybeUninit手动构造数组，跳过默认初始化的步骤——毕竟U可能没有实现Default trait：

fn convert_array<T, U, const N: usize>(arr: [T; N]) -> [U; N]
where
    U: From<T>,
{
    // 先创建一个未初始化的数组容器
    let mut result = std::mem::MaybeUninit::uninit();
    let ptr = result.as_mut_ptr() as *mut U;

    // 逐个转换并初始化每个元素
    for (i, item) in arr.into_iter().enumerate() {
        unsafe {
            ptr.add(i).write(U::from(item));
        }
    }

    // 确认所有元素都已初始化，取出结果
    unsafe { result.assume_init() }
}

这里的unsafe是安全的，因为我们严格保证了每个元素都被正确初始化，数组长度N是编译时已知的常量，不会出现越界或未初始化的情况。

为什么没有直接的语法糖？ #

你可能会问，为什么Rust不像Vec那样给数组提供map方法？其实nightly版里已经有array_map这个实验性特性了，代码可以写成这样：

#![feature(array_map)]

let nums: [i32; 3] = [10, 20, 30];
let unsigned_nums: [u32; 3] = nums.map(u32::from);

但它还没稳定到标准库，主要是语言设计上的几个考量：

• 数组的大小是类型的一部分（比如[i32; 2]和[i32; 3]是完全不同的类型），要给所有可能的数组长度实现map方法，需要处理大量泛型细节，还要和编译器的优化逻辑深度配合，确保零开销。
• Rust的设计哲学是“显式优于隐式”，直接提供语法糖可能会让开发者忽略“逐个元素转换”的语义，而通过from_fn或者手动实现，能更清晰地表达代码的行为。

总结 #

不管是用std::array::from_fn的安全方式，还是手动写unsafe的极致性能版本，都能做到完全无堆分配的数组转换，满足你的需求～

备注：内容来源于stack exchange，提问作者RBF06