std :: mem :: swap nasıl çalışır?

Question

Değerler, aynı türden iki tane değiştirilebilen konumdan birinde, yeniden başlatılmadan veya kopyalanmadan değiştirilir. (offical Rust doc itibaren)

use std::mem; 

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

mem::swap(x, y); 

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

iki değer kopyalama olmadan takas edilebilir Nasıl

? 42 değeri, y'dan x'a nasıl geçti? Bu mümkün olmamalıydı.

Answer 1

işlevi aslında içten bir kopyasını yapar: Burada belgelere çıkarılan onun kaynağıdır:

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); 
    } 
}