How do I return an instance of a trait from a method?

by

Rust 1.26 and up

impl Trait now exists:

fn create_shader(&self) -> impl Shader {
    let shader = MyShader;
    shader
}

It does have limitations, such as not being able to be used in a trait method and it cannot be used when the concrete return type is conditional. In those cases, you need to use the trait object answer below.

Rust 1.0 and up

You need to return a trait object of some kind, such as &T or Box<T>, and you’re right that &T is impossible in this instance:

fn create_shader(&self) -> Box<Shader> {
    let shader = MyShader;
    Box::new(shader)
}

See also:

More Related Contents:

  1. Traits and Rust
  2. How to get a reference to a concrete type from a trait object?
  3. Why can impl trait not be used to return multiple / conditional types?
  4. How do I implement a trait I don’t own for a type I don’t own?
  5. What makes something a “trait object”?
  6. Is it possible to use `impl Trait` as a function’s return type in a trait definition?
  7. I implemented a trait for another trait but cannot call methods from both traits
  8. Why would I implement methods on a trait instead of as part of the trait?
  9. How does the mechanism behind the creation of boxed traits work?
  10. Trait implementation for both a trait object and for direct implementors of the trait
  11. Why is the `Sized` bound necessary in this trait?
  12. How can I implement Rust’s Copy trait?
  13. Is there any trait that specifies numeric functionality?
  14. Understanding Traits and Object Safety
  15. How do I pass a closure through raw pointers as an argument to a C function?
  16. Can’t implement a trait I don’t own for all types that implement a trait I do own
  17. How do I specify that a struct field must implement a trait?
  18. Rust equivalent to Swift’s extension methods to a protocol?
  19. Cannot use moved BufReader after for loop with bufreader.lines()
  20. Do I have to implement a trait twice when implementing it for both reference and non-reference types?
  21. Why is a trait not implemented for a type that clearly has it implemented?
  22. How to do a binary search on a Vec of floats?
  23. Change enum variant while moving the field to the new variant
  24. Is it possible to declare the type of the variable in Rust for loops?
  25. Automatically implement traits of enclosed type for Rust newtypes (tuple structs with one field)
  26. How to switch between Rust toolchains?
  27. Creating a vector of zeros for a specific size
  28. What is the purpose of the unit type in Rust?
  29. How to print structs and arrays?
  30. Can Rust optimise away the bit-wise copy during move of an object someday?

Leave a Comment