What is the purpose of `&` before the loop variable?

by

So normally when you use for i in list, the loop variable i would be of type &i32.

But when instead you use for &i in list, you are not dereferencing anything, but instead you are using pattern matching to explicitly destructure the reference and that will make i just be of type i32.

See the Rust docs about the for-loop loop variable being a pattern and the reference pattern that we are using here. See also the Rust By Example chapter on destructuring pointers.

 

An other way to solve this, would be to just keep i as it is and then comparing i to a reference to largest, and then dereferencing i before assigning to largest:

fn largest(list: &[i32]) -> i32 {
    println!("{:?}", list);
    let mut largest = list[0];
    for i in list {
        if i > &largest {
            largest = *i;
        }
    }
    largest
}

 

fn main() {
    let mut hey: i32 = 32;
    let x: i32 = 2;
    hey = &&x;
}

This simply doesn’t work, because here you are assigning hey, which is an i32, to a reference to a reference to an i32. This is quite unrelated to the pattern matching and destructuring in the loop variable case.

More Related Contents:

  1. Is there any way to return a reference to a variable created in a function?
  2. Why can I return a reference to a local literal but not a variable?
  3. Cannot move out of borrowed content / cannot move out of behind a shared reference
  4. Why are explicit lifetimes needed in Rust?
  5. Cannot borrow as mutable because it is also borrowed as immutable
  6. How do I implement the Add trait for a reference to a struct?
  7. Cannot move out of borrowed content when trying to transfer ownership
  8. How to avoid writing duplicate accessor functions for mutable and immutable references in Rust?
  9. Iterator returning items by reference, lifetime issue
  10. Why does pattern matching on &Option yield something of type Some(&T)?
  11. Why is “&&” being used in closure arguments?
  12. When should I not implement a trait for references to implementors of that trait?
  13. What is an idiomatic way to collect an iterator of &T into a collection of Ts?
  14. How to abstract over a reference to a value or a value itself?
  15. Rust lifetime error expected concrete lifetime but found bound lifetime
  16. Why can’t I store a value and a reference to that value in the same struct?
  17. Why is it discouraged to accept a reference to a String (&String), Vec (&Vec), or Box (&Box) as a function argument?
  18. What are Rust’s exact auto-dereferencing rules?
  19. What’s the difference between placing “mut” before a variable name and after the “:”?
  20. Why does linking lifetimes matter only with mutable references?
  21. how does the ampersand(&) sign work in c++? [duplicate]
  22. Convert Vec into a slice of &str in Rust?
  23. What lifetimes do I use to create Rust structs that reference each other cyclically?
  24. How does Rust pattern matching determine if the bound variable will be a reference or a value?
  25. How can the ref keyword be avoided when pattern matching in a function taking &self or &mut self?
  26. How to query mongodb with DBRef
  27. How can I pull data out of an Option for independent use?
  28. Finding all references of a variable or a method in Xcode4
  29. How do I match based on a dynamic variable?
  30. Pass by reference problem with PHP 5.3.1 [duplicate]

Leave a Comment