Chapter 14_3 非全局的环境
关于“环境”的一大问题在于它是全局的,任何对它的修改都会影响程序的所有部分。
例如:若安装一个元表用于控制全局变量的访问,那么整个程序都必须遵循这个规范。
当使用某个库时,没有先声明就使用了全局变量,那么这个程序就无法运行。
在Lua中,全局变量并不需要一定是全局的。甚至可以说Lua没有全局变量。
听上去感觉很奇怪,因为我们一直都在使用全局变量。毫无疑问地,Lua一直在给程序员制造全局变量的错觉。
下面看看是怎么样制造的:
比如在下面的例子中,var1和var2 就是两个自由名字(在任何层都没有被声明的名字):
var1 = var2 + 3
就像之前我们说的,一个自由名字不会涉及到一个全局变量,至少不会显示地涉及到。
对于_ENV,手册上是这样描述:
Every chunk is compiled in the scope of an external local variable named _ENV , so _ENV itself is never a free name in a chunk.
这里的“external local variable”就是upvalue,也就是_ENV是当前chunk的upvalue。
当Lua编译一个chunk的时候,如果不指定的话,默认使用全局环境初始化它的upvalue _ENV(其实就是引用),它是隐式声明的一个upvalue。
此外,在句法上,Lua解释器会把所有的自由名字 var 翻译为_ENV.var。因此上面的代码可以这样表示:
_ENV.var1 = _ENV.var2 + 3
Lua将所有的代码块当作匿名函数。Lua编译器在编译代码块的时候是这样的:
local _ENV = <some value> return function(...) _ENV.var1 = _ENV.var2 + 3 end
看上去,这样去操作全局变量挺费解的。但是其实是最简单灵活的方式,但是实现起来有点困难。
总结一下在Lua5.2中操作全局变量的情况:
1>_ENV是当前被编译代码块的upvalue
2>Lua编译器把所有的free name var 当作 _ENV.var
3>load 或loadfile函数 用全局环境去初始化代码块中的第一个upvalue。
_ENV除了在预编译的时候才有特殊意义。跳出编译去看它,其实就是一个简单的普通表。
同样把var 当作 _ENV.var,也只是词法翻译,没有隐含的意思。
这节有点没有懂,以后回来再好好看看。
以上内容来自:《Lua程序设计第二版》和《Programming in Lua third edition》