Rust на примерах

==26873== For counts of detected and suppressed errors, rerun with: -v

==26873== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 2 from 2)

Утечки отсутствуют!

Деструктор

Понятие деструктора в Rust обеспечивается через типаж Drop. Деструктор вызывается, когда ресурс выходит за пределы области видимости. Этот типаж не требуется реализовать для каждого типа. Реализовать его для вашего типа вам потребуется, только если требуется своя логика при удалении экземпляра типа.

Выполните пример ниже, чтобы увидеть, как работает типаж Drop. Когда переменная в функции main выходит за пределы области действия, будет вызван пользовательский деструктор.

struct ToDrop;

impl Drop for ToDrop {

fn drop(&mut self) {

println!("ToDrop is being dropped");

}

}

fn main() {

let x = ToDrop;

println!("Made a ToDrop!");

}

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

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Смотрите также:

Упаковка

Владение и перемещение

Поскольку переменные ответственны за освобождение своих ресурсов, ресурсы могут иметь лишь одного владельца. Это ограничение предотвращает возможность высвобождения ресурсов более одно раза. Обратите внимание, что не все переменные владеют своим ресурсом (например, ссылки).

При присваивании (let x = y) или при передаче функции аргумента по значению (foo(x)), владение ресурсами передаётся. В языке Rust это называется перемещением.

После перемещения ресурсов, переменная, владевшая ресурсами ранее, не может быть использована. Это предотвращает создание висячих указателей.

// Эта функция берёт во владение память, выделенную в куче

fn destroy_box(c: Box) {

println!("Уничтожаем упаковку, в которой хранится {}", c);

// `c` уничтожится, а память будет освобождена

}

fn main() {

// Целое число выделенное в стеке

let x = 5u32;

// *Копируем* `x` в `y`. В данном случае нет ресурсов для перемещения

let y = x;

// Оба значения можно использовать независимо

println!("x равен {}, а y равен {}", x, y);

// `a` - указатель на целое число, выделенное в куче

let a = Box::new(5i32);

println!("a содержит: {}", a);

// *Перемещаем* `a` в `b`

let b = a;

// Адрес указателя `a` копируется (но не данные) в `b`.

// Оба указателя указывают на одни и те же данные в куче, но

// `b` теперь владеет ими.

// Ошибка! `a` больше не может получить доступ к данным, потому что

// больше не владеет данными в куче.

//println!("a содержит: {}", a);

// ЗАДАНИЕ ^ Попробуйте раскомментировать эту строку

// Эта функция берет во владение память, выделенную в куче, которой ранее владела `b`

destroy_box(b);

// Поскольку в данный момент память в куче уже освобождена, это действие