Неа
нет* *но есть провенанс
Что такое провенанс?
указатель «знает» в кт, на какой объект он указывает например, сделать let x: u8 = 0; let y: *const u8 = &x; y.offset(100); невалидно, потому что y будет указывать на кусок памяти, который не относится к x
Ну это сигфолт?
нет, это не сегфолт, это невалидно
Ааа, понял, ага, спасибо
я скинул целых четыре статьи на эту тему. кратко: это делает возможными некоторые оптимизации
Чуть позже прочитаю, спасибо. > это делает возможными некоторые оптимизации А что мешает сделать эти оптимизации зная, что программист соблюдал все правила, написанные в блоке Safety? Или в статьях это тоже написано?
правила, связанные с провенансом, как раз описаны в блоке Safety
https://t.me/rust_beginners_ru/180411 ?
Обсуждают сегодня