Dlaczego kody do booleans są kopiowane, mimo że dokumentacja tego nie wskazuje?

Question

Próbuję zrozumieć koncepcję własności i pożyczek. Na początku myślałem, że to było całkiem proste, kiedy to zrozumiałeś. Ale ...

fn main() { 
    let a = 5; 

    let _y = double(a); 
    println!("{}", a); 
} 

fn double(x: i32) -> i32 { 
    x * 2 
} 

Początkowo spodziewałem się tego nie skompilować, ponieważ a zostałby przeniesiony do _y.

Byłem nieco zdezorientowany, ale I found out, że miałbym rację z wyjątkiem tego, że i32 jest wyjątkiem od reguły, ponieważ implementuje cechę kopiowania.

Spojrzałem na the Copy trait i jak rozumiem, wymieniają wszystkie typy, które implementują tę cechę na dole.

Tak więc typ bool nie jest obecny i dlatego założyłem, że domyślnym zachowaniem było "przeniesienie". Ale ...

fn main() { 
    let a = true; 

    let _y = change_truth(a); 
    println!("{}", a); 
} 

fn change_truth(x: bool) -> bool { 
    !x 
} 

Nie zawiedzie.

Teraz jestem bardzo zdezorientowany. Znalazłem Clone trait, który wydaje się być ściśle związany z cechą kopiowania. Ale jeśli nie przeoczyłem tego, nie wspominają o tym w dokumencie do nauki.

Czy ktoś może podać mi więcej informacji?

Aktualizacja:

1. mam złożyła issue on the Rust repository.
2. Zrobiłem również pull request z pewnymi propozycjami zmian.

Answer 1

Twoje zrozumienie jest bardzo trafne, to wydaje się być problem z dokumentami. Dokumentacja nie pokazuje instancji Copy dla żadnego z typów pierwotnych, mimo że są one z pewnością Copy. Jako przykład, aby pokazać, że kompilator uzna bool być Copy dodaje kompiluje dobrze:

fn takes_copyable<T: Copy>(foo: T) {} 

fn main() { 
    takes_copyable(true); 
}