Телеграмм чат группы rust_offtopic страница 22065

Size: a a a

rust_offtopic

468 membersпожаловаться на группу

2021 January 26

Emmanuel Goldstein in rust_offtopic

Все гарантии Pin работают только до вызова деструктора
В момент вызова деструктора они заканчиваются

источник

14:11пожаловаться #1

Emmanuel Goldstein in rust_offtopic

> At a high level, a Pin<P> ensures that the pointee of any pointer type P has a stable location in memory, meaning it cannot be moved elsewhere and its memory cannot be deallocated until it gets dropped

источник

14:12пожаловаться #2

ΑZ

Αλεχ Zhukovsky in rust_offtopic

Emmanuel Goldstein

drop(self) мог бы не иметь права передавать self куда-нибудь по значению или давать дожить до конца скоупа

мне кажется тут куча подводных может быть

источник

14:14пожаловаться #3

ΑZ

Αλεχ Zhukovsky in rust_offtopic

там правильно написали, что в будущем они могут это поменять, а пока так. Учитывая что щас 2021 и я первый раз слышу претензию к тому что дроп по &mut self делается не так уж это нужно чтобы костылить компиль

источник

14:14пожаловаться #4

Emmanuel Goldstein in rust_offtopic

Αλεχ Zhukovsky

Из-за drop(&mut self) сейчас гигантская головная боль с may_dangle, и куча корректного кода невыразима в stable

источник

14:16пожаловаться #5

Emmanuel Goldstein in rust_offtopic

drop(self) фундаментально проще

источник

14:16пожаловаться #6

Dima in rust_offtopic

Emmanuel Goldstein

А что меняется?

не знаю, но там уже есть какие-то костыли с pin и drop-ом https://doc.rust-lang.org/std/pin/index.html#drop-implementation

doc.rust-lang.org

std::pin - Rust

API documentation for the Rust `pin` mod in crate `std`.

источник

14:18пожаловаться #7

Emmanuel Goldstein in rust_offtopic

Dima

не знаю, но там уже есть какие-то костыли с pin и drop-ом https://doc.rust-lang.org/std/pin/index.html#drop-implementation

doc.rust-lang.org

std::pin - Rust

API documentation for the Rust `pin` mod in crate `std`.

Это касается только structural pinning и это ровно точно такая же проблема сейчас

источник

14:20пожаловаться #8

Emmanuel Goldstein in rust_offtopic

Если ты считаешь, что все твои поля запинены, то ты не имеешь права их мувать в дропе

источник

14:20пожаловаться #9

Dima in rust_offtopic

Emmanuel Goldstein

Это касается только structural pinning и это ровно точно такая же проблема сейчас

че-то я не понимаю, вот запинил я свою замечательную self-ref структуру на стеке, а drop(self) считай мне все разъебет, разве нет?

источник

14:24пожаловаться #10

Emmanuel Goldstein in rust_offtopic

Dima

Хм
Окей, согласен, запиненные структуры проще дропать через мутабельную ссыллку

источник

14:25пожаловаться #11

Emmanuel Goldstein in rust_offtopic

*запиненные на стеке

источник

14:25пожаловаться #12

Emmanuel Goldstein in rust_offtopic

Но это можно обойти, если от запиненных на стеке структур требовать, что они не реализуют Drop (но могут реализовывать, скажем, finalize(&mut self))

источник

14:27пожаловаться #13

Dima in rust_offtopic

мне кажется это только создаст проблем

источник

14:29пожаловаться #14

Emmanuel Goldstein in rust_offtopic

Кажется, при аккуратной реализации это даже не требует спешлкейзов в языке (Pin::drop может в определённых случаях вызывать T::finalize(), и негативные баунды на Drop уже неявно разрешены)

источник

14:31пожаловаться #15

Dima in rust_offtopic

что делать с unsized типами ?

источник

14:36пожаловаться #16

Emmanuel Goldstein in rust_offtopic

Dima

что делать с unsized типами ?

У unsized-типов сейчас бывает Drop?

источник

15:56пожаловаться #17