Why is the mutable reference not moved here?

by

There might actually be a good reason for this.

&mut T isn’t actually a type: all borrows are parametrized by some (potentially inexpressible) lifetime.

When one writes

fn move_try(val: &mut ()) {
    { let new = val; }
    *val
}

fn main() {
    move_try(&mut ());
}

the type inference engine infers typeof new == typeof val, so they share the original lifetime. This means the borrow from new does not end until the borrow from val does.

This means it’s equivalent to

fn move_try<'a>(val: &'a mut ()) {
    { let new: &'a mut _ = val; }
    *val
}

fn main() {
    move_try(&mut ());
}

However, when you write

fn move_try(val: &mut ()) {
    { let new: &mut _ = val; }
    *val
}

fn main() {
    move_try(&mut ());
}

a cast happens – the same kind of thing that lets you cast away pointer mutability. This means that the lifetime is some (seemingly unspecifiable) 'b < 'a. This involves a cast, and thus a reborrow, and so the reborrow is able to fall out of scope.

An always-reborrow rule would probably be nicer, but explicit declaration isn’t too problematic.

More Related Contents:

  1. What are move semantics in Rust?
  2. How does Rust provide move semantics?
  3. Why does the compiler not complain that an iterator moved to a for loop is immutable?
  4. Can Rust optimise away the bit-wise copy during move of an object someday?
  5. Return local String as a slice (&str)
  6. What is the difference between iter and into_iter?
  7. How does for syntax differ from a regular lifetime bound?
  8. How to get a reference to a concrete type from a trait object?
  9. How do I return a reference to something inside a RefCell without breaking encapsulation?
  10. Conditionally iterate over one of several possible iterators
  11. Why is this match pattern unreachable when using non-literal patterns?
  12. Is there any way to create a type alias for multiple traits?
  13. What’s an idiomatic way to print an iterator separated by spaces in Rust?
  14. Proper way to return a new string in Rust
  15. println! error: expected a literal / format argument must be a string literal
  16. How do I return an instance of a trait from a method?
  17. “borrowed value does not live long enough” when using the builder pattern
  18. How do I use static lifetimes with threads?
  19. Is it possible to conditionally enable an attribute like `derive`?
  20. How can I create a function with a variable number of arguments?
  21. Using the same iterator multiple times in Rust
  22. How do I fix “cannot find derive macro in this scope”?
  23. Why is the bound `T: ‘a` required in order to store a reference `&’a T`?
  24. Type mismatches resolving a closure that takes arguments by reference
  25. How do I disambiguate traits in Rust?
  26. How do I change a function’s qualifiers via conditional compilation?
  27. Is there a list of all cfg features?
  28. Comparing every element in a vector with the next one
  29. How to concatenate static strings in Rust
  30. How can I build multiple binaries with Cargo?

Leave a Comment