Perl中非C风格for循环中my变量的作用域及行为疑问

1. C风格for循环为什么不会恢复外部变量原值？ #

Perl的for循环分两种类型，二者对变量的处理逻辑完全不同：

• 非C风格for循环（迭代列表）：比如for (@items)，如果循环里使用不带my的变量（比如直接用$_或自定义变量），Perl会自动对该变量做local（动态本地化）处理——临时保存变量的当前值，循环结束后恢复原值。
• C风格for循环（初始化/条件/递增）：比如for (my $i=0; $i<3; $i++)，这种循环不会自动对循环内的变量做local处理。如果直接修改外部已存在的变量（比如全局变量），修改会直接作用于原变量，循环结束后不会恢复。

举两个对比示例：

非C风格循环示例（自动local） #

$inner = "初始值";
for ("a", "b") {
    $inner = $_;
    print "循环内：$inner\n";
}
print "循环后：$inner\n"; # 输出「初始值」，因为$inner被隐式local

C风格循环示例（无自动local） #

$inner = "初始值";
for (my $i=0; $i<2; $i++) {
    $inner = "修改后$i";
    print "循环内：$inner\n";
}
print "循环后：$inner\n"; # 输出「修改后1」，直接修改了全局变量

2. my（词法作用域）与local（动态作用域）的核心差异 #

• my声明的词法变量：属于代码块级别的作用域（比如循环体、子函数块），只在定义它的代码块内可见，外部无法访问。非C风格循环里用my $var时，每次迭代都会创建一个全新的词法变量，迭代结束后变量就被销毁。
• local处理的动态变量：不是创建新变量，而是临时保存原变量的当前值，在代码块结束后恢复原值。非C风格循环里不带my的变量，本质就是对全局变量做了local处理，所以循环结束后会回到初始状态。

3. my $x与our $x的区别，以及$::x访问问题 #

• my $x：创建一个独立的词法变量，它属于当前的词法作用域（比如当前文件、当前代码块），和全局命名空间的$::x是完全无关的两个变量。即使你在my $x之后给$::x赋值，二者也互不影响——访问$x时取的是词法变量的值，$::x取的是全局变量的值。
• our $x：并没有创建新变量，而是在当前词法作用域内，将$x作为全局变量$::x的别名。也就是说，用our $x后，你在当前作用域里写$x，本质就是访问全局的$::x，二者指向同一个变量。

内容的提问来源于stack exchange，提问作者An5Drama