闭包
Lua语言中,函数是严格遵循词法定界(lexical scoping)的第一类值(first-class value)。所谓第一类值,即Lua语言中的函数与其他常见类型的值具有相同的权限: 一个程序可以将某个函数保存到变量中或表中,也可以将某个函数作为参数传递给其他的函数。这类特性是函数式编程的特点(functional programming)。
而词法定界的概念比较新鲜,它意味着Lua语言中的函数可以访问包含其自身的外部函数的变量。
这两个特性给予了Lua语言极大的灵活性,比如通过重新定义函数来为不受信任的代码构建一个安全的运行时环境,称之为沙盒(sandbox)
第一类值-函数
在Lua语言中可以像操作变量一样操作函数,而创建函数的表达式,也就是常说的所谓函数定义。
a = {p = print}
a.p("Hello World")
print = math.sin
a.p(print(1)) --> 0.84147
math.sin = a.p
math.sin(10, 20) -->10 20
function foo (x) return 2 * x end
这样的函数定义方法是语法糖( syntactic sugar)的例子,它实际上是
foo = function (x) return 2*x return
函数定义实际上就是创建类型为"function"的值并将它赋值给一个变量的语句。需要注意的是, 在Lua语言中所有函数都是匿名的。上例中的foo实际上是一个变量,而并非函数的名字。
通过这样一种机制,Lua中可以将函数作为参数传递给其他函数,而这样一种用法叫做高阶函数( higher-order function)。同样高阶函数也是函数被作为第一类值处理的典型应用。
下面的程序块的功能为求导数,使用了高阶函数的用法。
function derivative (f, delta)
delta = delta or 1e-4
return function (x)
return (f(x+delta) - f(x))/delta
end
end
对于给定的函数f,调用derivative将返回其导数,而derivative的参数就是函数f.
非全局函数
函数同样可以被存储在表字段或局部变量中。实际上大部分Lua语言的库就采用了将函数存储在表字段中的机制。
Lua语言同时还提供了一种特殊的语法来定义这类函数
Lib = {}
function Lib.foo (x,y) return x + y end
function Lib.goo (x,y) return x - y end
面向对象编程的关键要素同样在于可以将函数存储在表字段中,类比于我们所熟悉的在类中定义的函数。
对于局部函数的使用, Lua语言提供了一种语法糖:
local function f (params)
body
end
这样的定义会被展开成
local f; f = function (params) body end