复合类型

虽然移动语义是默认的，但默认情况下会复制某些类型：

  1. fn main() {
  2.     let x = 42;
  3.     let y = x;
  4.     println!("x: {x}"); // would not be accessible if not Copy
  5.     println!("y: {y}");
  6. }

这些类型实现了 Copy trait。

你可以选择自己的类型来使用复制语义：

  1. #[derive(Copy, Clone, Debug)]
  2. struct Point(i32, i32);
  4. fn main() {
  5.     let p1 = Point(3, 4);
  6.     let p2 = p1;
  7.     println!("p1: {p1:?}");
  8.     println!("p2: {p2:?}");
  9. }
  • 赋值之后，p1 和 p2 都拥有自己的数据。
  • 我们还可以使用 p1.clone() 显式复制数据。

This slide should take about 5 minutes.

复制和克隆是两码事：

  • 复制是指内存区域的按位复制，不适用于任意对象。
  • 复制不允许自定义逻辑（不同于 C++ 中的复制构造函数）。
  • 克隆是一种更通用的操作，也允许通过实现 Clone trait 来自定义行为。
  • 复制不适用于实现 Drop trait 的类型。

在上述示例中，请尝试以下操作：

  • 在 struct Point 中添加 String 字段。由于 String 不属于 Copy 类型，因此无法编译。
  • Remove Copy from the derive attribute. The compiler error is now in the println! for p1.
  • 指出如果你改为克隆 p1，则可按预期运行。