有没有办法不必两次初始化数组？

Question

我需要将数组的每个元素初始化为非常量表达式。我是否可以这样做而无需先将数组的每个元素初始化为一些无意义的表达式？以下是我希望能够做到的一个例子：

fn foo(xs: &[i32; 1000]) {
    let mut ys: [i32; 1000];

    for (x, y) in xs.iter().zip(ys.iter_mut()) {
        *y = *x / 3;
    }
    // ...
}

此代码给出了编译时错误：

error[E0381]: borrow of possibly uninitialized variable: `ys`
 --> src/lib.rs:4:33
  |
4 |     for (x, y) in xs.iter().zip(ys.iter_mut()) {
  |                                 ^^ use of possibly uninitialized `ys`

要解决这个问题，我需要更改函数的第一行，用一些虚拟值初始化ys的元素，如下所示：

let mut ys: [i32; 1000] = [0; 1000];

有没有办法省略额外的初始化？在unsafe区块中包装所有内容似乎没有任何区别。

Answer 1

注意：这是一个古老的答案，qazxsw poi已在qazxsw poi中弃用：使用qazxsw poi代替

---

在某些情况下，您可以使用std::mem::uninitialized：

1.38.0

这是不安全的，因为在Rust中访问未初始化的值是未定义的行为，编译器无法保证mem::MaybeUninit的每个值在读取之前都会被初始化。如果数组内部的类型（此处为std::mem::uninitialized）对所有可能的位模式无效，它也可能很容易导致未定义的行为。这意味着像let mut ys: [i32; 1000] = unsafe { std::mem::uninitialized() }; 这样的东西是立即未定义的行为，无论你以后对数组做了什么。

你ys，但如果你有一个i32，你可以这样做：

std::mem::uninitialized::<[&i32; 1]>()

对于您的特定问题，您还可以克隆传入的数组，然后将其变异：

cannot collect into an array