对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在云风的博客有提及。