Jak działa `std :: mem :: swap`?

Question

Zamień wartości na dwie zmienne lokalizacje tego samego typu, bez deinicjalizacji lub kopiowania jednego z nich.

use std::mem; 

let x = &mut 5; 
let y = &mut 42; 

mem::swap(x, y); 

assert_eq!(42, *x); 
assert_eq!(5, *y); 

(Od offical Rust doc)

Jak dwie wartości mają zostać zamienione bez kopiowania? Jak zmieniła się wartość 42 z y na x? To nie powinno być możliwe.

Answer 1

Funkcja robi rzeczywiście zrobić kopię wewnętrznie: tutaj jest jego źródło pochodzących z dokumentacji:

pub fn swap<T>(x: &mut T, y: &mut T) { 
    unsafe { 
     // Give ourselves some scratch space to work with 
     let mut t: T = uninitialized(); 

     // Perform the swap, `&mut` pointers never alias 
     ptr::copy_nonoverlapping(&*x, &mut t, 1); 
     ptr::copy_nonoverlapping(&*y, x, 1); 
     ptr::copy_nonoverlapping(&t, y, 1); 

     // y and t now point to the same thing, 
     // but we need to completely forget `t` 
     // because it's no longer relevant. 
     forget(t); 
    } 
}