动态作用域下Procedural Language调用链可见变量归属查询问题

最终结论 #

最后激活的子程序是Sub2，所有可见变量及对应声明单元如下：

• Sub2.A
• Sub2.B
• Sub2.Z
• Sub3.X
• Sub3.W
• Sub1.Y

动态作用域的核心规则是：变量沿着运行时调用栈向上查找最近的同名声明，和代码的静态嵌套位置无关。本题调用栈顺序为Sub2 → Sub3 → Sub1 → Main，Sub2自身声明的变量优先级最高，缺失的变量依次向上从调用者的声明中查找，所有变量在Sub1层及以上就已全部匹配，Main层的X/Y/Z被上层同名变量覆盖，不可见。

可运行验证代码 #

你选用的Perl非常适合验证动态作用域，local关键字就是动态作用域的原生实现，修改后的代码如下：

# 对应Main过程声明的X/Y/Z
$X = 1;
$Y = 2;
$Z = 3;

sub Sub2 {
    # Sub2自有变量
    local $A = 31;
    local $B = 32;
    local $Z = 33;

    print "Sub2执行期可见变量：\n";
    print "A = $A → Sub2.A\n";
    print "B = $B → Sub2.B\n";
    print "Z = $Z → Sub2.Z\n";
    print "X = $X → Sub3.X\n";
    print "W = $W → Sub3.W\n";
    print "Y = $Y → Sub1.Y\n";
}

sub Sub3 {
    # Sub3自有变量
    local $A = 21;
    local $X = 22;
    local $W = 23;
    Sub2();
}

sub Sub1 {
    # Sub1自有变量
    local $A = 11;
    local $Y = 12;
    local $Z = 13;
    Sub3();
}

# Main调用入口
Sub1();

运行后输出的变量值和我们的结论完全匹配。

补充说明 #

你之前的测试代码逻辑是正确的，输出9而不是全局的10，就是动态作用域的典型表现：Sub2中查找X时，会优先取调用它的Sub1中声明的X，而不是代码定义位置外层的全局X，这也是和你熟悉的C/Java使用的静态作用域最大的差异。

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