Rust на примерах

17.1 Упаковка, стек и куча

По умолчанию, все значения в Rust располагаются в стеке. Значения можно упаковать (разместить в куче), создав упаковку Box<T>. Упаковка — умный указатель на значение типа T в куче. Когда упаковка оказывается за пределами области видимости, вызывается деструктор, содержащийся в ней объект уничтожается, а память в куче освобождается.

Упакованные значения могут быть разыменованны с помощью операции *. Эта операция убирает один уровень косвенности.

use std::mem;

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

#[allow(dead_code)]
struct Rectangle {
    p1: Point,
    p2: 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 {
        p1: origin(),
        p2: Point { x: 3.0, y: 4.0 }
    };

    // Выделенный в куче квадрат
    let boxed_rectangle: Box<Rectangle> = Box::new(Rectangle {
        p1: origin(),
        p2: origin()
    });

    // Результат функции может быть упакован
    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!("Boxed point занимает {} байт в стеке",
             mem::size_of_val(&boxed_point));
    println!("Boxed rectangle занимает {} байт в стеке",
             mem::size_of_val(&boxed_rectangle));
    println!("Boxed box занимает {} байт в стеке",
             mem::size_of_val(&box_in_a_box));

    // Копировать данные, что находятся в `boxed_point`, в `unboxed_point`
    let unboxed_point: Point = *boxed_point;
    println!("Unboxed point занимает {} байт в стеке",
             mem::size_of_val(&unboxed_point));
}