У меня есть уточняющий вопрос по использованию mem::forget и mem::copy. Есть

Question

У меня есть уточняющий вопрос по использованию mem::forget и mem::copy. Есть

Sized + 'static структура. Два инстанса этой структуры хранятся в в куче. У меня есть NonNull указатели на данные инстансы.

Я получаю мутабельную ссылку на первый указатель, и превращаю второй указатель в Box<T>. Данные из Box я частично переношу, а частично побайтово копирую(через copy_nonoverlapping). После этого фактическим "владельцем" всех данных становится первый инстанс. Соответственно, мне нужно удалить содержимое Box<T> не вызывая деструкторы, но освобождая память в куче. Для этого я делаю mem::forget(*second_boxed).

Уточнить я хотел бы следующие момента:

1. Легитимна ли данная схема с точки зрения safety и с точки зрения менеджмента памяти?
2. NonNull указатель на второй объект по сути становится невалидным. Легитимно ли хранить такой указатель, не приводя его к ссылкам? И вообще чем он отличается от NonNull::dangling?
3. Если моя структура содержала atomic значения, что с ними произойдёт в момент копирования?

#backend #embedded #programming #russian #rust

0

22.07.2022

3 ответов

22 просмотра

Ilya Lakhin Автор вопроса

Денис Котляров
раз никто не пишет, тогда я напишу (просто самому ...

Спасибо за ответ. А чем кастование к Box<ManuallyDrop<T>> лучше просто удаления через forget(T)?

0

23.07.2022

Денис Котляров

Ilya Lakhin
Спасибо за ответ. А чем кастование к Box<ManuallyD...

forget же не удалит из кучи

0

23.07.2022

Денис Котляров · Accepted Answer

раз никто не пишет, тогда я напишу (просто самому хотелось получить более развернутый ответ...) /// 1. про легитимна или нет я не знаю что за second_box и как вам так точно удалось вызвать деструктор Box ведь его код генится компилятором.. Но вам точно надо убедиться в том что вы освободите T и все?! а про освободить(данные в куче) Box но при этом не вызвать деструктор T я бы привел Box через трансмут например к Box<ManuallyDrop<T>> и вызвал деструктор Box получив освобождение по куче но без освобождения по T. (или напрямую дергать апи Allocator и его deallocate) 2. указатель может быть невалидным, а вот ссылки не должны. NonNull требует выравнивания и что-то там еще(??), а dangling (заметь что указатель который генит dangling по документации указывает в фиг знает куда, и UB при чтении или записи) по идее должен просто генерировать не null указатель(+выравнивание и что-то там еще) и по итогу генить NonNull 3. про копирование атомарных значений... я пытался например по c++ точную документацию, но так особо путного не нашел.. но нашел парочку вещей в std.. по памяти атомар должен быть как и тот тип что ты задействовал(UnsafeCell + T), тоесть копировать его можно, есть даже функции намекающие на прямое взаимодействие со значением без атомара (например fn get_mut(&mut self) -> &mut bool) одно дело то что ты скорее нарушишь атомарную очередь (я не знаю как ты там копировал атомар...)

172 похожих чатов

У меня есть уточняющий вопрос по использованию mem::forget и mem::copy. Есть

3 ответов

Похожие вопросы