Lua中嵌套函数B的local声明对Man/Boy测试结果的影响疑问

核心问题出在Lua的变量作用域与闭包捕获规则上，结合Man/Boy测试的递归逻辑，具体拆解如下：

1. 全局B与局部B的本质区别 #

• 当你写function B()时，Lua会在全局环境中创建一个名为B的函数，每次调用外层函数A时，都会覆盖这个全局变量的值。
• 当你写local function B()时，B是仅属于当前A调用实例的局部变量，每个A的递归调用都会生成独立的B实例，互不干扰。

2. 测试逻辑中的关键矛盾点 #

Man/Boy测试的核心是通过递归传递闭包来维护状态。当k递减到0时，会执行x4()——这个x4是之前某次A调用传入的B函数，它需要捕获当时A调用的x1~x5参数来完成递归。

• 若B是全局函数：
  递归过程中，每一次A调用都会重新定义全局的B。当首次触发k<1的分支时，全局B已经被后续的A调用覆盖成了新的函数，此时x4()调用的是最新的全局B，而非最初传入的、绑定了对应参数的那个闭包，导致参数传递完全错误，最终返回1。
• 若B是局部函数：
  每个A调用生成的B都是独立的局部闭包，会捕获当前A调用的x1~x5参数。当执行x4()时，调用的是正确的、绑定了对应递归状态的闭包，参数传递符合测试逻辑，最终返回0。

3. 关于"调用A前B的值都是nil"的补充 #

不管B是全局还是局部，在第一次调用A之前，B都未被定义：全局B要等A第一次执行到function B()时才会创建；局部B仅存在于A的函数作用域内，外部根本访问不到，所以自然都是nil，这和测试结果无关。

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