TT
тут не такая простая оптимизация
Size: a a a
2019 August 26
TT
но gc-шка поймать по идее должна тот список довольно быстро.
TT
вопрос конечно, будет ли оно автоматически переиспользоваться, если заранее известно, что ссылок на тот список больше нет — не знаю
TT
тут зависит от менеджера памяти и хитрозадости вм
TT
ну и компилятора тоже
TT
вроде тесты где-то видел
TT
ну тесты тестами
TT
и на эликсире, и на эрланге
TT
раньше само собой так и было
TT
но в теории тут можно пооптимизировать управление памятью
TT
ну когда ты в начало списка добавляешь, там все просто — [a | tail]. у тебя два указателя — на весь список и на tail
TT
т.е. tail по построению является частью общего списка, и это иммутабельность гарантирует
TT
в итоге у тебя остается только два указателя
TT
а вот когда list1 ++ list2, ты потом можешь обратиться к list1
TT
и да, просто так in-place ты не можешь последний указатель направить тупо на list2
TT
но в теории, компилятор может проанализировать и выяснить, что нигде дальше ты list1 не используешь (если ты его действительно не используешь, конечно)
TT
тогда значит, что этот list1 можно уже вообще просто вырезать и все
TT
ну а раз его вырезать можно, тогда значит он и не особо нужен, а значит в нем можно указатель с последнего элемента поменять
TT
но это такое. щас найду как списки в эрланге представляются
TT
по идее тут не в этом дело