关于“环境”的一大问题在于它是全局的，任何对它的修改都会影响程序的所有部分。
例如：若安装一个元表用于控制全局变量的访问，那么整个程序都必须遵循这个规范。
当使用某个库时，没有先声明就使用了全局变量，那么这个程序就无法运行。
在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》