了解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

—调用new函数，参数为table {x = 10 ,y = 20}   

setmetatable(o ,Window.mt)  的意思是  将Window.mt设置为o的元表，也就是说o可以调用Window.mt的任意的元素

实际上就是实现了lua弱语言的继承Window.mt

ok看下边的实现函数 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
w = Window.new{x = 10 ,y = 20}
print(w.wangbin)

打印结果是:1000。这里可以看出，我们在new的时候，w这个表里其实没有wangbin这个元素的，我们重写了元表中的__index，使其返回1000，意思是:如果你要寻找的元素，该表中没有，那么默认返回1000。继续看下去

二、__newindex的理解

 

__newindex：当给你的表中不存在的值进行赋值时，lua解释器则会寻找__newindex元方法，发现存在该方法，则执行该方法进行赋值，注意，是使用rawset来进行赋值，至于原因，后面会讲到。（这里就进行解说：

 rawset(table ,"wangbin" ,"yes,i am”)

table是你对表成员赋值  成员所在的表

“wangbin” 是表成员     "yes,i am” 表示赋值

）

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}
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函数就不再起作用了。

使用rawget的意思是  _ _index无效，则无法使用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"

没有使用rawset 则没有对表进行赋值操作，则table里一直就没有wangbin这个对象，所以就一直操作

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