Trait core::marker::Copy

1.0.0 · source ·

pub trait Copy: Clone { }

Expand description

只需复制位即可复制其值的类型。

默认情况下，变量绑定具有移动语义。换句话说：

#[derive(Debug)]
struct Foo;

let x = Foo;

let y = x;

// `x` 已移入 `y`，因此无法使用

// println!("{x:?}"); // error: use of moved value

Run

但是，如果类型实现 Copy，则它具有复制语义：

// 我们可以派生一个 `Copy` 实现。
// `Clone` 也是必需的，因为它是 `Copy` 的 super trait。
#[derive(Debug, Copy, Clone)]
struct Foo;

let x = Foo;

let y = x;

// `y` 是 `x` 的副本

println!("{x:?}"); // A-OK!

Run

重要的是要注意，在这两个示例中，唯一的区别是分配后是否允许您访问 x。在后台，复制和移动都可能导致将位复制到内存中，尽管有时会对其进行优化。

如何实现 `Copy`？

有两种方法可以在您的类型上实现 Copy。最简单的是使用 derive：

#[derive(Copy, Clone)]
struct MyStruct;

Run

您还可以手动实现 Copy 和 Clone：

struct MyStruct;

impl Copy for MyStruct { }

impl Clone for MyStruct {
    fn clone(&self) -> MyStruct {
        *self
    }
}

Run

这两者之间有一个小小的区别: derive 策略还将 Copy 绑定在类型参数上，这并不总是需要的。

`Copy` 和 `Clone` 有什么区别？

Copy 是隐式发生的，例如作为赋值 y = x 的一部分。Copy 的行为不可重载；它始终是简单的按位复制。

Clone 是一个显式操作，x.clone()。Clone 的实现可以提供安全复制值所需的任何特定于类型的行为。例如，用于 String 的 Clone 的实现需要在堆中复制指向字符串的缓冲区。 String 值的简单按位副本将仅复制指针，从而导致该行向下双重释放。因此，String 是 Clone，但不是 Copy。

Clone 是 Copy 的一个 super trait，所以所有 Copy 的东西也必须实现 Clone。如果类型为 Copy，则其 Clone 实现仅需要返回 *self (请参见上面的示例)。

什么时候可以输入 `Copy`？

如果类型的所有组件都实现 Copy，则它可以实现 Copy。例如，此结构体可以是 Copy：

#[derive(Copy, Clone)]
struct Point {
   x: i32,
   y: i32,
}

Run

一个结构体可以是 Copy，而 i32 是 Copy，因此 Point 有资格成为 Copy。相比之下，考虑

struct PointList {
    points: Vec<Point>,
}

Run

结构体 PointList 无法实现 Copy，因为 Vec<T> 不是 Copy。如果尝试派生 Copy 实现，则会收到错误消息：

the trait `Copy` cannot be implemented for this type; field `points` does not implement `Copy`

共享引用 (&T) 也是 Copy，因此，即使类型中包含 04 不是*Copy 类型的共享引用 T，也可以是 Copy。考虑下面的结构体，它可以实现 Copy，因为它从上方仅对我们的非 Copy 类型 PointList 持有一个 shared 引用：

#[derive(Copy, Clone)]
struct PointListWrapper<'a> {
    point_list_ref: &'a PointList,
}

Run

什么时候我的类型不能为 `Copy`？

某些类型无法安全复制。例如，复制 &mut T 将创建一个别名可变引用。复制 String 将重复管理 String 缓冲区，从而导致双重释放。

概括后一种情况，任何实现 Drop 的类型都不能是 Copy，因为它除了管理自己的 size_of::<T> 字节外还管理一些资源。

果您尝试在包含非 Copy 数据的结构或枚举上实现 Copy，则会收到 E0204 错误。

什么时候我的类型应该是 `Copy`？

一般来说，如果您的类型可以实现 Copy，则应该这样做。但是请记住，实现 Copy 是您类型的公共 API 的一部分。如果该类型将来可能变为非 Copy，则最好现在省略 Copy 实现，以避免 API 发生重大更改。

其他实现者

除下面列出的实现者之外，以下类型也实现了 Copy：

函数项类型 (即，为每个函数定义的不同类型)
函数指针类型 (例如 fn() -> i32)
闭包类型，如果它们没有从环境中捕获任何值，或者所有此类捕获的值本身都实现了 Copy。请注意，由共享引用捕获的变量始终实现 Copy (即使引用对象没有实现)，而由变量引用捕获的变量从不实现 Copy。

Trait core::marker::Copy

Implementors§

impl Copy for AsciiChar

impl Copy for core::cmp::Ordering

impl Copy for Infallible

impl Copy for core::fmt::Alignment

impl Copy for IpAddr

impl Copy for Ipv6MulticastScope

impl Copy for SocketAddr

impl Copy for FpCategory

impl Copy for Which

impl Copy for SearchStep

impl Copy for core::sync::atomic::Ordering

impl Copy for bool

impl Copy for char

impl Copy for f32

impl Copy for f64

impl Copy for i8

impl Copy for i16

impl Copy for i32

impl Copy for i64

impl Copy for i128

impl Copy for isize

impl Copy for !

impl Copy for u8

impl Copy for u16

impl Copy for u32

impl Copy for u64

impl Copy for u128

impl Copy for ()

impl Copy for usize

impl Copy for AllocError

impl Copy for Layout

impl Copy for TypeId

impl Copy for float64x1_t

impl Copy for float64x1x2_t

impl Copy for float64x1x3_t

impl Copy for float64x1x4_t

impl Copy for float64x2_t

impl Copy for float64x2x2_t

impl Copy for float64x2x3_t

impl Copy for float64x2x4_t

impl Copy for int16x2_t

impl Copy for uint16x2_t

impl Copy for float32x2_t

impl Copy for float32x2x2_t

impl Copy for float32x2x3_t

impl Copy for float32x2x4_t

impl Copy for float32x4_t

impl Copy for float32x4x2_t

impl Copy for float32x4x3_t

impl Copy for float32x4x4_t

impl Copy for int8x4_t

impl Copy for int8x8_t

impl Copy for int8x8x2_t

impl Copy for int8x8x3_t

impl Copy for int8x8x4_t

impl Copy for int8x16_t

impl Copy for int8x16x2_t

impl Copy for int8x16x3_t

impl Copy for int8x16x4_t

impl Copy for int16x4_t

impl Copy for int16x4x2_t

impl Copy for int16x4x3_t

impl Copy for int16x4x4_t

impl Copy for int16x8_t

impl Copy for int16x8x2_t

impl Copy for int16x8x3_t

impl Copy for int16x8x4_t

impl Copy for int32x2_t

impl Copy for int32x2x2_t

impl Copy for int32x2x3_t

impl Copy for int32x2x4_t

impl Copy for int32x4_t

impl Copy for int32x4x2_t

impl Copy for int32x4x3_t

impl Copy for int32x4x4_t

impl Copy for int64x1_t

impl Copy for int64x1x2_t

impl Copy for int64x1x3_t