循环变量是否总是全新创建？结合代码示例分析其机制

架构老林

2026-5-25

是的，该for-in循环确实会创建独立的局部循环变量

从你的代码运行结果就能直接得出这个结论：外部的n在循环前后始终保持700，完全不受循环内同名变量的影响，这和C系语言中带变量声明的for循环（for (int n = 1; n <= 3; n++)）行为一致，而非复用外部变量的写法。

具体分析：

你的代码中，外部的var n = 700定义了一个main函数作用域的局部变量；
当执行for n in 1..3时，这个n是循环作用域内的新变量，和外部的n只是名字相同，但存储位置、作用域完全独立；
循环过程中修改的是这个新的循环变量，外部的n根本不会被触碰，所以循环结束后外部n的值还是初始的700。

对比C系两种写法的差异：

如果是for (int n = 1; n <= 3; n++)：循环变量是新创建的，外部同名变量不受影响，和你现在的语言行为一致；
如果是for (n = 1; n <= 3; n++)：复用外部的n，循环结束后n会变成4（因为循环条件是n<=3，最后一次递增后n=4才退出），这和你代码的运行结果完全不同。

这种设计是很多现代编程语言的选择，目的是避免循环变量污染外部作用域，减少因变量复用导致的意外bug。

你的代码示例：

proc main() {
    var n = 700;
    writeln( "n (before loop) = ", n );
    for n in 1..3 {
        writeln( "n = ", n );
    }
    writeln( "n (after loop) = ", n );
}