对lua中_ENV表的理解(lua5.2版本以后)

　　当我拿到_ENV表的时候，会去想这个_ENV表是干什么用的? 首先看如下代码:

 print(_ENV) --0x1d005f0
 print(_G)   --0x1d005f0

ViewCode

　　看了上面的代码，就感觉_ENV表不就是_G表吗?但_ENV表是不是全局的呢?我又打印了_G表的内容:

 for k , v in pairs(_G) do
     print(k , v)
 end
 --[[
 package    table: 0xad1e50
 setmetatable    function: 0x419220
 pairs    function: 0x419380
 require    function: 0xad3900
 loadfile    function: 0x419540
 print    function: 0x418ce0
 module    function: 0xad3890
 rawlen    function: 0x418c50
 load    function: 0x419430
 getmetatable    function: 0x4195b0
 type    function: 0x418800
 coroutine    table: 0xad3970
 table    table: 0xad3d10
 error    function: 0x418f40
 _VERSION    Lua 5.2
 debug    table: 0xad4bb0
 string    table: 0xad2700
 rawequal    function: 0x418ca0
 math    table: 0xad64d0
 tonumber    function: 0x418870
 bit32    table: 0xad2d60
 os    table: 0xad3c60
 loadstring    function: 0x419430
 pcall    function: 0x4191c0
 io    table: 0xad4030
 select    function: 0x418aa0
 unpack    function: 0x41fb40
 collectgarbage    function: 0x418fb0
 xpcall    function: 0x419110
 rawset    function: 0x418bb0
 ipairs    function: 0x4193a0
 next    function: 0x418e20
 rawget    function: 0x418c00
 tostring    function: 0x418840
 arg    table: 0xad76a0
 _G    table: 0xad15f0
 assert    function: 0x419680
 dofile    function: 0x419600
 ]]

　　发现_G表中的Key是没有_ENV表的，就比较疑惑？那_ENV到是什么，是怎么样产生的?关于这两个问题我看了lua闭包

的源码，lua闭包有两种生成方式，其中一种是在lua源码加载时，会生成闭包(ps:关于闭包的整体内容会在之后的另一篇博客讲)，

对于该闭包它的第一个Upvalue就是_ENV,具体代码如下:

 LUA_API int lua_load (lua_State *L, lua_Reader reader, void *data,
                       const char *chunkname, const char *mode) {
   ZIO z;
   int status;
   lua_lock(L);
   if (!chunkname) chunkname = "?";
   luaZ_init(L, &z, reader, data);
   status = luaD_protectedparser(L, &z, chunkname, mode);
   if (status == LUA_OK) {  /* no errors? */
     LClosure *f = clLvalue(L->top - );  /* get newly created function */
     if (f->nupvalues >= ) {  /* does it have an upvalue? */
       /* get global table from registry */
       Table *reg = hvalue(&G(L)->l_registry);
       const TValue *gt = luaH_getint(reg, LUA_RIDX_GLOBALS);
       /* set global table as 1st upvalue of 'f' (may be LUA_ENV) */
       setobj(L, f->upvals[]->v, gt);
       luaC_upvalbarrier(L, f->upvals[]);
     }
   }
   lua_unlock(L);
   return status;
 }

lua_load中将注册表中的全局表(_G赋值给_ENV)

　　所以_ENV默认会指向_G表。至于_G表是如何创建的，各位可以参考这个博客。那_ENV表的作用是什么呢?

　　_ENV表的作用：表示当前代码块的环境，每一个代码块的环境都有一张_ENV。关于代码块的解释可以看这里。我们可以看一下下面这段代码就理解了:

 function foorbar(env)
     local _ENV = env
     return function() print("yes") end
 end

 print(_ENV)

 local l_test = foorbar({})

 print(l_test())

 --[[
 table: 0x1a395f0
 lua: code:3: attempt to call global 'print' (a nil value)
 stack traceback:
     code:3: in function 'l_test'
     code:10: in main chunk
     [C]: in ?
 ]]

　　上述可以看出，我们的所有内部函数都定义与一张_ENV表中，比如在print时实际上是_ENV.print(语法糖省略了),所以在代码块foorbar中_ENV被赋值为{}，所以print就访问不到了。

所以_ENV表的作用实际上是充当环境，所以在5.2之后就没有全局变量这样一个说法(_ENV = _G还是有全局变量的)。这种做法类似于5.1的setfenv。关于如何实现setfenv在云风的博客有提及。