如何使用特征的不同实现实例化相同的结构？

Question

我有一个由同一个结构以不同方式实现的特征。为了实现这一点，我有不同的结构，它们具有不同的实现。对于抽象，我将把这些结构称为 AZ：

trait Trait {
    fn bar<T: Trait> (&self, z: &Struct3<T>) -> Struct3<T>;
}

struct StructA {
    name: String,
    color: String,
}
impl Trait for StructA {
    fn bar<T: Trait> (&self, z: &Struct3<T>) -> Struct3<T>{

        let mut list = Vec::new();
        list.push(self.clone());

        let y = Struct2::<T> {
            name: z.y.name,
            list: list,
        };

        Struct3::<T> {
            point: 1,
            y: y,
        }
    }
}

struct StructZ {
    name: String,
    color: String,
}
impl Trait for StructZ {
    fn bar<T: Trait> (&self, z: &Struct3<T>) -> Struct3<T>{

        let mut list = Vec::new();
        list.push(self.clone());

        let y = Struct2::<T> {
            name: z.y.name,
            list: list,
        };

        Struct3::<T> {
            point: 26,
            y: y,
        }
    }
}

有没有另一种方法来解决这个问题，以便结构的每个实例都有不同的特征实现，或者制作一个新的结构是最好的方法？

我是编译语言的新手。我所做的大部分工作都是使用 Python 和 TypeScript。

Answer 1

一种方法是使您的 trait 对某种类型具有泛型（即使该类型实际上并未在 trait 内使用）。

trait Trait<T> { /* ... */ }

这使您可以为同一个结构多次实现它。

impl Trait<bool> for Struct { /* ... */ }
impl Trait<u32> for Struct { /* ... */ }

在这里，bool和u32刚刚成为编译时标志来选择的实现Trait要使用。

let struct_3a = Trait::<bool>::bar(&my_object, /* ... */);
let struct_3b = Trait::<u32>::bar(&my_object, /* ... */);

我在这里使用bool和 u32，但你可以在这里使用你自己的类型来使一切更清晰。