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

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

let mut ys: [i32; 1000] = unsafe { std::mem::uninitialized() };

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

您cannot collect into an array，但如果您有Vec，则可以这样做：

let ys: Vec<_> = xs.iter().map(|&x| x / 3).collect();

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

let mut ys = xs.clone();
for y in ys.iter_mut() { *y = *y / 3 }

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

1 个答案: