在Julia中，为何内存分配总量相同但分配次数差异极大？

API 探路者

2026-7-15

关于Julia中可变/不可变struct内存分配与@time统计的解答

你的猜想大部分是正确的，以下是具体细节和补充说明：

可变与不可变struct的内存分配逻辑
用mutable struct定义的可变结构体实例始终在堆上分配，因为可变性要求实例创建后能被修改，而栈内存是静态、无法动态调整的。每次调用gM(n)创建新的可变struct实例时，都会触发一次堆内存分配，因此分配次数会和n成正比。
默认的不可变结构体（struct）实例通常在栈上分配，栈内存由编译器自动管理，分配和释放效率极高，且不会被@time这类工具统计。只有当不可变struct满足以下条件时，才会被分配到堆上：
- 实例体积过大，超过栈的默认大小限制
- 实例被捕获到闭包中，或需要存储到堆上的容器（比如Vector）内
- 实例包含可变字段（比如嵌套了可变struct）
@time宏的统计范围
@time确实仅统计堆内存的分配情况，栈内存的使用不会被计入分配次数或分配总量。这就是gI(n)分配次数为常数的原因——它创建的不可变struct大多在栈上，仅可能在初始化阶段有少量堆分配，后续循环不会新增堆分配操作。
蒙特卡洛模拟内存占用过高的核心原因
尽管可变与不可变struct的总堆内存分配量相同，但频繁的堆分配会带来更高的GC（垃圾回收）压力。大量小对象的频繁分配与回收会导致程序内存占用波动明显，甚至产生性能损耗，这大概率是你观察到内存占用过高的主要原因。