Возможно ли иметь гетерогенный вектор типов, которые реализуют 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(); 
}