MB
Значит без структуры Pin у которой unsound дырки есть
Проще поправить косяк в имеющемся пине, чем городить что-то новое (с новыми I-unsound багами)
Size: a a a
2020 April 11
p
Проще поправить косяк в имеющемся пине, чем городить что-то новое (с новыми I-unsound багами)
Ну на самом деле нужно было сделать чтобы следующий код был валидным:
let data = Pin::new(1);
let link = data.as_ref();
Struct { data, link }
let data = Pin::new(1);
let link = data.as_ref();
Struct { data, link }
MB
Если у тебя есть более простое решение для самоссылающихся структур - расскажи, интересно.
p
Если у тебя есть более простое решение для самоссылающихся структур - расскажи, интересно.
Переписать борроучекер чтобы вариант выше можно было делать
MB
Ну на самом деле нужно было сделать чтобы следующий код был валидным:
let data = Pin::new(1);
let link = data.as_ref();
Struct { data, link }
let data = Pin::new(1);
let link = data.as_ref();
Struct { data, link }
А если я хочу брать ссылку на поле напрямую, а не на его дереф?
p
Pin::new() создаёт объект на хипе и гарантирует что он будет находиться там постоянно. Борроу чекер переписанный видит что link ссылается на объект на хипе.
Э
Переписать борроучекер чтобы вариант выше можно было делать
А такой вариант - UB.
MB
Pin::new() создаёт объект на хипе и гарантирует что он будет находиться там постоянно. Борроу чекер переписанный видит что link ссылается на объект на хипе.
В чем отличие такого Pin::new() от Box::pin()?
p
А такой вариант - UB.
Почему?
Э
А, нет, это я под вечер не вижу ничего и ошибся.
p
В чем отличие такого Pin::new() от Box::pin()?
Ну или так, без разницы. Суть в том, что компилятор не разрешает в структуру воткнуть ссылку так как мувается data. И компилятор считает что мувается полностью data со всеми полями, хотя мувается на деле только поинтер.
Э
Ну, выйдет Polonius, будет можно так делать. Или нельзя. Скорее нельзя, потому что Box внутри - Unique. А unique<T> - это PhantomData<T>, и считается как объект, а не указатель.
MB
Ну или так, без разницы. Суть в том, что компилятор не разрешает в структуру воткнуть ссылку так как мувается data. И компилятор считает что мувается полностью data со всеми полями, хотя мувается на деле только поинтер.
Я так понимаю, что необходимо и достоточно
PinDeref {
type Target;
fn deref<'a>(&self) -> &'a Target where self: 'a {}
}
(Аналогично PinDerefMut).
Интересно, можно ли такое реализовать
PinDeref {
type Target;
fn deref<'a>(&self) -> &'a Target where self: 'a {}
}
(Аналогично PinDerefMut).
Интересно, можно ли такое реализовать
MB
Я так понимаю, что необходимо и достоточно
PinDeref {
type Target;
fn deref<'a>(&self) -> &'a Target where self: 'a {}
}
(Аналогично PinDerefMut).
Интересно, можно ли такое реализовать
PinDeref {
type Target;
fn deref<'a>(&self) -> &'a Target where self: 'a {}
}
(Аналогично PinDerefMut).
Интересно, можно ли такое реализовать
во всяком случае, такой трейт автоматически решает все проблемы с борровингом содержимого Box-ов
В
Кто в процедурных макросах разбирается, как мне проверить что в
А то там такой страшный и вложенный тип получается у
syn::ItemImpl self_ty это path::Wrapper<path2::Type> и потом вытащить эти самые path::Wrapper и path2::Type?А то там такой страшный и вложенный тип получается у
self_ty, что я не понимаю как к нему подойти...2020 April 12
В
(пути я не знаю, но дженерик парараметр должен быть один и задан)
K
Подскажите что такое idiomatic rust wrapper?
K
ну всмысле идея какая?
K
Я хочу сделать враппер вокруг буллета (физики), есть где посты про то, что значит идиоматик и как удобнее сделать враппер?)
В
Не знаю что именно (и где) имеют в виду идеоматичным, но wrapper это обычно просто
struct Wrapper(Type);