Question

2.6 - 可视规则

Lua 是一个有词法作用范围的语言。 变量的作用范围开始于声明它们之后的第一个语句段， 结束于包含这个声明的最内层语句块的结束点。 看下面这些例子：

 x = 10 -- 全局变量
 do -- 新的语句块
 local x = x -- 新的一个 'x', 它的值现在是 10
 print(x) --> 10
 x = x+1
 do -- 另一个语句块
 local x = x+1 -- 又一个 'x'
 print(x) --> 12
 end
 print(x) --> 11
 end
 print(x) --> 10 （取到的是全局的那一个）

注意这里，类似 local x = x 这样的声明， 新的 x 正在被声明，但是还没有进入它的作用范围， 所以第二个 x 指向的是外面一层的变量。

因为有这样一个词法作用范围的规则， 所以可以在函数内部自由的定义局部变量并使用它们。 当一个局部变量被更内层的函数中使用的时候， 它被内层函数称作 upvalue（上值），或是 外部局部变量。

注意，每次执行到一个 local 语句都会定义出一个新的局部变量。 看看这样一个例子：

 a = {}
 local x = 20
 for i=1,10 do
 local y = 0
 a[i] = function () y=y+1; return x+y end
 end

这个循环创建了十个 closure（这指十个匿名函数的实例）。 这些 closure 中的每一个都使用了不同的 y 变量， 而它们又共享了同一份 x。