rust - Rust 常量表达式可以使用 Default 之类的特征吗？

Question

此代码给出错误：

#[derive(Default)]
struct A {
    b: Option<()>,
    c: Option<()>,
}

const a: A = A {
    b: None,
    ..Default::default()
};

error[E0015]: calls in constants are limited to constant functions, tuple structs and tuple variants
 --> src/lib.rs:9:7
  |
9 |     ..Default::default()
  |       ^^^^^^^^^^^^^^^^^^

在这个小例子中这不是一个大问题，但是如果我有一个由多个实现该特征的结构组成的结构，Default那么不能使用它至少会带来不便。

虽然我可以写这个，但它没有提供的灵活性Default：

impl A {
    const fn new(b: Option<()>) -> Self {
        A { b, c: None }
    }
}

const a: A = A::new(None);

有没有办法避免这样做？

标签： rustconstantsdefault

Answer 1

..Default::default()语法不限于，因此Default::default()您可以编写一个const fn类似默认的函数并在常量内部使用它：

struct A {
    b: Option<()>,
    c: Option<()>,
}

impl A {
    const fn new() -> A {
        A {
            b: None,
            c: None,
        }
    }
}

impl Default for A {
    fn default() -> A {
        // implementing using new() instead of #[derive]
        // to avoid diverging implementations
        A::new()
    }
}

const a: A = A {
    b: None,
    ..A::new()
};

在操场上奔跑