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

我有一个由同一个结构以不同方式实现的特征。为了实现这一点,我有不同的结构,它们具有不同的实现。对于抽象,我将把这些结构称为 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。

回答

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

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

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

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

在这里,boolu32刚刚成为编译时标志来选择的实现Trait要使用。

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

我在这里使用boolu32,但你可以在这里使用你自己的类型来使一切更清晰。

  • You can use empty structs like `struct VariantA;` instead of primitive types like `bool` for the generic trait; this might make it clearer and eliminate concerns with scalability.

以上是如何使用特征的不同实现实例化相同的结构?的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>