使用MaybeUninit时如何移除Copy trait约束？

原来的代码中，new方法依赖V: Copy是因为解引用未初始化数组时，编译器需要元素实现Copy才能完成数组复制，且这种写法本身存在未定义行为——直接假设未初始化数组已完全初始化，同时移动未初始化的非Copy类型元素是非法的。

要消除Copy约束，我们可以直接操作整个Foo结构体的内存，避免单独处理数组元素的复制/移动：

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

struct Foo<V> {
    a: [V; 10],
}

impl<V> Foo<V> {
    pub fn new() -> Self {
        unsafe {
            // 创建未初始化的Foo内存占位
            let uninit_foo = MaybeUninit::<Foo<V>>::uninit();
            // 直接读取整个Foo内存块，绕过数组元素的移动逻辑
            ptr::read(uninit_foo.as_ptr())
        }
    }
}

关键说明 #

• 通过MaybeUninit::<Foo<V>>::uninit()创建未初始化的Foo内存占位，由于Foo的内存布局等价于内部的[V;10]，这种操作在内存布局层面是合法的。
• 使用ptr::read直接读取整个Foo的内存地址，避免了对数组元素的逐个移动，因此不再需要V实现Copy。
• 注意：这个new方法仍然是不安全的，返回的Foo中所有数组元素均未初始化，直接访问会触发未定义行为，必须在后续代码中正确初始化每个元素后才能使用。

内容的提问来源于stack exchange，提问作者yegor256