如何在Rust中在堆上创建大型可变数组？

问题根源：Box::new([42; 1000000])会先在栈上创建完整的数组实例，再将其移动到堆内存中。当数组尺寸超过栈的默认容量（通常为几MB）时，就会触发栈溢出错误（SIGSEGV）。

以下是两种符合要求的替代方案：

方案一：堆上直接初始化未定义数组 #

通过Box::new_uninit()直接在堆上分配未初始化的数组空间，再手动填充值，彻底避免栈上创建大数组：

use std::mem;

fn main() {
    // 在堆上分配未初始化的数组空间
    let mut uninit_box = Box::new_uninit::<[i32; 1000000]>();

    unsafe {
        // 获取数组的原始指针
        let ptr = uninit_box.as_mut_ptr() as *mut i32;
        // 循环填充所有元素为42
        for idx in 0..1000000 {
            ptr.add(idx).write(42);
        }
        // 标记数组为已初始化，得到可用的Box<[i32; 1000000]>
        let mut a = uninit_box.assume_init();
        a[1] = 42;
        assert!(a.len() > 0);
    }
}

注意：此方案涉及unsafe代码，必须确保所有元素都被正确初始化后再调用assume_init()，否则会触发未定义行为。

方案二：静态存储区分配数组 #

如果数组大小固定且编译期可知，可以将数组放在静态存储区。若需要可变操作，可使用static mut：

// 在静态存储区分配数组，默认初始化为42
static mut BIG_ARRAY: [i32; 1000000] = [42; 1000000];

fn main() {
    unsafe {
        BIG_ARRAY[1] = 42;
        assert!(BIG_ARRAY.len() > 0);
    }
}

注意：static mut属于全局可变状态，单线程下可直接使用，多线程环境下需要配合同步机制（如std::sync::Mutex）保证线程安全。

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