EG
Грубо говоря
Size: a a a
2021 April 15
ΑZ
ну вот нужен пример конкретный
EG
RawWaker это трейт обджект на стеке
ΑZ
а то я плохо понимаю что ребята из фтур делают и почему они не смогли оботйись без хаков
EG
Они хранят vtable рядом с объектом, а не в указателе
ΑZ
мб нужно пропихнуть п ропозал по ослаблению обжект сейфти: например возможность указывать дин.трейтам лейаут или что-нибудь такое
EG
Это позволяет им сохранять трейт обджект на стеке и возвращать его из функции
EG
В этом разница
ΑZ
короче они обходят то что в сигнатуре клона Self а им нужно наебать систему типов и иметь Foo<Self> чтобы на стеке можно было держдать
EG
Типа
Они таким образом выразили
благодаря тому, что размер этого их ад-хок
Они таким образом выразили
trait Foobar {
fn clone(&self) -> dyn Foobar;
}благодаря тому, что размер этого их ад-хок
dyn Foobar известен в компайл-тайме.EG
Принципиальная проблема, которая мешает им это сделать без хуйни, это отсутствие unsized_locals или ещё какого варианта на тему owned stack pointer.
KR
Карлуха всё может)
AN
кажется просто какая то херня уровня системы типов. Ведь никто не мешает в каждый интерфейс который нужно засунуть клон вручную. В чем смысл этого dyn_clone.
AN
В том что это видимо не выражается в текущем расте
AN
Нужно что то вроде
trait MyTrait: BetterDynClone<Target=MyTrait>EG
Ещё раз, смысл в том, что он возвращает «трейт обджект» на стеке
EG
Благодаря тому, что там C++-style трейт обджекты, которые носят vtable с собой
EG
А не в указателе
AN
ты про футуры?
AN
про Wacker этот?