Которая фантом дату содержит

а, это такие обертки над Closure'ами, которые реализуют trait AnyFunc. AnyFunc — это трейт представляющий функцию которую можно вызвать с заранее неизвестным количеством аргументов

заранее неизвестное количество аргументов

а почему стейтдолжен быть не статик?

красиво

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

я пишу интерпретатор WebAssembly, там есть такая необходимость

ну поидее из не статик нельзя сделать статик

makes sense

ну поидее из не статик нельзя сделать статик

Можно

Ну костылями конечно

копи клон не в счет

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

так в этом то и прикол, что я хочу сделать так, чтобы кложура (возможно хватит обычного указателя на функцию) не захватывала никакой стейт

т.е. есть конейнер функций которые берут в качестве аргумента &mut State. Т.е. State в теории должен жить только на продолжительность вызова Funcs::call

т.е. сттейт не захватывать, но позже получать конкретный стейт?

вово

да, во время вызова Funcs::call должен передаваться этот стейт

а зачем так?

тебе нужен стейт существующий отдельно?

может стоит в статическом методе колл сразу создавать кложуру?

по сути да. Я, как уже упомянул выше, занимаюсь wasm интерпретатором. В васме ты можешь загрузить модуль, а потом вызвать на нем какой-то wasm код. Этот wasm код может обратится к функциям которые определены host'ом (он же embedder). По сути способ взаимодействия с реальным миром.

собственно можно передать все состояние чтобы им владела сама Vm. Но это слишком серьезное ограничение. Тут стоит упомянуть что я работаю над general purpose library, т.е. этой библой смогут пользоваться кто угодно, и поэтому стоит попытаться сделать так что либа накладывает наименьшее количество ограничений

по сути, все это состояние этим хост функциям нужно только во время выполнения. Так есть смысл передавать его только тогда, когда это состояние действительно нужно будет — во время выполнения.

вот собственно почему встают такие вопросы )

может стоит в статическом методе колл сразу создавать кложуру?

поясни плез

ну просто у тебя разбит процесс создания и выполнения метода

почему сразу не сделать fn Funcs::call<State>(&mut State, ...)

а разве тогда не придется убрать из Funcs генерик <State>?

Если придется, то это означает что мы не сможем передать генерик <State> в AnyFunc.

да, наверное в твоем случае правильно было бы fn Funcs::<State>::call(&mut State, ...)

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

или я не совсем понял задачу

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

не совсем понял что ты имеешь ввиду под отдельным конструктором

ну то что ты описал отдельно выглядит так какбудто ты пытаешься создать некую кложуру, сохранить её куда-то в статик контейнер, и потом в нужный момент найти её и стейт ей подходящий и вызвать

ага

все верно

ну т.е. процесс создания и вызова разбит, это действительно нужно?

желательно, так как Funcs потом будут добавлены в виртуальную машину. Значит все что захватят Funcs будет захвачено виртуальной машиной

этого хотелось бы избежать

а когда ты положешь функцию в вм как ты планируешь сохранить её тайп параметр?

vm.push(fn); vm.pop()(state);вм поидее обобщенная коллекция

вот для этого и нужен Box<AnyFunc<State>> )

struct Vm<State> ведь

ого, вм под конкретный стейт

Box<AnyFunc<State>> вот короче источник проблем

да-да, звучит мб сначала странно. Но если подумать — 1 вм 1 эмбедер по сути

эта херня расписывается как Box<AnyFunc<State> + 'static>

а тебе надо что-то типа Box<AnyFunc<State> +'a > where State:'a

А реверс итераторы часом не завезли?

они вроде есть для сущностей которые могут реверсится

кмк

Чего-то для вектора не могу найти

https://doc.rust-lang.org/std/iter/trait.DoubleEndedIterator.html

Box<AnyFunc<State> +'a > where State:'a это предлагается куда?

в выражении такое ненапишешь же, верно?

https://doc.rust-lang.org/std/iter/trait.DoubleEndedIterator.html

nightly :(

В общем нужна функция а ля lower_bound в упорядоченном контейнере, мб есть уже что-то готовое?

а что там найтли

next_back не найтли ж

Box<AnyFunc<State> +'a > where State:'a это предлагается куда?

ну сам бокс куда тебе надо, а where на всю структуру

а тогда откуда возьмется 'a на всю структуру?

типа struct Vm<'a, State> where State:'a + ... { ... f: Box<AnyFunc<State> +'a>, }

А реверс итераторы часом не завезли?

.rev() же, не?

Это если double ended реализован

а тогда откуда возьмется 'a на всю структуру?

ну 'а это абстрактный лайфтайм, всё в расте имеет время жизни даже твой стейт

next_back не найтли ж

rfind нужон

негоже самому писать элементарные функции

ну 'а это абстрактный лайфтайм, всё в расте имеет время жизни даже твой стейт

не, я просто хочу сказать, что получается, что нужно будет добавить 'a в Funcs а поскольку Funcs должен лежать в Vm, получается должен быть Vm<'a>

негоже самому писать элементарные функции

https://doc.rust-lang.org/std/iter/trait.Iterator.html#method.rev

не, я просто хочу сказать, что получается, что нужно будет добавить 'a в Funcs а поскольку Funcs должен лежать в Vm, получается должен быть Vm<'a>

да

https://doc.rust-lang.org/std/iter/trait.Iterator.html#method.rev

то что нужно, спасибо

https://play.rust-lang.org/?gist=1a65f77c426290e70cc3b59ece962aec&version=undefined @c_vld

"having bounds on structs can create more issues than they solve" (C) eddyb

из серии "Красиво сказано"

х)

в общем ты решил всё статиками?

так, приглядись )

все по прежнему, только компилируется )

что изменилось — это убрались баунды из struct FuncX