是否所有原始类型都实现了 Copy 特征？

Question

所有primitive types in Rust 都实现Copy 特征吗？

知道会很有趣，因为这些知识肯定是全面学习新编程语言的一部分。

Answer 1

我们可以使用编译器来证明某些东西是否实现了Copy。使用the list of primitives from The Rust Programming Language：

fn is_copy<T: Copy>() {}

fn main() {
    is_copy::<bool>();
    is_copy::<char>();
    is_copy::<i8>();
    is_copy::<i16>();
    is_copy::<i32>();
    is_copy::<i64>();
    is_copy::<u8>();
    is_copy::<u16>();
    is_copy::<u32>();
    is_copy::<u64>();
    is_copy::<isize>();
    is_copy::<usize>();
    is_copy::<f32>();
    is_copy::<f64>();
    is_copy::<fn()>();
}

我认为还有一些其他类型是“原始的”：

• 不可变引用 (&T)
• 可变引用 (&mut T)
• 原始指针 (*const T / *mut T)

不可变引用始终实现Copy，可变引用从不实现Copy，原始指针始终实现Copy：

// OK
is_copy::<&String>();
is_copy::<*const String>();
is_copy::<*mut String>();
// Not OK
is_copy::<&mut i32>();

本书列表中还有一些其他类型：

• 元组
• 数组

这些类型可以包含很多类型；它们通过泛型参数化。如果所有包含的值都是Copy，它们只是Copy：

// OK
is_copy::<[i32; 1]>();
is_copy::<(i32, i32)>();
// Not OK
is_copy::<[Vec<i32>; 1]>();
is_copy::<(Vec<i32>, Vec<i32>)>();

• 切片

切片具有双重特殊性。切片类型本身 ([T]) 和字符串切片 (str) 是 unsized 类型。如果没有某种间接方式，通常是参考（&[T] / &str），很少看到它们。未调整大小的值不能单独存在。引用背后的版本的行为与引用类似。

// OK
is_copy::<&str>();
is_copy::<&[i32]>();
// Not OK
is_copy::<str>();
is_copy::<[i32]>();

一如既往，documentation for a trait lists everything that implements that trait。 （除非有bugs in the documentation）。