我想初始化一个固定大小的数组，其中包含一些可为空、不可复制类型，例如Option<Box<Thing>>这样的一些Thing。我希望将其中两个打包到一个结构体中，而不需要任何额外的间接性。我想写出如下代码:
let array: [Option<Box<Thing>>; SIZE] = [None; SIZE];
但它不起作用，因为[e;n]语法要求e实现Copy。当然，我可以将其扩展为SIZE None，但是当SIZE很大时，这可能会变得笨拙。我不相信可以使用宏来完成这个操作，而不需要对SIZE进行unnatural的编码。有没有一个好方法可以做到这一点？
是的，使用unsafe很容易；但是否有一种不使用unsafe的方法呢？
std::array::from_fn()函数。const SIZE: usize = 100;
let array: [Option<Box<Thing>>; SIZE] = std::array::from_fn(|_| None);
如果您需要支持较旧的Rust版本，或者需要初始化一个static，可以使用一种替代方法，使用中间的const初始化器，该方法从Rust 1.38（于2019年9月发布）开始可用：
const SIZE: usize = 100;
const INIT: Option<Box<Thing>> = None; // helper
// also works with static array
let array: [Option<Box<Thing>>; SIZE] = [INIT; SIZE];
这两种方法都可以使用或不使用Box；示例中使用Box是因为问题中使用了它。这两种方法适用于任意大小的数组。
第二种（较旧的）方法的限制是数组项必须具有可以在编译时求值的默认表示 - 常量、枚举变体或由它们组成的原始容器。 None或数字元组可以工作，但非空的Vec或String则不行。 from_fn()方法没有这样的限制。
您可以使用Default特质来使用默认值初始化数组：
let array: [Option<Box<Thing>>; SIZE] = Default::default();
Default::default只实现了长度为[T; 32]的数组。详情请访问https://doc.rust-lang.org/std/default/trait.Default.html#impl-Default-for-%5BT%3B%2032%5D。SIZE是一个通用参数，那么这种方法就行不通了，因为该参数可能超过32。 - mallwright无法使用外部函数的通用参数- Andrew Arnott
const SIZE: usize = 100;
#[derive(Debug)]
struct THING { data: i64 }
let array = [(); SIZE].map(|_| Option::<THING>::default());
for x in array {
println!("x: {:?}", x);
}
[T]::map() 被定义为返回与输入相同大小的数组，因此只需要关注一个大小即可。 - Alejandro González我正在复制chris-morgan的答案，并对其进行修改以更好地适应问题，遵循dbaupp在下文中的建议，并匹配最近的语法更改：
use std::mem;
use std::ptr;
#[derive(Debug)]
struct Thing {
number: usize,
}
macro_rules! make_array {
($n:expr, $constructor:expr) => {{
let mut items: [_; $n] = mem::uninitialized();
for (i, place) in items.iter_mut().enumerate() {
ptr::write(place, $constructor(i));
}
items
}}
}
const SIZE: usize = 50;
fn main() {
let items = unsafe { make_array!(SIZE, |i| Box::new(Some(Thing { number: i }))) };
println!("{:?}", &items[..]);
}
unsafe：问题在于，如果构造函数panic！，这将导致未定义的行为。如果您可以创建一个包含您类型的 Vec，您可以将其转换为数组：
use std::convert::TryInto;
#[derive(Clone)]
struct Thing;
const SIZE: usize = 100;
fn main() {
let v: Vec<Option<Thing>> = vec![None; SIZE];
let v: Box<[Option<Thing>; SIZE]> = match v.into_boxed_slice().try_into() {
Ok(v) => v,
Err(_) => unreachable!(),
};
let v: [Option<Thing>; SIZE] = *v;
}
Vec<T>、Box<[T]> 或 Box<[T; N]>，因为这些类型都将数据放在堆上。大型数组往往会很大，你不希望所有那些数据都在栈上。打出所有的值：
struct Thing;
const SIZE: usize = 5;
fn main() {
let array: [Option<Box<Thing>>; SIZE] = [None, None, None, None, None];
}
SIZE是通用的，它确实可以工作。 - mallwright#![feature(inline_const)]
let array: [Option<Box<Thing>>; SIZE] = [const { None }; SIZE];
inline-const crate，但这需要你重复类型。let arr: [Option<Box<i64>>; 1000] = std::array::from_fn(|_| None);
assert!(arr.iter().all(|item| item.is_none()));
使用arrayvec crate的另一种方法，可以轻松地推广到除了用固定值初始化所有内容之外的其他情况：
use arrayvec::ArrayVec;
let array = std::iter::repeat(None)
.take(SIZE)
.collect::<ArrayVec<Option<Box<Thing>>, SIZE>>()
.into_inner()
.unwrap();
[Option<Box<T>>; N]，您可以使用从[0; N]转换的transmute：http://is.gd/CC31YQ - oli_obk