What is the return type of the indexing operation?

by

This is a bit of helpful ergonomics that the compiler does for you in order to make the code look a bit nicer.

The return value of the Index trait is a reference, but the compiler automatically inserts a dereference for you when you use the sugared syntax []. Most other languages would just return the item from the array (copying it or returning another reference to the object, whatever is appropriate).

Due to Rust’s importance of move / copy semantics, you can’t always make a copy a value, so in those cases, you will usually use a &:

let items = &[1u8, 2, 3, 4];

let a: u8 = items[0];
let a: u8 = *items.index(&0); // Equivalent of above

let b: &u8 = &items[0];
let b: &u8 = &*items.index(&0); // Equivalent of above

Note that the indexing value is also automatically taken by reference, similar to the automatic dereference.

More Related Contents:

  1. Why can’t I store a value and a reference to that value in the same struct?
  2. How do I create a heterogeneous collection of objects?
  3. Is it possible to control the size of an array using the type parameter of a generic?
  4. How do I stop iteration and return an error when Iterator::map returns a Result::Err?
  5. Are polymorphic variables allowed?
  6. Does println! borrow or own the variable?
  7. How do I pass disjoint slices from a vector to different threads?
  8. Initialize a large, fixed-size array with non-Copy types
  9. Error while trying to borrow 2 fields from a struct wrapped in RefCell
  10. “Expected fn item, found a different fn item” when working with function pointers
  11. How do you unwrap a Result on Ok or return from the function on Err?
  12. What does “mismatched types: expected `()`” mean when using an if expression?
  13. How do I read the entire body of a Tokio-based Hyper request?
  14. How do I ‘pass down’ feature flags to subdependencies in Cargo?
  15. When returning the outcome of consuming a StdinLock, why was the borrow to stdin retained?
  16. How does Rust pattern matching determine if the bound variable will be a reference or a value?
  17. Using generic trait methods like .into() when type inference is impossible
  18. Why does an enum require extra memory size?
  19. Why does Rust disallow mutable aliasing?
  20. How to store rusqlite Connection and Statement objects in the same struct in Rust? [duplicate]
  21. Why can’t I reuse a &mut reference after passing it to a function that accepts a generic type?
  22. print! macro not executed until pressing Enter
  23. How can I override a constant via a compiler option?
  24. Why am I getting “parameter is never used [E0392]”?
  25. Why is Rust’s assert_eq! implemented using a match?
  26. Is there a list of all cfg features?
  27. Comparing every element in a vector with the next one
  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