Are polymorphic variables allowed?

by

Yes, but not that easily. What you’ve written there is that animal should be a variable of type Barks, but Barks is a trait; a description of an interface. Traits don’t have a statically-defined size, since a type of any size could come along and impl Barks. The compiler has no idea how big to make animal.

What you need to do is add a layer of indirection. In this case, you can use Box, although you can also use things like Rc or plain references:

fn main() {
    let animal: Box<dyn Barks>;
    
    if 1 == 2 {
        animal = Box::new(Dog);
    } else {
        animal = Box::new(Wolf);
    }
    
    animal.bark();
}

Here, I’m allocating the Dog or Wolf on the heap, then casting that up to a Box<dyn Barks>. This is kind of like casting an object to an interface in something like C# or Java, or casting a Dog* to a Barks* in C++.

An entirely different approach you could also use would be enums. You could have enum Animal { Dog, Wolf } then define an impl Animal { fn bark(&self) { ... } }. Depends on whether you need a completely open-ended set of animals and/or multiple traits.

Finally, note that “kind of” above. There are various things that don’t work as they would in Java/C#/C++. For example, Rust doesn’t have downcasting (you can’t go from Box<dyn Barks> back to Box<Dog>, or from one trait to another). Also, this only works if the trait is “object safe” (no generics, no using self or Self by-value).

More Related Contents:

  1. What are non-lexical lifetimes?
  2. What are Rust’s exact auto-dereferencing rules?
  3. Why is a trait not implemented for a type that clearly has it implemented?
  4. How can I include a module from another file from the same project?
  5. What does “Sized is not implemented” mean?
  6. Deriving a trait results in unexpected compiler error, but the manual implementation works
  7. How do I implement a trait I don’t own for a type I don’t own?
  8. Passing mutable self reference to method of owned 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 does “cannot move out of index of” mean?
  14. “expected type parameter, found struct”
  15. How do you set, clear and toggle a single bit in Rust?
  16. Is it possible to declare the type of the variable in Rust for loops?
  17. Lifetime of variables passed to a new thread
  18. How can I co-sort two Vecs based on the values in one of the Vecs?
  19. How can I distinguish between a deserialized field that is missing and one that is null?
  20. Cannot create a generic function that uses a literal zero
  21. How can I store a pattern in a variable in Rust?
  22. How to avoid temporary allocations when using a complex key for a HashMap?
  23. Why does compilation not fail when a member of a moved value is assigned to?
  24. Why does a mutable borrow of a closure through DerefMut not work?
  25. How to switch between Rust toolchains?
  26. Why can Serde not derive Deserialize for a struct containing only a &Path?
  27. What is the purpose of the unit type in Rust?
  28. Why does the Rust compiler request I constrain a generic type parameter’s lifetime (error E0309)?
  29. Cannot pass self as callback parameter due to double borrowing
  30. How do I create a HashMap with type erased keys?

Leave a Comment