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

Use std::mem::MaybeUninit; fn main() { let mut uninit

= MaybeUninit::<u8>::uninit();
unsafe {
*uninit.as_mut_ptr() = 1;
}
}
UB or not UB? That's the question

15 ответов

4 просмотра

why yes?

Dmytro Polunin
why yes?

Разыменовывается указатель на невалидный примитивный тип

Mikail Bagishov
Разыменовывается указатель на невалидный примитивн...

здесь такого кстати нет вроде https://doc.rust-lang.org/reference/behavior-considered-undefined.html

Денис
здесь такого кстати нет вроде https://doc.rust-lan...

A reference or Box<T> that is dangling, unaligned, or points to an invalid value.

Денис
а где ссылка создаётся?

При разыменовании указателя

kitsu- Автор вопроса
Dmytro Polunin
why yes?

Вопрос исключительно про оператор звездочка. Для uninit.as_mut_ptr().write(1) УБ вроде как отсутсвует.

нет

с чего это ub, как вообще тогда что то проиницализировать?

Mikail Bagishov
ptr.write(true)

Вообще я так понимаю все наверное в это упирается в данном случае https://github.com/rust-lang/unsafe-code-guidelines/issues/71

Dima
Откуда там ссылка?

Ну возможно и нигде, но что-то типо lvalue там же есть

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

Обсуждают сегодня

Если у меня есть такой класс: Object = {} function Object:new(a_name, a_transform, a_color, a_mesh, a_material, a_shader, a_textures) local private = {} private.n...
Cuarno Vile
4
зачем же переименовывать ? чтобы кол-во участников возросло или вдруг IBM от этого снова на свифте начнет кодить ? Я не понимаю что страшного в том что свифт гавно, если это т...
Oleh Nerzh
10
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Гайз, кто-нибудь пробовал запустить probe-rs под камень, которого нет в probe-rs? Мб есть какой-нибудь пример у кого... Через target-gen попробовал сгенерировать chip-descript...
Максим Смирнов
2
здравствуйте. совершаю вот такую вещь: strcpy(line, (char)current_number); где current number — неподписанный шорт, line — массив чаров. ругань следующая: main.c:29:30: error...
Roberto's Ширгозиев
13
@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Добрый день! Подскажите, пожалуйста: какими компетенциями нужно обладать, чтобы претендовать на работу эрланг (отдельная благодарность, если про элексир тоже подскажете) разр...
via ☸️ led
20
Всем привет. Ребят подскажите пожалуйста. Вопрос по дизасемблировани. Начну с начала. У меня есть скомпилированная программа на ГО (я разработчик) - в ней есть защита лицензии...
Zloy
11
Можно попросить небольшое ревью кода? Тут немнога, я ничего интереснее не придумал, чем написать аналог tree в качестве практики с cmake. https://github.com/hrimov/tree-unix/...
Andrew Hrimov
11
Карта сайта