Э
И тогда твой юзер получает типы
Ref<T>, где внутри указатель на какую-то твою арену, и арена переживёт этот указатель всегда.Size: a a a
2020 October 17
MS
Я не хочу иметь лайфтаймы во время работы программы.
Э
И лайфтаймов нет, только генерики.
MS
Лайфтаймы гарантируются абстракцией, использующей даункаст.
MS
@iccsf мне кажется ты не можешь мне помочь.
Э
@iccsf мне кажется ты не можешь мне помочь.
Мне кажется, ты пишешь какой-то антирастовый код.
D
Ты просто пытаешься рантайм сделать, но в расте нет рантайма. Чтобы иметь лайфтаймы во время работы программы, а не во время компиляции, нужен рантайм.
что значит нет рантайма? а кто тред-локалы создаёт и дропает?
Э
что значит нет рантайма? а кто тред-локалы создаёт и дропает?
OS и библиотечный код, который просто скрыт за макросами. Да, это рантайм, но это не неявный рантайм, как в языках с GC, просто немного спрятанный.
Э
Но чувак не хочет оборачивать юзер-код в свои макросы, он хочет чтобы юзер просто функции вызывал.
MS
Если ты предложишь макрос, который сделает то, что мне нужно — я буду благодарен.
Э
Если ты предложишь макрос, который сделает то, что мне нужно — я буду благодарен.
Дерайв или процедурка, которая просто меняет ссылки в
State структуре на указатели.Э
А если там внутри кроме ссылок есть всякие
Struct<'a>, то просто ошибку кидать и говорить, что не поддерживается такое.MS
А если нужно поддерживать?
Э
А если юзеру таки надо использовать эту структуру как структуру, а не как фигню с указателями внутри, то тут надо уже весь код, который с этим работает оборачивать в хитрые macro-by-example с магией или просто процедурку на всю функцию вешать, где с этим делом работается.
Э
Но всё это слишком сложно писать, проще заставить юзера пихать всё в
Arc.MS
А если ты не можешь полагаться на системный аллокатор?
Э
А если ты не можешь полагаться на системный аллокатор?
#[no_std]
extern crate alloc;
MS
Аллок это интерфейс к системному аллокатору.