Rust 原始数组数据类型的默认trait实现

发布于01月03日

如何通过派生Default trait来初始化一个默认值为i32(0)的整数数组[i32; 100]？我写了这段代码:

#[derive(Default)]
struct A {
    a: i32,
    arr: [i32; 100],
}

但是编译器拒绝它，并返回以下错误:

error[E0277]: the trait bound `[i32; 100]: Default` is not satisfied
 --> src/main.rs:4:5
  |
1 | #[derive(Default)]
  |          ------- in this derive macro expansion
...
4 |     arr: [i32; 100],
  |     ^^^^^^^^^^^^^^^ the trait `Default` is not implemented for `[i32; 100]`
  |
  = help: the following other types implement trait `Default`:
            [T; 0]
            [T; 1]
            [T; 2]
            [T; 3]
            [T; 4]
            [T; 5]
            [T; 6]
            [T; 7]
          and 27 others
  = note: this error originates in the derive macro `Default` (in Nightly builds, run with -Z macro-backtrace for more info)

推荐答案

Default目前仅适用于长度最大为32的T: Defaultarray.这是Rust拥有常量泛型之前的历史限制，因此编译器不能使用单个实现覆盖多个数组长度.

Rust repo(Use const generics for array Default impl)中有一个开放的问题，要为任何N实现[T; N]: Default，但截至2024年，这是一个正在进行的工作.

您必须为您的 struct 手动实现Default:

struct A {
    a: i32,
    arr: [i32; 100],
}

impl Default for A {
    fn default() -> Self {
        A {
            a: Default::default(),
            arr: [Default::default(); 100],
        }
    }
}