Công việc `std :: mem :: swap` hoạt động như thế nào?

Question

Trao đổi các giá trị tại hai vị trí có thể thay đổi cùng loại, mà không cần khởi tạo hoặc sao chép một trong hai giá trị đó.

use std::mem; 

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

mem::swap(x, y); 

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

(Từ offical Rust doc)

Làm thế nào hai giá trị có thể được hoán đổi mà không cần sao chép? Giá trị 42 hoạt động như thế nào từ y đến x? Điều này không thể thực hiện được.

Answer 1

Chức năng không thực sự tạo một bản sao nội bộ: đây là nguồn của nó được chiết xuất từ ​​các tài liệu:

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