博客

在定义局部递归函数( rec ursive local function )时，由于原来的方法不适用，所以有一

点是极易出错的。考虑如下的代码：

local fact = function (n)
    if n == 0 then
        return 1
    else
        return n * fact(n-1) --有问题
    end
end

当Lua 语言编译函数体中的

fact(n-1)

调用时，局部的

fact

尚未定义。因此，这个表达式

会尝试调用全局的

fact

而非局部的

fact

。我们可以通过先定义局部变量再定义函数的方式

来解决这个问题：

local fact
fact = function (n)
    if n == 0 then
        return 1
    else
        return n*fact(n-1) --有问题
    end
end

这样，函数内的

fact

指向的是局部变量。尽管在定义函数时，这个局部变量的值尚未确定，

但到了执行函数时，

fact

肯定已经有了正确的赋值。

当Lua 语言展开局部函数的语法糖时，使用的并不是之前的基本函数定义。相反，形如

local function foo (params) body end


的定义会被展开成

local foo; foo = function (params) body end


因此，使用这种语法来定义递归函数不会有问题。

当然，这个技巧对于间接递归函数( indirect recursive function )是无效的。在间接递归

的情况下，必须使用与明确的前向声明( explicit forward declaration )等价的形式：

local f --“前向”声明
local function g ()
    some code
    f(n)
    some code
end
function f ()
    some code
    g(n)
    some code
end

请注意，不能在最后一个函数定义前加上local 。否则， Lua 语言会创建一个全新的局部变

量f ， 从而使得先前声明的f变为未定义状态。

本文摘自《lua程序设计(第四版)》