DK
Гляну, мб у меня есть
Size: a a a
2021 January 26
DK
Пингани вечером
KG
Danila Kiver
Пингани вечером
Ок, спасибо
EG
А где-нибудь есть лог, почему сигнатура
Drop выглядит так, как она выглядит?EG
Решение с
drop(&mut self) очень неоднозначное — drop(self) было бы во многом лучшеr
Решение с
drop(&mut self) очень неоднозначное — drop(self) было бы во многом лучшеKG
Решение с
drop(&mut self) очень неоднозначное — drop(self) было бы во многом лучшеВ варианте drop(self) эту функцию пришлось бы делать магической (хотя сам трейт уже), чтобы не дергать дроп повторно при выходе self из области видимости.
Если хочется именно историю - проще спросить на irlo
Если хочется именно историю - проще спросить на irlo
EG
В варианте drop(self) эту функцию пришлось бы делать магической (хотя сам трейт уже), чтобы не дергать дроп повторно при выходе self из области видимости.
Если хочется именно историю - проще спросить на irlo
Если хочется именно историю - проще спросить на irlo
drop(self) мог бы не иметь права передавать self куда-нибудь по значению или давать дожить до конца скоупаEG
Таким образом, единственным вариантом было бы деконструировать
self через паттерн-матчингEG
Такая схема позволила бы деструктору иметь поля в собственности, а не только мутабельные ссылки на них
EG
В частности тогда бы деструктор мог определять порядок дропа полей в явном виде, например
EG
Кроме того, ушло бы правило «Drop-типы нельзя деконструировать через паттерн-матчинг» и «drop нельзя вызывать вручную»
r
Кроме того, ушло бы правило «Drop-типы нельзя деконструировать через паттерн-матчинг» и «drop нельзя вызывать вручную»
Хм. А как первое правило связано с &mut self?
EG
red75prime
Хм. А как первое правило связано с &mut self?
Первое правило не связано напрямую, но оно само по себе не очень нужно, и если его убрать, то
drop(self) будет менее специальнымEG
А вот из полезного — кажется, такая сигнатура обошла бы много головной боли с dropck
EG
В частности,
#[may_dangle] в такой схеме, кажется, не нужен вообще.EG
Жаль, что вряд ли мы увидим такие радикальные изменения даже со сменой редакции.
D
там еще Pin нарисовался, как эта схема с ним будет работать?
EG
Dima
там еще Pin нарисовался, как эта схема с ним будет работать?
А что меняется?
EG
Pin просто дропает своё единственное поле и всё