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

Подскажите пожалуйста, а эта имплементация Drop корректна, если self.0 —

это &mut T? https://docs.rs/bumpalo/latest/src/bumpalo/boxed.rs.html#320-327

12 ответов

7 просмотров
Ramtaic-Natcher Автор вопроса

Кто сказал, что для поля можно опустить инвариант своего типа после Drop::drop?

Ramtaic Natcher
Кто сказал, что для поля можно опустить инвариант ...

после дропа никто не может твой тип трогать, так что на либрари инварианты уже пофиг

Ramtaic-Natcher Автор вопроса
Ramtaic Natcher
Мутабельные ссылки не от библиотеки

мутабельная ссылка мувается в drop_in_place (если не происходит неявного reborrow, но я полагаю, что не происходит) и исчезает

Max Силинг
мутабельная ссылка мувается в drop_in_place (если ...

Но можно реборровнуть и это не так работает

Пух
Но можно реборровнуть и это не так работает

если там происходит reborrow, то мы получим мутабельную ссылку на невалидное значение, что невалидно

Max Силинг
если там происходит reborrow, то мы получим мутабе...

А это произойдет если мы в дропе оставляем невалидное значение, что уже уб, кмк

Ramtaic Natcher
Нельзя мувать из Drop::drop

логично, что подразумевает, что reborrow всё-таки происходит интересно

Пух
А это произойдет если мы в дропе оставляем невалид...

Если есть пример такого, то я бы глянул

Ramtaic-Natcher Автор вопроса

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

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

Добрый день. Хочу сделать отрисовку по команде на панели. Почему-то рисуется только при втором вызове. С чем может быть связано, не подскажете? procedure TForm1.FormDblClick(...
Kirill Filippenok
20
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
Эх кто-то пришел и весь праздник испортил :( You need complex FBX scene importing setup to change things on import? good luck with that. You need navigation and pathfinding? g...
Serg Gini
5
Всем привет! Нужен совет от опытных. Переношу свой проект с Делфи 10.2 Токио на Лазарус 3.2 установленный через инсталлятор fpcupdeluxe-x86_64-win64. При импортировании проект...
Дмитрий Завгородний
2
Всем привет! Подскажите. Я написал приложение на Delphi 10.2 Tokyo под Windows 10. И передо мной стал вопрос о том чтобы сделать это приложение кроссплатформенным (под Linux и...
Дмитрий Завгородний
24
Какого хера? /Sources/App/Modules/User/Models/UserLinkApple.swift:21:20: warning: stored property '_id' of 'Sendable'-conforming class 'UserLinkApple' is mutable @ID(...
Alexander Sherbakov
14
Привет всем. Подскажите где можно посмотреть, какая версия электрон, поддерживает версии windows? Некий changelog. Мне бы желательно, поддержку 7,8,10... latest, как понимаю и...
Anonym Squad
21
Почему стало ломаться на D11? "739002.86400000' is not a valid timestamp" function IncDateTime(aStamp:TTimeStamp;aKind:TTriggerKind;aInterval:Integer):TDateTime; //aStamp = 2...
Катерина Свиридова
8
у меня программа тысяч на 10 строк. Там в основном моя собственная логика. А по содержанию она просто работает с файловой системой (мастер для бэкапов) и таблицей с данными о ...
Дмитрий Завгородний
5
У тебя в конфиге нигде нет deny all; или вообще любого deny?
Alexander Sherbakov
10
Карта сайта