`MaybeUninit`两种数组初始化方式的差异及文档疑问

两者当前是否有差异？ #

在当前稳定版Rust中，这两种写法没有实际差异。通过Godbolt测试可见，它们生成的汇编完全一致，运行时行为也完全相同——都是创建一个由N个未初始化MaybeUninit<T>实例组成的数组。

文档为何推荐前者？ #

这是历史遗留原因。早期Rust版本中，MaybeUninit<T>并未正确实现Copy trait，此时使用数组重复初始化语法[MaybeUninit<T>::uninit(); N]会触发元素级的复制操作，而复制未初始化的MaybeUninit实例在当时属于未定义行为，存在安全风险。

官方文档最初推荐的写法unsafe { MaybeUninit::<[MaybeUninit<T>; N]>::uninit().assume_init() }，是通过直接初始化整个数组对象来规避元素复制的问题，从根源上避免了潜在的未定义行为。

是否需要更新文档？ #

是的，现在应该更新文档。随着Rust的迭代，MaybeUninit<T>已经被调整为实现了Copy trait（复制未初始化内存的操作被认定为安全），[MaybeUninit<T>::uninit(); N]这种简洁写法现在是完全安全且高效的。文档应该同步更新，要么推荐更简洁的写法，要么明确说明两种写法当前是等价的，避免给开发者造成不必要的困惑。

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