G
У меня там были графы, и мне нужно было держать ссылки на поля нод из других нод, а потом мутировать поля ещё.
F
Size: a a a
2020 April 04
DS
У меня там были графы, и мне нужно было держать ссылки на поля нод из других нод, а потом мутировать поля ещё.
Арены и погнали
p
Арены и погнали
Нельзя держать две мутабельные ссылки или мутабельную и иммутабельную рядом.
DS
Нельзя держать две мутабельные ссылки или мутабельную и иммутабельную рядом.
Тебе нужна будет только мутабельная ссылка на саму арену
DS
Ссылок на элементы из неё официально не будет, потому что это не ссылки, а индексы в арене
p
Тебе нужна будет только мутабельная ссылка на саму арену
И что мне это даст?
p
Мне нужно в полях хранить ссылки на другие поля
p
Ну тут скорее я хуево продумал все
DS
Мне нужно в полях хранить ссылки на другие поля
Везде где были ссылки, будут индексы на элементы в арене
p
Хм
p
Можно было бы и индексы хранить, да
DS
Считай, что у тебя сишка, только вместо указателей - индексы на арену.
(А это оно и есть, на самом деле, если отключить баунд чеки)
(А это оно и есть, на самом деле, если отключить баунд чеки)
p
А из арены можно вытащить владение?
DS
А из арены можно вытащить владение?
В смысле изъять элемент оттуда?
p
Да
DS
Тут уже зависит от того, как арену сделаешь
DS
Можно через mem::replace
p
Ну я в typed_arena вроде не нашел такого
DS
Если у тебя в арене массив Option, то тогда очевидно как
DS
Ну я в typed_arena вроде не нашел такого
Так делай свою арену под задачу