lua函数深入了解

2019独角兽企业重金招聘Python工程师标准>>>

    函数是一种“第一类值”，它们具有特定的词法域。

    “第一类值”表示在lua中函数域其他传统类型的值句用相同的权利。函数可以存储到变量中（无论是全局变量还是局部变量）或table中，可以作为实参传递给其他函数，也可以作为其他函数的返回值。

    “词法域”是值一个函数可以嵌套在另一个函数中，内部的函数可以访问外部函数中的变量。

    函数与所有其他值一样都是匿名的，即他们都没有名称。当讨论一个函数名，实际上是在讨论一个持有某函数的变量。这与其他变量持有各种值一个道理，可以以多种方式来操作这些变量。如下例：

local a = {p = print}
a.p("hello world")
print = math.sin 
a.p(print(1))
sin = a.p
sin(10,20)

    输出为：

hello world
0.8414709848079
10	20

    我们经常这样定义函数

 function foo(x) return 2 * x end

    实际上，这只是一种“语法糖”而已；上述代码只是下面代码的一种简化书写形式

foo = function (x) return 2 * x end

    实际上，一个函数定义实际就是一条语句（更准确地说是一条赋值语句），这条语句创建了一种类型为“函数”的值，并将这个值赋予一个变量。由于函数在Lua中就是一个普通的值，所以不仅可以将其存储在全局变量中，还可以存储在局部变量甚至table的字段中。

    关于函数的语法域，我们看一下下面的例子：    

function new()
	local i = 0
	return function()
		i = i+1
		return i
    end
end

local new1 = new()
print(new1())
print(new1())

    输出为：

1
2

    在上述代码中，有一个变量i，对于函数new来说，i是一个局部变量，但是对于匿名函数来说，当它访问这个i时，i既不是全局变量，也不是局部变量，对于我们来说，我们称这样的变量为一个“非局部的变量”。下面这段代码也是同样的道理：

function new(i)
	return function()
		i = i+1
		return i
    end
end

local new1 = new(10)
print(new1())
print(new1())

    输出：

11
12

    匿名函数访问了一个“非局部的变量”i，该变量用于保持一个计数器。乍一看，由于创建变量i的函数，也就是new已经返回，所以之后每次调用匿名函数时，i都应该是已经超出了作用范围。但是，Lua会以closure的概念来正确地处理这种情况。一个closure就是一个函数加上该函数所需访问的所有“非局部的变量”。如果再次调用newCounter，那么它会创建一个新的局部变量i，从而将得到一个新的closure。关于闭包，我们接下来会进行讨论。

转载于:https://my.oschina.net/u/815187/blog/484954