Как Rust обманывает процессор. Часть 2: niche сквозь крейты, dropck, Pin и провенанс указателей

06.05.2026 14:51:03 | Хабр

Хабы: Rust, Системное программирование, Компиляторы, Параллельное программирование

В первой части мы обсуждали niche-оптимизацию, drop flags, MIR, Stacked Borrows и async-стейт-машины. В комментариях справедливо заметили (спасибо, Mingun): про niche рассказано в простой форме - Option<&T> и NonZeroU8.

А что происходит, когда enum живёт в одном крейте, оборачивается в newtype в другом, и оба варианта внешнего enum хранят один и тот же внутренний? У такого внешнего типа всего четыре состояния, байта должно хватить. Хватит ли? Зависит от того, как rustc считает layout. Об этом и поговорим.

Во второй части идём глубже: niche сквозь границы крейтов, variance, Pin и самоссылающиеся футуры, dropck с #[may_dangle], Tree Borrows вместо Stacked Borrows и strict provenance. Без этого половина unsafe-кода в экосистеме держится на честном слове.

Подробнее

Читайте также

Учёные МАИ создали титановый сплав, который лучше поглощает удары и легче аналогов
06.05.2026 14:45:00 | ferra.ru

Как на самом деле устроен кэш в controller-runtime, и почему ваш оператор не кладёт apiserver
06.05.2026 14:31:09 | Хабр

Ответы с «деврел-супервизии», вопрос первый: возрастно-статусные сомнения
06.05.2026 14:30:12 | Хабр

Хотелось пополнить резюме, а написала LSM-движок с MVCC, снапшотами и Value Log на чистом Go
06.05.2026 14:30:11 | Хабр

Болит спина? Зарядка
06.05.2026 14:17:58 | Хабр

Собственная LLM в корпоративном контуре: как мы собрали RAG на n8n и сократили расходы в 5,5 раза
06.05.2026 14:15:32 | Хабр

Технологическая составляющая 5G — что скрывается за хайпом
06.05.2026 14:07:08 | Хабр

Почему чат‑бот не справляется с юридической работой и чем от него отличается ИИ‑агент
06.05.2026 14:05:56 | Хабр

Минпромторг заявил, что прорабатывает с Минфином введение поэтапного НДС на иностранные товары с 2027 года — но сам поддерживает ставку сразу в 22%
06.05.2026 14:01:31 | vc.ru

Год с Claude Code: как собрать рабочую конфигурацию с первого запуска
06.05.2026 14:00:52 | Хабр

В России на 50% выросли мощности для хранения и обработки данных
06.05.2026 14:00:00 | ferra.ru

Голосуй, или проиграешь! разбор фишинга, который пытается угнать Telegram
06.05.2026 13:31:33 | Хабр

OneOCR — скрытая OCR внутри Windows 11
06.05.2026 13:29:50 | Хабр

Как я перестала держать дедлайны на ручном контроле
06.05.2026 13:29:15 | Хабр

Власти США предупредили об опасной уязвимости в Linux
06.05.2026 13:23:05 | ferra.ru

«Алгоритмы на языке Go». Книга, которую ждали
06.05.2026 13:22:45 | Хабр

Как Runtime Radar помогает обнаруживать атаки на цепочку поставок: кейс LiteLLM
06.05.2026 13:20:51 | Хабр

Топ новостей инфобеза за апрель 2026 года
06.05.2026 13:18:18 | Хабр

Эксперт: Уязвимость Copy Fail не позволяет полностью захватить российскую Astra Linux
06.05.2026 13:15:00 | ferra.ru

Самодельные компьютеры, которые запустили цифровую Россию
06.05.2026 13:03:31 | ferra.ru

Cursor удалил прод за 9 секунд, а Zig и JVM запретили AI-коммиты
06.05.2026 13:03:15 | Хабр

Гонка ИИ-вооружений — как LLM вносят уязвимости в код и как другие LLM их находят
06.05.2026 13:01:50 | Хабр

GenAI и кибербезопасность в e-commerce: как защитить бизнес и не создать новые уязвимости
06.05.2026 12:56:22 | Хабр

Я три года рос на Озоне. Поднял цены — и продал на 700 тысяч меньше
06.05.2026 12:54:41 | Хабр

Российский бизнес переходит к единой цифровой среде общения
06.05.2026 12:47:14 | it-world

Аутентификация и авторизация в Python: сессии и JWT токены в Backend-разработке
06.05.2026 12:42:24 | Хабр

Identity-First Security: почему периметр умер окончательно и что приходит ему на смену
06.05.2026 12:36:10 | Хабр

Kodacode для бизнеса: SaaS с инфраструктурой в РФ и on-premise
06.05.2026 12:32:20 | Хабр

Как я случайно пробежал марафон: дисциплина ИТ-шника на дистанции 42.2
06.05.2026 12:31:35 | Хабр

У-Дэ для менеджера: мой личный кодекс
06.05.2026 12:30:40 | Хабр

Цирк уехал, а управление осталось: как разные менеджеры ломают разработку
06.05.2026 12:29:45 | Хабр

Диплом в IT — бесполезная бумажка или скрытый фильтр? Проверяю экспериментом
06.05.2026 12:22:30 | Хабр

Методика ФСТЭК к приказу № 117: Обзор требований к безопасности ИИ
06.05.2026 12:21:41 | Хабр

IT-специалисты и разработчики игр покидают Россию
06.05.2026 12:16:57 | it-world

Португалия увеличила срок проживания в стране для получения гражданства до десяти лет
06.05.2026 12:02:30 | vc.ru

Смотреть все

НОВОСТИ

Пожар в здании панорамы Севастополя локализован, есть риск обрушения купола
10.06.2026 15:55:52 | Life.ru

«Не базовое умение, а головоломка»: Почему зумеры теряются перед циферблатом и стремянкой
10.06.2026 15:54:50 | Life.ru

Путин на совещании с членами правительства. Видеотрансляция
10.06.2026 15:53:55 | ТАСС

Лантратова: новый омбудсмен Москвы хорошо знаком с социальной сферой
10.06.2026 15:53:37 | ТАСС

ВСУ атаковали здание Панорамы Севастополя дроном с кумулятивным зарядом
10.06.2026 15:53:23 | Life.ru

В Крыму предложили переименовать улицы, названные именами убивших Александра II
10.06.2026 15:53:16 | ТАСС

США и страны НАТО обвинили Иран в "покушениях на убийство" евреев
10.06.2026 15:52:28 | ТАСС

В деле о нападении на одну из крупнейших букмекерских контор России поставили точку
10.06.2026 15:51:43 | Lenta.ru

Людмила Бабушкина поздравила Свердловскую филармонию с 90-летием
10.06.2026 15:51:08 | ТАСС

Постпред США: Трамп задействует ВС, если Иран не заключит сделку в разумные сроки
10.06.2026 15:50:02 | ТАСС

Власти потребовали от российской многодетной семьи снести свой дом
10.06.2026 15:49:53 | Lenta.ru

Туристка умерла в Австралии после укуса комара с редчайшим вирусом
10.06.2026 15:49:35 | Life.ru

Древаль назвал удар по панораме в Севастополе атакой на культурную идентичность
10.06.2026 15:49:31 | ТАСС

Врач назвал бессмысленной тратой денег один гаджет для здоровья
10.06.2026 15:49:23 | Lenta.ru

В Словакии впервые за 17 лет родились сиамские близнецы
10.06.2026 15:49:00 | Российская Газета

В Словакии впервые за почти 20 лет родились сиамские близнецы
10.06.2026 15:49:00 | Российская Газета

ВСУ ударили не менее восьми раз по зданию МЧС в Каменке-Днепровской
10.06.2026 15:48:29 | ТАСС

Депутаты Госдумы приняли закон о создании суда Путинского района в Грозном
10.06.2026 15:48:12 | Life.ru

Россиянок призвали носить кольца на пальцах ног
10.06.2026 15:47:02 | Lenta.ru

В Канаде пилота обвинили в совершении 900 авиарейсов без действующей лицензии
10.06.2026 15:47:00 | Российская Газета

В БК "Пари НН" опровергли информацию о долгах по зарплате
10.06.2026 15:46:56 | ТАСС

Все здание панорамы обороны Севастополя выгорело после удара ВСУ
10.06.2026 15:46:38 | ТАСС

Трамп закончил пост словами «слава Аллаху»
10.06.2026 15:46:35 | Lenta.ru

Кладоискатель-любитель нашел редчайшее золотое кольцо времен Древнего Рима
10.06.2026 15:45:15 | Lenta.ru

«Подсунули пасквиль»: В России раскрыли, кто состряпал письмо Путину от лица Зеленского
10.06.2026 15:45:09 | Life.ru

Несколько фрагментов полотна "Оборона Севастополя" вынесены из здания панорамы
10.06.2026 15:43:56 | ТАСС

Юмор не прогрузился: Учительнице пришлось уволиться после шутки про «Лёшу-404»
10.06.2026 15:43:30 | Life.ru

Создан ИИ-эксперт для оценки экономических последствий градостроительных решений
10.06.2026 15:43:26 | ТАСС

Студент из Екатеринбурга лично представил свою разработку главе Apple
10.06.2026 15:43:16 | Life.ru

Отец пленного солдата ВСУ сдал координаты сослуживцев и попытался обмануть ВС РФ
10.06.2026 15:43:00 | Российская Газета

Офис Нетаньяху жестко ответил на заявления Эрдогана
10.06.2026 15:42:59 | Lenta.ru

Развожаев: удар по зданию панорамы в Севастополе был осуществлен кумулятивным зарядом
10.06.2026 15:42:31 | ТАСС

В Москве более 500 активистов МГЕР провели флешмоб ко Дню России
10.06.2026 15:42:31 | ТАСС

ТАСС: британский самолет-разведчик прошел у границ Прибалтики и Финляндии с РФ
10.06.2026 15:42:24 | ТАСС

В Петербурге подросток утонул в реке Охте
10.06.2026 15:42:06 | ТАСС

Все новости

ВСЕ НОВОСТИ

ПИШИТЕ

Техническая поддержка проекта ВсеТут

info@vsetut.pro