Lua中的closure（闭合函数）

词法域：若将一个函数写在另一个函数之内，那么这个位于内部的函数便可以访问外部函数中的局部变量，这项特征称之为“词法域”。

例：假设有一个学生姓名的列表和一个对应于没个姓名的年级列表，需要根据每个学生的年级来对他们的姓名进行排序（由高到低）。可以这么做：

names = {"Peter", "Paul", "Mary"}

grades = {Mary = , Paul = , Peter = }

table.sort(names, function (n1, n2)

        return grades[n1] > grades[n2]      -- 比较年级

    end)

现在假设单独创建一个函数来做这项工作：

function sortbygrade (names, grades)

    table.sort(names, function (n1, n2)

        return grades[n1] > grades[n2]        -- 比较年级

     end)

end

上例中有一点很有趣，传递给sort的匿名函数可以访问参数grades，而grades是外部函数sortbygrade的局部变量。在这个匿名函数内部，grades既不是全局变量也不是局部变量，将其称为一个“非局部的变量（non-local variable）”。

为什么在Lua中允许这种访问呢？运因在与函数是“第一类值”。考虑一下代码：

function newCounter()

    local i =

    return function ()      -- 匿名函数

        i = i +

        return i

    end

end

c1 = newCounter()

print(c1())     --> 1

print(c1())     --> 2

在这段代码中，匿名函数访问了一个“非局部的变量”i，改变两用于保持一个计数器。出刊上去，由于创建变量i的函数（newCounter）已经返回，所以之后每次调用匿名函数时，i都应该是已超出作用范围的。但其实不然，Lua会以closure的概念来正确地处理这种情况。简单地说，一个closure就是一个函数加上该函数所需访问的所有“非局部的变量”。如果再次调用newCounter，那么它会创建一个新的局部变量i，从而也将得到一个新的closure：

c2 = newCOunter()

print(c2())    --> 1

print(c1())    --> 3

print(c2())    --> 2

因此c1和c2是同一个函数所创建的两个不同的closure，它们各自拥有局部变量i的独立实例。

从技术上讲，Lua中只有closure，而不存在“函数”。因为，函数本身就是一种特殊的closure。不过只要不会引起混淆，仍将采用属于“函数”来指代closure。

在很多场合中closure都是一种很有价值的工具。就像只前所看到的，它们可作为sort这类高阶函数的参数。closure对于那些创建其他函数的函数也很有价值，例如前例中的newCounter。这种机制使Lua程序可以混合那些在函数式百年成世界中久经考验的编程技术。另外，closure对于回调函数也很有用。这里有一个典型的例子，假设有一个传统的GUI工具包可以创建按钮，每个按钮都有一个回调函数，每当用户按下按钮时GUI工具包都会调用这些回调函数。再假设，基于此要做一个十进制计算器，其中需要10个数字按钮。会发现这些按钮之间的区别其实并不大，仅需在按下不同按钮时做一些稍微不同的操作就可以了。那么可以使用以下函数来创建这些按钮：

function digitButton (digit)

    return Button{ label = tostring(digit),

                   action = function ()

                                add_to_display(digit)

                            end

                    }

end

closure在另一种情况中也非常有用。例如在Lua中函数是存储在普通变量中的，因此可以轻易地重新定义某些函数，甚至是重新定义那些预定以的函数。这正是Lua相当灵活的原因之一。通常当重新定义一个函数的时候，需要在新的视线中调用原来的那个函数。举例来说，假设要重新定义函数sin，使其参数能使用角度来替换原先的弧度。那么这个心寒数就必须得转换他的实参，并调用原来的sin函数完成真正的计算。这段代码可能是这样的：

oldSin = math.sin

math.sin = function (x)

    return oldSin(x*math.pi/)

end

还有一种更彻底的做法是这样的：

do

    local oldSin = math.sin

    local k = math.pi/

    math.sin = function (x)

        return oldSin(x*k)

    end

end

将老版本的sin保存到了一个私有变量中，现在只有通过新版本的sin才能访问它了。
可以使用同样的技术来创建一个安全地运行环境，即所谓的“沙盒（sandbox）”。当执行一些未受信任的代码时就需要一个安全地运行环境，例如在服务器中执行那些从Internet上接收到的代码。举例来说，如果要限制一个程序访问文件的话，只需使用closure来重定义函数io.open就可以了。

do

    local oldOpen = io.open

    local access_OK = function (filename, mode)

        <检查访问权限>

    end

    io.open = function (filename, mode)

        if access_OK(filename, mode) then

            return oldOpen(filename, mode)

        else

            return nil, "access denied"

        end

    end

end

这个示例的精彩之处在于，经过重新定义后，一个程序就只能呢该通过新的受限版本来调用原来哪个未受限的open函数了。示例将原来不安全的版本保存到closure的一个私有变量中，从而使得外部再也无法直接访问到原来的版本了。通过这种技术，可以在Lua的语言层面上就构建除一个安全地运行环境，且不是简易性了灵活性。相对于提供一套大而全的解决方案，Lua提供的则是一套“元机制（meta-mechanism）”，因此可以根据特定的安全需要来创建一个安全的运行环境。

巴特西

Lua中的closure（闭合函数）

最新文章

热门文章