是否有可能拥有实现 Eq 的类型的异构向量？

Question

我想要一个包含 Eq 等特征的元素的向量，并且我需要异构向量。例如：

let mut x: Vec<Eq> = Vec::new();

x.push(1);
x.push("hello")

我收到一条错误消息，指出无法将Eq 制成对象：

error[E0038]: the trait `std::cmp::Eq` cannot be made into an object
 --> src/main.rs:2:20
  |
2 |     let mut x: Vec<Eq> = Vec::new();
  |                    ^^ the trait `std::cmp::Eq` cannot be made into an object
  |
  = note: the trait cannot use `Self` as a type parameter in the supertrait listing

是否有可能有一个指针列表，指向我可以比较的东西，而不管它们的类型如何？

Answer 1

是否有可能有一个指针列表，指向我可以比较的东西，而不管它们的类型如何？

这没有意义。您如何“比较”String 和 File 或 Socket 和 GuiWindowFontFamily？

代码也有一些小问题，即它缺少任何类型的特征间接性。请参阅What is the best way to create a heterogeneous collection of objects?，了解如何在不与对象安全作斗争的情况下制作异构向量。

谈到对象安全，there's a great blog series on the subject，其中涵盖了您遇到的特定错误的详细信息。

那么，我们能做些什么呢？对于初学者，我们可以更具体：

let mut x: Vec<Box<PartialEq<u8>>> = Vec::new();

之所以有效，是因为我们说向量中的所有内容都可以与u8 进行比较，并且每个都可以进行比较，并且没有无限数量的可能性。

您还可以实现一些特征来指示事物应该如何进行比较，然后使用它：

trait Silly {
    fn silly(&self) -> usize;
}

impl Silly for u8 {
    fn silly(&self) -> usize { *self as usize }
}

impl Silly for bool {
    fn silly(&self) -> usize { 1 }
}

fn main() {
    let mut x: Vec<Box<Silly>> = Vec::new();
}