在 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{} 虽然避免堆分配（因是数组字面量），但依然隐含索引计数逻辑，且牺牲可读性与灵活性。
✅ 最佳实践：
- 直接使用 for i := 0; i —— 简洁、高效、符合 Go 习惯；
- 若真需零变量名（如强调“仅执行 N 次”语义），可封装为辅助函数：
func repeat(n int, f func()) {
for i := 0; i < n; i++ {
f()
}
}
// 使用：
repeat(500, PlayRandomGame)该函数内联后仍保持零堆分配，同时提升表达力。
总之，在 Go 中不必为循环计数器担忧内存开销；与其追求语法上的“无变量”，不如信任编译器的逃逸分析，并优先保障代码清晰性与可维护性。
