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);

有什么办法可以避免这样做吗？

Answer 1

不，不可能在恒定的上下文中使用特征。这仍在 RFC #2632 — Calling methods on generic parameters of const fns 中讨论。

也可以看看:

Can I use const with overloading operators in Rust?