为何这段含动态作用域的Perl程序输出1而非预期的2？

这段代码的核心问题在于Perl对动态作用域变量（local声明）和嵌套子例程的处理逻辑，具体拆解如下：

• 变量类型与作用域本质
  代码里的$x是全局包变量（未用my声明），local的作用是给这个全局变量创建一个动态作用域的临时副本，副本的生效范围仅限当前代码块或子例程的执行上下文。但Perl的嵌套子例程（比如q和r定义在p内部）并非真正的词法嵌套，它们会在编译阶段被直接提升为包级全局子例程，不会每次调用p时重新创建。

• 子例程q的变量绑定规则
  当p被编译时，内部的sub q会被提前定义，此时q里的$x会绑定到定义它时所在的动态作用域——也就是p中第一个local $x = 0;创建的全局变量副本，而非调用q时的动态作用域。

• 执行流程逐步解析

  1. 调用p()后，先创建$x=0的动态副本，接着定义q和r（此时q已绑定到$x=0的副本）。
  2. 随后创建$x=2的新动态副本，调用r()。
  3. 进入r()后，创建$x=1的动态副本，接着调用q()：q()修改的是它绑定的$x=0的副本（改为2），而非r()中$x=1的副本。
  4. 最后print($x)打印的是r()自身的local $x=1，所以输出1。

如果想让q()修改r()中的$x，需要把$x改成词法作用域变量（用my声明），让嵌套子例程形成闭包捕获调用时的词法上下文，示例修改如下：

sub p {
   my $r = sub {
       my $x = 1;
       my $q = sub {
           $x = 2;
       };
       $q->();
       print($x);
   };

   $r->(); 
}

p();

这段代码会输出2，因为q作为词法子例程，捕获了r内部my $x的词法作用域，调用时会直接修改该变量。

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