Rust泛型数组转换报错：无法移出非Copy类型`[T; D]`数组

你通过FFI初始化数组时使用了MaybeUninit数组，尝试通过指针转换将其转为普通数组返回，但遇到了E0508: cannot move out of type [T; D], a non-copy array错误。原代码如下：

use std::mem::MaybeUninit;

#[allow(unused)]
fn init_with_ffi<T>(data: &mut [T]) {
    todo!();
}

fn get_array<T, const D: usize>() -> [T; D] {
    let mut my_array: [MaybeUninit<T>; D] = unsafe {
        MaybeUninit::uninit().assume_init()
    };
    init_with_ffi(&mut my_array[..]);
    unsafe {
        *(&mut my_array as *mut [MaybeUninit<T>; D] as *mut [T; D])
    }
}

错误原因 #

编译器报错的核心是：当你解引用*mut [T; D]指针时，Rust会尝试移动指针指向的数组值。对于元素类型T未实现Copy的数组，数组本身也不会实现Copy trait，此时移动非Copy数组的操作会被编译器阻止——即使你知道内存内容已经合法初始化，编译器也无法通过类型系统确认这一点，只能严格遵循移动语义的规则。

解决方案 #

方案1：使用ptr::read读取指针值

在unsafe块中，用std::ptr::read从指针读取数组的所有权，绕开直接解引用的移动限制。这种方式适用于所有支持const泛型的Rust版本：

use std::mem::MaybeUninit;
use std::ptr;

#[allow(unused)]
fn init_with_ffi<T>(data: &mut [T]) {
    todo!();
}

fn get_array<T, const D: usize>() -> [T; D] {
    let mut my_array: [MaybeUninit<T>; D] = unsafe {
        MaybeUninit::uninit().assume_init()
    };
    init_with_ffi(&mut my_array[..]);
    
    unsafe {
        // 读取指针指向的数组，获取所有权
        ptr::read(&my_array as *const [MaybeUninit<T>; D] as *const [T; D])
    }
}

说明：ptr::read会直接从内存中取出值，原MaybeUninit数组的内存不会被自动Drop（因为MaybeUninit的Drop逻辑是空操作），只要确保FFI已经完全初始化了数组的所有元素，就不会有安全问题。

方案2：使用标准库的array_assume_init（推荐）

Rust 1.61及以上版本提供了MaybeUninit::array_assume_init方法，专门用于将已初始化的MaybeUninit数组转换为普通数组，写法更简洁且更符合标准库规范：

use std::mem::MaybeUninit;

#[allow(unused)]
fn init_with_ffi<T>(data: &mut [T]) {
    todo!();
}

fn get_array<T, const D: usize>() -> [T; D] {
    // 直接创建未初始化的MaybeUninit数组
    let mut my_array = MaybeUninit::uninit_array::<D>();
    init_with_ffi(&mut my_array[..]);
    
    unsafe {
        // 确认数组已完全初始化后转换为普通数组
        MaybeUninit::array_assume_init(my_array)
    }
}

说明：uninit_array是MaybeUninit::uninit().assume_init()的安全替代，array_assume_init在unsafe块内隐含了“数组所有元素已初始化”的断言，比手动指针转换更不容易出错。

内容的提问来源于stack exchange，提问作者Emil Sahlén