How do I implement a trait with a generic method?

by

Type parameters in functions and methods are universal. This means that for all trait implementers, Trait::method<T> must be implemented for any T with the exact same constraints as those indicated by the trait (in this case, the constraint on T is only the implicit Sized).

The compiler’s error message that you indicated suggests that it was still expecting the parameter type T. Instead, your Struct implementation is assuming that T = u8, which is incorrect. The type parameter is decided by the caller of the method rather than the implementer, so T might not always be u8.

If you wish to let the implementer choose a specific type, that has to be materialized in an associated type instead.

trait Trait {
    type Output;

    fn method(&self) -> Self::Output;
}

struct Struct;

impl Trait for Struct {
    type Output = u8;

    fn method(&self) -> u8 {
        16
    }
}

Read also this section of The Rust Programming Language: Specifying placeholder types in trait definitions with associated types.

See also:

More Related Contents:

  1. Why do I need to import a trait to use the methods it defines for a type?
  2. Should trait bounds be duplicated in struct and impl?
  3. How do I collect into an array?
  4. Can I do type introspection with trait objects and then downcast it?
  5. Cannot borrow as mutable more than once at a time in one code – but can in another very similar
  6. How can I perform parallel asynchronous HTTP GET requests with reqwest?
  7. Is it considered a bad practice to implement Deref for newtypes?
  8. Implementing a trait for multiple types at once
  9. Convert a String to int?
  10. How do I get an owned value out of a `Box`?
  11. Converting from Option to Option
  12. Trait implementation for both a trait object and for direct implementors of the trait
  13. Why does my variable not live long enough?
  14. How to iterate over and filter an array?
  15. If BufReader takes ownership of a stream, how can I read and write lines on it?
  16. How to fix lifetime error when function returns a serde Deserialize type?
  17. Is there another option to share an Arc in multiple closures besides cloning it before each closure?
  18. Why are recursive struct types illegal in Rust?
  19. Understanding Traits and Object Safety
  20. How do I pass a closure through raw pointers as an argument to a C function?
  21. Is there a way to use existing structs as enum variants?
  22. How can I create enums with constant values in Rust?
  23. Sized is not implemented for the type Fn
  24. Extend lifetime of variable
  25. Can’t implement a trait I don’t own for all types that implement a trait I do own
  26. Why is Rust’s assert_eq! implemented using a match?
  27. Is there a list of all cfg features?
  28. Is there a good way to convert a Vec to an array?
  29. How can I conditionally provide a default reference without performing unnecessary computation when it isn’t used?
  30. How can I build multiple binaries with Cargo?

Leave a Comment