Привет, подскажите, безопасен ли след. код, если я уверен что

ссылка будет жить до завершения процесса?

https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=b19b23eaeaa1081d183d70fdfd0d6eca

19 ответов

5 просмотров

Да

Если приходиться использовать transmute для изменения срока жизни на ststic, значит что то в программе неправильно, и это можно выполнить без static

Нет

A-A Автор вопроса
A A
Почему?

Потому что ничто не мешает дропнуть v и словить УБ

A-A Автор вопроса
Jøhn Đøꝩsøn
Потому что ничто не мешает дропнуть v и словить УБ

А если я уверен что v живет до завершения процесса?

A A
А если я уверен что v живет до завершения процесса...

Лучше доказать это компилятору сейфовыми методами

A-A Автор вопроса
Jøhn Đøꝩsøn
Лучше доказать это компилятору сейфовыми методами

Не знаю как доказывать, ансейф и ffi, отрезок кода приложить не могу - слишком много выйдет

A A
А если я уверен что v живет до завершения процесса...

Если есть в наличии не ссылка, а сама штуковина на которую оно ссылается, то можно в бокс завернуть, ликнуть и сделать статическую ссылку, она по идее уже точно никуда не убежит. А наличие просто ссылки ничего не гарантирует, потом случайно в другой контейнер переложится и ссылка невалидная станет.

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

Пух
А точнее?

Само преобразование безопасно. Просто использование может привести к UB

Алишер Галиев
Тогда лучше не пытаться обмануть компилятор, а про...

Плохой совет, сырые указатели не содержат лайфтаймы

Антон 🇦🇲
Плохой совет, сырые указатели не содержат лайфтайм...

Вот именно. Это лучше чем обманывать компилятор и расширять время жизни. Если уверен что живет вечно, то вперёд, используй сырые указатели Он же уверен что время жизни 'static

Антон 🇦🇲
Box::leak — это не обман компилятора

Конкретно box leak нет, так как освобождения не будет. Но он то меняет время жизни конкретной ссылки, а не владеющей структуры

Алишер Галиев
Само преобразование безопасно. Просто использовани...

Но трансмутить лайфтаймы вроде само по себе не уб

Алишер Галиев
Само преобразование безопасно. Просто использовани...

было задано условие «если уверен, что будет жить до конца процесса»

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

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

а что делать если тебя убивают на картах?
Yarik yarik kyda ti lezesh
43
Всем привет, может уже кто-то пытался выдернуть из api информацию о дате рождения пользователя Есть ли вообще такая возможность?
Artem Stormageddon
2
Подскажите где можно прочитать про реализацию возможности писать человеку при подписке на телеграм канал от имени бота? Было бы не плохо если для Telegraf@3.38.0
Pan Lipton
10
Мне вот что интересно, кто на рфе стартовал/играл, что вы фармили, в каком виде контента он прямо хорош? Экспедиция? Вроде прямо на замазанных мапах рф сдувается
Владислав
20
Ребята, я за проф советом😅 По микросервисам. В монолите есть общие файлы для сервисов: фетчи, конфиги, либы, утилсы.. как при распиле правильно их поддерживать? Пока вариант д...
Александр Тарасюк
1
‌/r/pathofexile moderation changes top scoring links : pathofexile (RSS) Hi, everyone. On behalf of the subreddit mod team, I’m here to give you a few updates on the subreddi...
Esionru
3
всем привет. я правильно понимаю, что в телеграфе 4, если сессию указать у сообщения с коллбеком (кликнул на кнопку и установил сессию), то она не сохраняется?
Тимур
1
У меня вопрос к знающими, стоит ли вступать в гильдии в игре или лучше полная свобода?
Енот Полоскун
17
У вас бывает ощущение, что хочется потратить весь отпуск на то, чтоб только спать?
Николай
15
Как можно настроить фильтр в пое под себя?
Yarik yarik kyda ti lezesh
15
Карта сайта