Haskell实现解释型语言的垃圾回收遍历字符串字面量异常解决方案问询

问题核心原因 #

你的GC根集合设计存在疏漏：目前仅将作用域内的变量纳入根扫描范围，但求值过程中未绑定到变量、仍在被执行上下文使用的临时值（比如ForEach遍历的目标列表本身）本就属于GC根的一部分，缺失这部分根就会导致你遇到的中途回收问题。

成熟解决方案 #

1. 扩展GC根范围，纳入执行上下文的活跃临时值

这是最标准的解法：所有解释器执行栈的栈帧中存储的临时值（比如ForEach执行时持有的遍历目标列表、当前遍历下标、表达式求值的中间结果等）全部加入GC的根集合参与可达性分析。
你在实现时只需要在GC触发时，遍历当前所有活跃栈帧，把其中存储的所有Value都作为起点做可达性扫描即可。比如正在执行的ForEach持有完整的ListV值，扫描到这个ListV时，它内部存储的所有元素地址都会被标记为可达，不会被提前回收。
如果你的求值器是用递归实现的，没有显式的栈结构，也可以在状态中加一个activeTemps :: [Int]字段，求值到临时值时把对应的地址加到这个集合里，求值完成后移除，GC扫描时把这个集合也作为根即可。

2. 静态字面量池优化

针对字符串、数值这类字面量，可以单独维护一个全局的静态字面量池，所有字面量分配的地址永远标记为不可回收。这个方案不仅能解决你当前的问题，还能复用相同字面量的内存，降低分配开销。

3. 通用临时根集合

你之前考虑的「新增整数集合存手动标记的可达地址」其实是工业界GC的常规实现，一点都不优雅，通常被称为「临时根集合」，专门用来存放那些还没绑定到变量、但求值器正在使用的地址。你只需要在临时值的生命周期开始时把地址加入集合，生命周期结束时移除即可，这个方案可以覆盖所有临时值的保活需求，而不是只针对ForEach场景做特殊处理。

关于字符串设计的说明 #

你把字符串处理为字符列表的实现逻辑是合理的，很多支持可变字符序列的语言都是这么做的，问题完全出在GC根扫描的范围不全，不需要修改字符串的处理逻辑。

内容的提问来源于stack exchange，提问作者Alejandro De Cicco