如何将多个特征组合为"trait tuple"？

Question

我写了一个类似于的库

struct Foo<A: AppleTrait, B: BananaTrait, C: CarrotTrait> {...}
impl<A: AppleTrait, B: BananaTrait, C: CarrotTrait> Foo<A,B,C> {...}
struct Bar<A: AppleTrait, B: BananaTrait, C: CarrotTrait> {...}
impl<A: AppleTrait, B: BananaTrait, C: CarrotTrait> Bar<A,B,C> {...}
... and many more...

请注意，像<A: AppleTrait, B: BananaTrait, C: CarrotTrait>这样的东西总是聚在一起，并且已经出现了很多次。所以我想消除这样的负担。

因此，我希望我能做一些类似的事情：

define_the_trait_alias ABCTrait = (A: AppleTrait, B: BananaTrait, C: CarrotTrait); // How to do this?
struct Foo<ABC: ABCTrait> {...}
impl<ABC: ABCTrait> Foo<ABC> {...}

谢谢！

Answer 1

也许您可以使用关联类型而不是泛型。例如：

trait AbcTrait {
type Apple: AppleTrait;
type Banana: BananaTrait;
type Carrot: CarrotTrait;
}
struct Foo<Abc: AbcTrait> {
abc: Abc,
}
impl<Abc: AbcTrait> Foo<Abc> {}
struct Bar<Abc: AbcTrait> {
abc: Abc,
}
impl<Abc: AbcTrait> Bar<Abc> {}

在定义特性的具体实现时，您可以选择哪个具体类型实现特性请求的关联类型：

impl AbcTrait for Salad {
type Apple = GrannySmith;
type Banana = Cavendish;
type Carrot = LunarWhite;
}

Answer 2

您可以创建一个以A、B和C为关联类型的超级特征。然后为(A,B,C)实现该特性，并在需要指定类型时使用该特性，例如some_func_that_takes_type_params::<(StructA, StructB, StructC)>()。要访问A、B或C，请使用关联的类型：

trait SuperTrait{
type A: AppleTrait;
type B: BananaTrait;
type C: CarrotTrait;
}
impl<A: AppleTrait, B: BananaTrait, C: CarrotTrait> SuperTrait for (A,B,C)
{
type A = A;
type B = B;
type C = C;
}
struct Foo<D: SuperTrait> (std::marker::PhantomData<D>);
impl<D: SuperTrait> Foo<D> {
/// Example function that returns an A
fn return_a(&self) -> D::A{
todo!()
}
}