Step By Step(Lua环境)

逍遥公子

Lua将其所有的全局变量保存在一个常规的table中，这个table被称为“环境”。它被保存在全局变量_G中。
    1. 全局变量声明：
    Lua中的全局变量不需要声明就可以使用。尽管很方便，但是一旦出现笔误就会造成难以发现的错误。我们可以通过给_G表加元表的方式来保护全局变量的读取和设置，这样就能降低这种笔误问题的发生几率了。见如下示例代码：

--该table用于存储所有已经声明过的全局变量名
local declaredNames = {}
local mt = {
     __newindex = function(table,name,value)
         --先检查新的名字是否已经声明过，如果存在，这直接通过rawset函数设置即可。
         if not declaredNames[name] then
             --再检查本次操作是否是在主程序或者C代码中完成的，如果是，就继续设置，否则报错。
             local w = debug.getinfo(2,"S").what
             if w ~= "main" and w ~= "C" then
                 error("attempt to write to undeclared variable " .. name)
             end
             --在实际设置之前，更新一下declaredNames表，下次再设置时就无需检查了。
             declaredNames[name] = true
         end
         print("Setting " .. name .. " to " .. value)
         rawset(table,name,value)
     end,
     
     __index = function(_,name)
         if not declaredNames[name] then
             error("attempt to read undeclared variable " .. name)
         else
             return rawget(_,name)
         end
     end
}   
setmetatable(_G,mt)

a = 11
local kk = aa

--输出结果为：
--[[
Setting a to 11
lua: d:/test.lua:21: attempt to read undeclared variable aa
stack traceback:
         [C]: in function 'error'
         d:/test.lua:21: in function <d:/test.lua:19>
         d:/test.lua:30: in main chunk
         [C]: ?
--]]


2. 非全局的环境：
    全局环境存在一个刚性的问题，即它的修改将影响到程序的所有部分。Lua 5为此做了一些改进，新的特征可以支持每个函数拥有自己独立的全局环境，而由该函数创建的closure函数将继承该函数的全局变量表。这里我们可以通过setfenv函数来改变一个函数的环境，该函数接受两个参数，一个是函数名，另一个是新的环境table。第一个参数除了函数名本身，还可以指定为一个数字，以表示当前函数调用栈中的层数。数字1表示当前函数，2表示它的调用函数，以此类推。见如下代码：

a = 1
setfenv(1,{})
print(a)

--输出结果为：
--[[
lua: d:/test.lua:3: attempt to call global 'print' (a nil value)
stack traceback:
         d:/test.lua:3: in main chunk
         [C]: ?
--]]

为什么得到这样的结果呢？因为print和变量a一样，都是全局表中的字段，而新的全局表是空的，所以print调用将会报错。
    为了应对这一副作用，我们可以让原有的全局表_G作为新全局表的内部表，在访问已有全局变量时，可以直接转到_G中的字段，而对于新的全局字段，则保留在新的全局表中。这样即便是函数中的误修改，也不会影响到其他用到全局变量(_G)的地方。见如下代码：

a = 1
local newgt = {}  --新环境表
setmetatable(newgt,{__index = _G})
setfenv(1,newgt)
print(a)  --输出1

a = 10
print(a)  --输出10
print(_G.a) --输出1
_G.a = 20
print(a)  --输出10

最后给出的示例是函数环境变量的继承性。见如下代码：

function factory()
     return function() return a end
end
a = 3
f1 = factory()
f2 = factory()
print(f1())  --输出3
print(f2())  --输出3

setfenv(f1,{a = 10})
print(f1())  --输出10
print(f2())  --输出3