Go 中循环变量不会导致堆内存分配-Golang

在 go 中，使用 `for i := 0; i 栈上，生命周期严格受限于循环作用域，无需担心 gc 压力或隐式内存开销。

Go 的编译器通过逃逸分析（Escape Analysis） 自动判断变量是否需要在堆上分配。对于像 i 这样的简单整型循环变量，只要它不被取地址、不逃逸出函数作用域、也不被闭包捕获，编译器就会将其优化为栈上分配，甚至进一步优化到 CPU 寄存器中——这意味着它既不产生堆内存申请，也不增加垃圾回收负担。

你可以通过 runtime.MemStats 验证这一点。以下示例程序精确测量了单次 500 次空循环前后的堆内存总分配量（TotalAlloc）变化：

package main

import (
    "fmt"
    "runtime"
)

func loop() {
    for i := 0; i < 500; i++ {
        // 空循环体，仅验证计数器开销
    }
}

func main() {
    var m1, m2 runtime.MemStats
    runtime.ReadMemStats(&m1)
    loop()
    runtime.ReadMemStats(&m2)
    fmt.Printf("TotalAlloc delta: %d bytes\n", m2.TotalAlloc-m1.TotalAlloc)
    // 输出通常为 0 —— 证实无堆分配
}

运行结果几乎总是 0，明确表明该循环未触发任何堆内存分配。

⚠️ 注意：试图“避免” i 变量而改用其他方式（如 for range make([]struct{}, 500)）反而会引入不必要的堆分配——因为切片底层数组必须在堆上分配（除非长度为 0 或极小且满足特定编译器优化条件），这比原生计数器更重。类似地，for range [500]struct{} 虽然避免堆分配（因是数组字面量），但依然隐含索引计数逻辑，且牺牲可读性与灵活性。