What does the question mark mean in a type parameter bound?

by

It means that the trait is optional. The current syntax was introduced in the DST syntax RFC.

The only trait I am aware of that works for ? is Sized.

In this specific example, we can implement BorrowMut for unsized types, like [T] — note that there’s no & here!

One built-in implementation makes use of that:

impl<T> BorrowMut<[T]> for Vec<T>

As Matthieu M. adds:

This is a case of a widening bound; in general bounds impose more constraints, but in the case of Sized it was decided that unless otherwise noted a generic T would be assumed to be Sized. The way to note the opposite would be to mark it ?Sized (“maybe Sized“).

More Related Contents:

  1. “Expected type parameter” error in the constructor of a generic struct
  2. How do I require a generic type implement an operation like Add, Sub, Mul, or Div in a generic function?
  3. How to write a trait bound for adding two references of a generic type?
  4. How do I use integer number literals when using generic types?
  5. How do I write the lifetimes for references in a type constraint when one of them is a local reference?
  6. How can I avoid a ripple effect from changing a concrete struct to generic?
  7. The trait cannot be made into an object
  8. Why does a generic method inside a trait require trait object to be sized?
  9. Conflicting implementations of trait in Rust
  10. How do I return a Filter iterator from a function?
  11. Matching a generic parameter to an associated type in an impl
  12. Why can’t I use a key function that returns a reference when sorting a vector with sort_by_key?
  13. Why can’t `&(?Sized + Trait)` be cast to `&dyn Trait`?
  14. Generics Error: expected type parameter, found struct
  15. Why can’t I add a blanket impl on a trait with a type parameter?
  16. Can I avoid eager ambiguity resolution for trait implementations with generics?
  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. How does the reified keyword in Kotlin work?
  23. Scala 2.8 CanBuildFrom
  24. Generic higher order function
  25. How to use TypeToken + generics with Gson in Kotlin
  26. How can I make a generic type optional?
  27. How to determine if a generic is an optional in Swift?
  28. How to get generic parameter class in Kotlin
  29. Swift equivalent for MIN and MAX macros
  30. How do I write this member constraint in F#?

Leave a Comment