rust - 如何为通用结构实现默认值？

Question

我有一个通用结构，想提供一个具体的默认实现，它也将允许用户覆盖默认字段的值，但我遇到了编译错误:

struct MyStruct<A, B, C> {
    pub a: A,
    pub b: B,
    pub c: C,
}

impl<A, B, C> MyStruct<A, B, C>
where
    A: Trait1,
    B: Trait2,
    C: Trait3,
{
    pub fn foo() {}
}

trait Trait1 {}
trait Trait2 {}
trait Trait3 {}

我可以显式地创建 MyStruct 的实例:

struct SomeA();
impl Trait1 for SomeA {}
struct SomeB();
impl Trait2 for SomeB {}
struct SomeC();
impl Trait3 for SomeC {}

let a = SomeA();
let b = SomeB();
let c = SomeC();

let my_struct = MyStruct { a: a, b: b, c: c }; // compiles

现在我想实现 Default，这也将允许在必要时使用不同的值覆盖特定字段(允许部分默认？)。不确定语法:

impl Default for MyStruct<SomeA, SomeB, SomeC> {
    fn default() -> Self {
        ...
    }
}

Playground

Answer 1

如果 A、B 和 C 都实现了 ，您可以通过仅实现 Default 来实现这一点>默认:

impl <A, B, C> Default for MyStruct<A, B, C> where A: Default, B: Default, C: Default {
    fn default() -> Self {
        Self {
            a: A::default(),
            b: B::default(),
            c: C::default(),
        }   
    }   
}