Rust на примерах

Box, стек и куча

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

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

use std::mem;

#[allow(dead_code)]

#[derive(Debug, Clone, Copy)]

struct Point {

x: f64,

y: f64,

}

// `Rectangle` может быть определён по расположению в пространстве

// его верхнего левого и нижнего правого углов

#[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 {

// Аллоцируем точку в куче и вернём указатель на неё

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 = Box::new(Rectangle {

top_left: origin(),

bottom_right: Point { x: 3.0, y: -4.0 },

});

// Результат функции может быть упакован

let boxed_point: Box = Box::new(origin());

// Двойная косвенность

let box_in_a_box: Box> = Box::new(boxed_origin());

println!("Точка занимает {} байт на стеке",

mem::size_of_val(&point));

println!("Прямоугольник занимает {} байт на стеке",

mem::size_of_val(&rectangle));

// box size == pointer size

println!("Упакованная точка занимает {} байт на стеке",

mem::size_of_val(&boxed_point));

println!("Упакованный прямоугольник занимает {} байт на стеке",

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!("Распакованная точка занимает {} байт на стеке",

mem::size_of_val(&unboxed_point));

}

הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX