How do I require a generic type implement an operation like Add, Sub, Mul, or Div in a generic function?

by

Let’s break down your example a bit:

fn cube<T: Mul>(x: T) -> T {
    let a = x * x;
    let b = a * x;
    b
}

What are the types of a and b? In this case, the type of a is <T as std::ops::Mul>::Output — sound familiar from the error message? Then, we are trying to multiply that type by x again, but there’s no guarantee that Output is able to be multiplied by anything!

Let’s do the simplest thing and say that T * T needs to result in a T:

fn cube<T: Mul<Output = T>>(x: T) -> T {
    x * x * x
}

Unfortunately, this gives two similar errors:

error[E0382]: use of moved value: `x`
 --> src/lib.rs:6:9
  |
6 |     x * x * x
  |     -   ^ value used here after move
  |     |
  |     value moved here
  |
  = note: move occurs because `x` has type `T`, which does not implement the `Copy` trait

Which is because the Mul trait takes arguments by value, so we add the Copy so we can duplicate the values.

I also switched to the where clause as I like it better and it is unwieldy to have that much inline:

fn cube<T>(x: T) -> T
where
    T: Mul<Output = T> + Copy
{
    x * x * x
}

See also:

More Related Contents:

  1. “Expected type parameter” error in the constructor of a generic struct
  2. How to write a trait bound for adding two references of a generic type?
  3. How do I use integer number literals when using generic types?
  4. How do I write the lifetimes for references in a type constraint when one of them is a local reference?
  5. How can I avoid a ripple effect from changing a concrete struct to generic?
  6. The trait cannot be made into an object
  7. Why does a generic method inside a trait require trait object to be sized?
  8. Conflicting implementations of trait in Rust
  9. How do I return a Filter iterator from a function?
  10. Matching a generic parameter to an associated type in an impl
  11. Why can’t I use a key function that returns a reference when sorting a vector with sort_by_key?
  12. Why can’t `&(?Sized + Trait)` be cast to `&dyn Trait`?
  13. Generics Error: expected type parameter, found struct
  14. Why can’t I add a blanket impl on a trait with a type parameter?
  15. Can I avoid eager ambiguity resolution for trait implementations with generics?
  16. What does the question mark mean in a type parameter bound?
  17. What does it mean to instantiate a Rust generic with an underscore?
  18. Writing a generic function that takes an iterable container as parameter in Rust
  19. How do I unwrap an arbitrary number of nested Option types?
  20. Unable to create a polymorphic type because the trait cannot be made into an object
  21. What is the cited problem with using generic type parameters in trait objects?
  22. Why doesn’t the example compile, aka how does (co-, contra-, and in-) variance work?
  23. C# Adding two Generic Values
  24. TypeScript: self-referencing return type for static methods in inheriting classes
  25. Generic Functions in Go
  26. Generic repository in ASP.NET Core without having a separate AddScoped line per table in Startup.cs?
  27. Calling a static method from a generic constraint Dart
  28. Generic NSOperation subclass loses NSOperation functionality
  29. Generic extending class AND implements interface in Kotlin
  30. Returning original collection type in generic method

Leave a Comment