将泛型结构视为特征 object

Question

我有一个带有通用 T 的结构，我想为其创建一个包含该结构实例的向量，其中每个实例的 T 可以不同。 我意识到我可能需要使用一个盒子，并且可能需要将我的结构视为特征 object，但我不确定如何，因为它不是实现相同特征的不同结构的集合，而是具有相同结构的不同的泛型。 下面是我到目前为止所拥有的，希望能说明我想要实现的目标，它不起作用，因为 dyn 关键字似乎期望一个特征而不是一个通用结构。

struct Point<T> {
    x: T,
    y: T,
}

struct Points {
    points: Vec<Box<dyn Point>>,
}
fn main() {
    let points = Points {
        points: vec![Point { x: 1, y: 2 }, Point { x: 1.1, y: 2.2 }],
    };
}

Answer 1

“具有不同泛型的相同结构”的行为与“不同结构”非常相似。 在这里，在处理 trait 对象时，具体类型并不重要，这是 trait object 背后的关键思想。

例如：

trait Trait {
  fn foo(&self) -> &'static str;
}

struct Point<T> {
  x: T,
  y: T,
}

// you may have different impls for different generics
impl<T> Trait for Point<T> {
  fn foo(&self) -> &'static str {
    "a point"
  }
}

fn main() {
  let points: Vec<Box<dyn Trait>> = vec![
    Box::new(Point {x: 1, y: 2}),
    Box::new(Point {x: 1.1, y: 2.2}),
    Box::new(Point {x: (), y: ()}),
  ];

  for point in points {
    println!("{}", point.foo());
  }
}

如果您已经在 nightly 上，并且启用了box_syntax功能，您还可以编写box Point { x: 1, y: 2 }来节省一些样板文件，尽管可能不值得切换到 nightly 。

Answer 2

您可以将点包装在enum中：

struct Point<T> {
    x: T,
    y: T,
}

struct Points {
    points: Vec<PointType>,
}

enum PointType {
    U64(Point<u64>),
    F32(Point<f32>),
}

fn main() {
    let points = Points {
        points: vec![
            PointType::U64(Point { x: 1, y: 2 }),
            PointType::F32(Point { x: 1.1, y: 2.2 }),
        ],
    };
}

操场