Question

声明包含数组的结构，然后创建零初始化实例的推荐方法是什么？

这是结构：

#[derive(Default)]
struct Histogram {
    sum: u32,
    bins: [u32; 256],
}

和编译器错误：

error[E0277]: the trait bound `[u32; 256]: std::default::Default` is not satisfied
 --> src/lib.rs:4:5
  |
4 |     bins: [u32; 256],
  |     ^^^^^^^^^^^^^^^^ the trait `std::default::Default` is not implemented for `[u32; 256]`
  |
  = help: the following implementations were found:
            <[T; 14] as std::default::Default>
            <&'a [T] as std::default::Default>
            <[T; 22] as std::default::Default>
            <[T; 7] as std::default::Default>
          and 31 others
  = note: required by `std::default::Default::default`

如果我尝试为数组添加缺少的初始值设定项：

impl Default for [u32; 256] {
    fn default() -> [u32; 255] {
        [0; 256]
    }
}

我明白了：

error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
 --> src/lib.rs:7:5
  |
7 |     impl Default for [u32; 256] {
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ impl doesn't use types inside crate
  |
  = note: the impl does not reference any types defined in this crate
  = note: define and implement a trait or new type instead

我做错了吗？

Answer 1

Rust没有为所有数组实现Default，因为它没有非类型多态性。因此，Default仅适用于少数几种尺寸。

但是，您可以为您的类型实现默认值：

impl Default for Histogram {
    fn default() -> Histogram {
        Histogram {
            sum: 0,
            bins: [0; 256],
        }
    }
}

注意：我认为为Default实施u32是可疑的;为什么0而不是1？还是42？没有好的答案，所以没有明显的默认。

Answer 2

我担心你不能这样做，你需要自己为你的结构实施Default：

struct Histogram {
    sum: u32,
    bins: [u32; 256],
}

impl Default for Histogram {
    #[inline]
    fn default() -> Histogram {
        Histogram {
            sum: 0,
            bins: [0; 256],
        }
    }
}

数字类型与此情况无关，更像是固定大小数组的问题。他们仍然需要通用的数字文字来支持这种事物。

Answer 3

如果您确定将每个字段初始化为零，则可以使用：

impl Default for Histogram {
    fn default() -> Histogram {
        unsafe { std::mem::zeroed() }
    }
}

Answer 4

事实上，在撰写本文时，标准库中仍然支持定长数组：

https://github.com/rust-lang/rust/issues/7622

如何在Rust中默认初始化包含数组的结构？

4 个答案: