箱子、栈和堆

在 Rust 中，所有值默认都是栈分配的。通过创建 Box<T>，可以把值装箱（boxed）来 使它在堆上分配。箱子（box，即 Box<T> 类型的实例）是一个智能指针，指向堆分配 的 T 类型的值。当箱子离开作用域时，它的析构函数会被调用，内部的对象会被 销毁，堆上分配的内存也会被释放。

被装箱的值可以使用 * 运算符进行解引用；这会移除掉一层装箱。

  1. use std::mem;
  3. #[allow(dead_code)]
  4. #[derive(Debug, Clone, Copy)]
  5. struct Point {
  6.     x: f64,
  7.     y: f64,
  8. }
  10. #[allow(dead_code)]
  11. struct Rectangle {
  12.     p1: Point,
  13.     p2: Point,
  14. }
  16. fn origin() -> Point {
  17.     Point { x: 0.0, y: 0.0 }
  18. }
  20. fn boxed_origin() -> Box<Point> {
  21.     // 在堆上分配这个点（point），并返回一个指向它的指针
  22.     Box::new(Point { x: 0.0, y: 0.0 })
  23. }
  25. fn main() {
  26.     // （所有的类型标注都不是必需的）
  27.     // 栈分配的变量
  28.     let point: Point = origin();
  29.     let rectangle: Rectangle = Rectangle {
  30.         p1: origin(),
  31.         p2: Point { x: 3.0, y: 4.0 }
  32.     };
  34.     // 堆分配的 rectangle（矩形）
  35.     let boxed_rectangle: Box<Rectangle> = Box::new(Rectangle {
  36.         p1: origin(),
  37.         p2: origin()
  38.     });
  40.     // 函数的输出可以装箱
  41.     let boxed_point: Box<Point> = Box::new(origin());
  43.     // 两层装箱
  44.     let box_in_a_box: Box<Box<Point>> = Box::new(boxed_origin());
  46.     println!("Point occupies {} bytes in the stack",
  47.              mem::size_of_val(&point));
  48.     println!("Rectangle occupies {} bytes in the stack",
  49.              mem::size_of_val(&rectangle));
  51.     // box 的宽度就是指针宽度
  52.     println!("Boxed point occupies {} bytes in the stack",
  53.              mem::size_of_val(&boxed_point));
  54.     println!("Boxed rectangle occupies {} bytes in the stack",
  55.              mem::size_of_val(&boxed_rectangle));
  56.     println!("Boxed box occupies {} bytes in the stack",
  57.              mem::size_of_val(&box_in_a_box));
  59.     // 将包含在 `boxed_point` 中的数据复制到 `unboxed_point`
  60.     let unboxed_point: Point = *boxed_point;
  61.     println!("Unboxed point occupies {} bytes in the stack",
  62.              mem::size_of_val(&unboxed_point));
  63. }