Box, 스택과 힙

Rust의 모든 값은 기본적으로 스택에 할당됩니다. Box<T>를 생성함으로써 값을 박싱(힙에 할당)할 수 있습니다. 박스는 힙에 할당된 T 타입 값을 가리키는 스마트 포인터입니다. 박스가 스코프를 벗어나면 데스트럭터가 호출되어 내부 객체가 파괴되고 힙 메모리가 해제됩니다.

박싱된 값은 * 연산자를 사용하여 역참조할 수 있습니다. 이는 한 단계의 간접 참조를 제거합니다.

use std::mem;

#[allow(dead_code)]
#[derive(Debug, Clone, Copy)]
struct Point {
    x: f64,
    y: f64,
}

// 사각형은 공간상에서의 왼쪽 상단과 오른쪽 하단
// 꼭짓점 위치로 지정될 수 있습니다
#[allow(dead_code)]
struct Rectangle {
    top_left: Point,
    bottom_right: Point,
}

fn origin() -> Point {
    Point { x: 0.0, y: 0.0 }
}

fn boxed_origin() -> Box<Point> {
    // 이 점을 힙에 할당하고, 그에 대한 포인터를 반환합니다
    Box::new(Point { x: 0.0, y: 0.0 })
}

fn main() {
    // (모든 타입 어노테이션은 불필요합니다)
    // 스택에 할당된 변수들
    let point: Point = origin();
    let rectangle: Rectangle = Rectangle {
        top_left: origin(),
        bottom_right: Point { x: 3.0, y: -4.0 }
    };

    // 힙에 할당된 사각형
    let boxed_rectangle: Box<Rectangle> = Box::new(Rectangle {
        top_left: origin(),
        bottom_right: Point { x: 3.0, y: -4.0 },
    });

    // 함수의 출력은 박싱될 수 있습니다
    let boxed_point: Box<Point> = Box::new(origin());

    // 이중 간접 참조
    let box_in_a_box: Box<Box<Point>> = Box::new(boxed_origin());

    println!("Point는 스택에서 {} 바이트를 차지합니다",
             mem::size_of_val(&point));
    println!("Rectangle은 스택에서 {} 바이트를 차지합니다",
             mem::size_of_val(&rectangle));

    // 박스 크기 == 포인터 크기
    println!("박싱된 point는 스택에서 {} 바이트를 차지합니다",
             mem::size_of_val(&boxed_point));
    println!("박싱된 rectangle은 스택에서 {} 바이트를 차지합니다",
             mem::size_of_val(&boxed_rectangle));
    println!("박싱된 박스는 스택에서 {} 바이트를 차지합니다",
             mem::size_of_val(&box_in_a_box));

    // `boxed_point`에 담긴 데이터를 `unboxed_point`로 복사합니다
    let unboxed_point: Point = *boxed_point;
    println!("박싱 해제된 point는 스택에서 {} 바이트를 차지합니다",
             mem::size_of_val(&unboxed_point));
}