Vector of objects belonging to a trait

by

Vec<Animal> is not legal, but the compiler can’t tell you that because the type mismatch somehow hides it. If we remove the calls to push, the compiler gives us the following error:

<anon>:22:9: 22:40 error: instantiating a type parameter with an incompatible type `Animal`, which does not fulfill `Sized` [E0144]
<anon>:22     let mut v: Vec<Animal> = Vec::new();
                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

The reason why that’s not legal is that a Vec<T> stores many T objects consecutively in memory. However, Animal is a trait, and traits have no size (a Cat and a Dog are not guaranteed to have the same size).

To solve this problem, we need to store something that has a size in the Vec. The most straightforward solution is to wrap the values in a Box, i.e. Vec<Box<Animal>>. Box<T> has a fixed size (a “fat pointer” if T is a trait, a simple pointer otherwise).

Here’s a working main:

fn main() {
    let dog: Dog = Dog;
    let cat: Cat = Cat;
    let mut v: Vec<Box<Animal>> = Vec::new();
    v.push(Box::new(cat));
    v.push(Box::new(dog));
    for animal in v.iter() {
        println!("{}", animal.make_sound());
    }
}

More Related Contents:

  1. How does the mechanism behind the creation of boxed traits work?
  2. Why can’t `&(?Sized + Trait)` be cast to `&dyn Trait`?
  3. How to implement `serde::Serialize` for a boxed trait object?
  4. What is the difference between `’a.` and `type a.` and when to use each?
  5. What are Rust’s exact auto-dereferencing rules?
  6. Why is a trait not implemented for a type that clearly has it implemented?
  7. How do I implement a trait I don’t own for a type I don’t own?
  8. What makes something a “trait object”?
  9. Rust proper error handling (auto convert from one error type to another with question mark)
  10. Why is a borrow still held in the else block of an if let?
  11. How to create a static string at compile time
  12. How to call a method when a trait and struct use the same method name?
  13. What is the overhead of Rust’s Option type?
  14. Are semicolons optional in Rust?
  15. Is it possible to declare the type of the variable in Rust for loops?
  16. Automatically implement traits of enclosed type for Rust newtypes (tuple structs with one field)
  17. Why does printing a pointer print the same thing as printing the dereferenced pointer?
  18. OpenSSL crate fails compilation on Mac OS X 10.11
  19. How to implement a Future or Stream that polls an async fn?
  20. How can I store a pattern in a variable in Rust?
  21. How to switch between Rust toolchains?
  22. How can an operator be overloaded for different RHS types and return values?
  23. How to iterate or map over tuples?
  24. How to model a RESTful API with inheritance?
  25. Can traits be used on enum types?
  26. What does “Overflow evaluating the requirement” mean and how can I fix it?
  27. Why does the Rust compiler request I constrain a generic type parameter’s lifetime (error E0309)?
  28. Cannot pass self as callback parameter due to double borrowing
  29. How do I create a HashMap with type erased keys?
  30. Can I get polymorphic behavior without using virtual functions?

Leave a Comment