跟我一起了解Lua语言中的_index,newindex,rawget和rawset

前言：理解Lua语言中的__index, __newindex, rawget和 rawset

在谈及Lua中的__index, __newindex, rawget和rawset前，需要理解Lua中的元表这个概念。
一、元表的概念
对Lua中元表的解释: 元表可以改变表的行为模式。
这里举个例子:

Window = {}
Window.prototype = 
{
x = 0 ,
y = 0 ,
width = 100 ,
height = 100,
}
Window.mt = {}
function Window.new(o)
setmetatable(o ,Window.mt)
return o
end
Window.mt.__index = Window.prototype


Window.mt.__newindex = function (table ,key ,value)
if key == "wangbin" then
rawset(table ,"wangbin" ,"yes,i am")
end
end
下面是测试：
local w = Window.new{x = 10 ,y = 20}
w.wangbin = "55"
print(w.wangbin)

然后，我们可以看到打印信息是:yes,i am
原本赋值的地方是w.wangbin = "55"，但是结果却是 yes,i am。
这里就改变了元表的行为模式。


二、__index的理解
__index是:当我们访问一个表中的元素不存在时，则会触发去寻找__index元方法，如果不存在，则返回nil，如果存在，则返回结果。

Window = {}


Window.prototype =
{
x = 0 ,
y = 0 ,
width = 100 ,
height = 100,
}
Window.mt = {}
function Window.new(o)
setmetatable(o ,Window.mt)
return o
end
Window.mt.__index = function (t ,key)
-- body
return 1000
end
local w = Window.new{x = 10 ,y = 20}
print(w.wangbin)

打印结果是:1000。这里可以看出，我们在new的时候，w这个表里其实没有wangbin这个元素的，我们重写了元表中的__index，使其返回1000，意思是:如果你要寻找的元素，该表中没有，那么默认返回1000。
三、__newindex的理解
__newindex：当给你的表中不存在的值进行赋值时，lua解释器则会寻找__newindex元方法，发现存在该方法，则执行该方法进行赋值，注意，是使用rawset来进行赋值，至于原因，下面会说。

Window.mt = {}
function Window.new(o)
setmetatable(o ,Window.mt)
return o
end
Window.mt.__index = function (t ,key)
return 1000
end
Window.mt.__newindex = function (table ,key ,value)
if key == "wangbin" then
rawset(table ,"wangbin" ,"yes,i am")
end
end
下面是测试
local w = Window.new{x = 10 ,y = 20}
w.wangbin = "55"
print(w.wangbin)

ok，这里的打印结果是:yes,i am。w这个表里本来没有wangbin这个元素的，我们重写了元表中__newindex，并在__newindex方法中重新进行赋值操作，然后，我们对这个本不存在的原色w.wangbin进行赋值时，执行__newindex方法的赋值操作，最后，打印结果便是:yes,i am

四、rawget和rawset的理解
rawget是为了绕过__index而出现的，直接点，就是让__index方法的重写无效。(我这里用到"重写"二字，可能不太对，希望能得到纠正)

Window = {}


Window.prototype = 
{
x = 0 ,
y = 0 ,
width = 100 ,
height = 100,
}
Window.mt = {}
function Window.new(o)
setmetatable(o ,Window.mt)
return o
end
Window.mt.__index = function (t ,key)
return 1000
end
Window.mt.__newindex = function (table ,key ,value)
if key == "wangbin" then
rawset(table ,"wangbin" ,"yes,i am")
end
end
w = Window.new{x = 10 ,y = 20}
print(rawget(w ,w.wangbin))

打印结果是:nil。这里的元表中__index函数就不再起作用了。


但是rawset呢，起什么作用呢?我们再来运行一段代码。

Window = {}
Window.prototype = 
{
x = 0 ,
y = 0 ,
width = 100 ,
height = 100,
}
Window.mt = {}
function Window.new(o)
setmetatable(o ,Window.mt)
return o
end
Window.mt.__index = function (t ,key)
return 1000
end
Window.mt.__newindex = function (table ,key ,value)
table.key = "yes,i am"
end
w = Window.new{x = 10 ,y = 20}
w.wangbin = "55"

然后我们的程序就stack overflow了。可见，程序陷入了死循环。因为w.wangbin这个元素本来就不存在表中，然后这里不断执行进入__newindex，陷入了死循环。


好了，就说到这了，还有什么不明白的可以加入我们左上方的qq群，lua专用讨论群。