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

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中访问未初始化的值是未定义的行为,并且编译器无法保证1.38.0在读取之前将初始化每个值.

你不能收集到一个数组,但如果你有一个数组mem::MaybeUninit,你可以做:

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

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

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