Explicit Copies/Moves

When a place expression is used where a value is needed, the contents of the place are copied or moved out, depending on the type of the place (this is called a "place-to-value coercion").

We'll use the copy! and move! operators proposed in Explicit Copy/Move. This step adds a copy! or move! to every place-to-value coercion:

#![allow(unused)]
fn main() {
let x = (String::new(), 42);
let y = x.0;
let z = x.1;

// becomes:
let y = move!(x.0);
let z = copy!(x.1);
}

After this step, the use of each place is explicit: copy, move, borrow, etc.

Backlinks

• Closure Capture
• Closure To Struct Desugaring