list - 映射列表时是否在每次迭代后释放内存？

Question

对不起，如果这是一个初学者的问题，但我需要确定。

调用函数时，它可能会创建临时对象，其内存分配应在退出时释放。

我的问题是:当一个函数映射到一个列表上时，每个函数调用分配的内存是立即释放还是仅在整个列表被处理后释放？

这是一个例子，代码具体做什么没有意义，只是在每个函数调用中创建了两个对象(newList 和 newRec)。

分配给 newList 和 newRec 的内存会在每次“迭代”后释放，还是只有在 List.map 调用退出后才会释放所有内存？

对于命令式语言中的循环，这可能很容易计算出来，但我不知道 F# 编译器如何处理这种情况。

type MyRecord = { AList: int list; Name: string }
let myRecord = { AList = [1..100]; Name = "SomeRecord" }
let foo (arec: MyRecord) i =
    let newList = arec.AList |> List.filter (fun x -> x >= i)
    let newRec = { arec with AList = newList }
    List.sum newRec.AList
let res = [1..100] |> List.map (foo myRecord)

Answer 1

两者都不。 F# 有 automatic memory management基于 garbage collection .导致一 block 内存被释放的不是句法条件，而是运行时条件。一 block 内存在变得无法访问后被释放。

如果有一种方法可以从当前范围内的变量中获取对象，则该对象是可访问的。而函数foo正在执行，newList和 newRec是可达的，所以它们不会被释放。当函数返回时，newList和 newRec不再是直接可达的，但使它们变得自由的是它们也不再是间接可达的。考虑 foo 的以下变体:

let bar (arec: MyRecord) i =
    let newList = arec.AList |> List.filter (fun x -> x >= i)
    let newRec = { arec with AList = newList }
    newRec.AList

当 bar返回， newRec对象不再可达，但 newList object 仍然是，因为它是由函数返回的，因此可以由函数的调用者使用。

自动内存管理意味着您不必关心对象的生命周期。特别是，尝试访问已释放的对象是不可能的¹:通过构造，如果您可以访问一个对象，则它是可访问的，因此不会被释放。

在 foo 的具体情况下, 只要调用 foo返回， newRec和 newList它创建的对象变得无法访问。这并不一定意味着他们会立即被释放；最迟在下一次完整的垃圾收集器运行期间，它们将被释放。无法访问的对象保留多长时间而不被释放是垃圾收集器质量的问题。这是内存使用和性能之间的折衷(运行 GC 经常会留下很少的未收集垃圾，但会花费 CPU 时间；运行 GC 很少会消耗很少的 CPU 时间，但会留下很多未收集的垃圾)。

无论如何，你调用 foo 的事实多次通过 List.map与内存管理无关。当 List.map 时没有什么特别的事情发生返回。

¹ 除非与使用非托管内存的其他语言编写的代码进行交互。