关于词法作用域的疑问：维基百科的Bash示例是否正确？

嘿，这个问题刚好戳中了Bash动态作用域里一个容易混淆的细节，先直接给结论：你的理解是对的，这个维基百科的示例输出大概率存在错误——实际运行这个脚本，echo $x的输出应该是2，而不是1。

咱们一步步拆解执行过程，把每个变量的变化理得明明白白：

步骤1：初始化全局变量 #

$ x=1

此时全局作用域的变量x值为1。

步骤2：定义函数g #

$ function g () { echo $x ; x=2 ; }

g的逻辑很简单：先打印x的值，再把x设为2。注意这里g没有声明local x，所有对x的操作都会遵循Bash的动态作用域规则。

步骤3：定义函数f #

$ function f () { local x=3 ; g ; }

f内部声明了一个局部变量x（值为3），然后调用函数g。

步骤4：执行f函数 #

当执行f时：

1. f创建局部变量x=3，进入自身作用域。
2. 调用g，Bash的动态作用域开始生效：
   • g执行echo $x：会沿着调用栈向上查找x，找到f里的局部变量x=3，所以输出3。
   • g执行x=2：这里是关键——因为g自己没有声明local x，Bash不会修改调用者f的局部变量，而是直接修改全局作用域的x。此时全局x从1变成2。
3. f执行完毕，它的局部变量x被销毁。

步骤5：执行echo $x #

此时全局变量x已经被g改成了2，所以输出是2，而非维基示例里的1。

为什么会出现这个偏差？ #

可能维基的示例混淆了“变量查找”和“变量赋值”的行为：

• 变量查找（比如echo $x）是动态的：会找当前调用栈中最近的变量。
• 变量赋值（比如x=2）如果没有提前声明local，只会修改全局变量，不会影响调用者的局部变量——这是Bash作用域的特殊点，和纯动态作用域语言的行为有区别。

所以结论是：你不需要调整自己的理解，这个维基百科的示例输出存在错误，应该修正为echo $x输出2。

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