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

А какие альтернативы? Можно было бы сделать мув конструкторы но они ансейф, можно сделать нативный саппорт нот мувабл типов - но это просто сахар над пинами. Ещё предложения?

Переписать борроу чекер чтобы он разрешил self-ref

источник

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

polunin.ai in rust_offtopic

То есть чтобы он разрешил писать
let foo = Box::new(foo);
let link = foo.as_ref();
Self {
foo,
link,
}

источник

13:47пожаловаться #5

Alexander Krivitskiy in rust_offtopic

Fortunato

Блин, а можно ещё раз ссылку на объяснение, почему асинк/эвейт в расте - говно?

Pin unsound в теории, а async await unsound вот почему https://github.com/rust-lang/rust/issues/63818

GitHub

Resolve unsound interaction between self-referential generators (incl. async fn) and noalias · Issue #63818 · rust-lang/rust

Self-referential generators violate LLVM's expectations for noalias due to the overlapping bounds of the interior references and the &mut self argument to the Generator::resume func...

источник

13:47пожаловаться #6

polunin.ai in rust_offtopic

Или чтобы вместо бокса был какой-то аналог его, который не разрешает мув внутреннего объекта

источник

13:48пожаловаться #7

polunin.ai in rust_offtopic

И который разрешает взятие ссылок на внутренний объект

источник

13:48пожаловаться #8

Alexander Krivitskiy in rust_offtopic

polunin.ai

Или чтобы вместо бокса был какой-то аналог его, который не разрешает мув внутреннего объекта

Этим аналогом и есть пин)

источник

13:48пожаловаться #9

polunin.ai in rust_offtopic

Нет, пин работает по-другому немного

источник

13:49пожаловаться #10

Fortunato in rust_offtopic

polunin.ai

Ну можно растянуть правки на несколько эдишенов, но я вроде бы не видел подобных предложений

И т.е. теперь в расте есть здоровый бесполезный кусок, который и чем-то хорошим не заменят?

источник

13:49пожаловаться #11

Alexander Krivitskiy in rust_offtopic

polunin.ai

Нет, пин работает по-другому немного

Я им сам ещё не пользовался, но когда читал блоги лодочника, он рассказывал, что именно эту проблему пином и решает

источник

13:50пожаловаться #12

polunin.ai in rust_offtopic

Да, но решает криво. Пин требует пина всей структуры с селф-реф

источник

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

polunin.ai in rust_offtopic

А нужно чтобы был припинен только то поле на которое ссылаются

источник

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

polunin.ai in rust_offtopic

Alexander Krivitskiy

https://doc.rust-lang.org/std/pin/index.html#example-self-referential-struct

doc.rust-lang.org

std::pin - Rust

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

источник

13:53пожаловаться #15

polunin.ai in rust_offtopic

а нужно было чтобы код выглядил как

let foo = Pin::new(foo);
let link = foo.as_ref();
Self {
  foo,
  link,
}

источник

13:54пожаловаться #16

polunin.ai in rust_offtopic

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

источник

13:54пожаловаться #17

polunin.ai in rust_offtopic

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=97b6ab6014d9f6c4ada70f6cc9e17ace

то есть желательно чтобы вот так можно было как-то

источник

13:57пожаловаться #18

Alexander Krivitskiy in rust_offtopic

polunin.ai

А нужно чтобы был припинен только то поле на которое ссылаются

Эм,а это реально вообще? У тебя мув = memcpy всей структуры в рантайме. Чтобы сделать как ты хочешь, компилятор должен автоматом обновить ссылку после мува.

Т.е. когда есть
struct {
A
RefA -> A
}

После мува должно стать

struct {
ACopy
RefA -> ACopy
}

источник

13:58пожаловаться #19

polunin.ai in rust_offtopic

Alexander Krivitskiy

поэтому нужна структура которая копирует только указатель, а данные по указателю никогда не муваются

источник

13:59пожаловаться #20