理解Lua语言中的__index,__newindex,rawget和rawset 标签： luametatable__index__newindexrawget 2013-09-27 20:02

 

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

标签： luametatable__index__newindexrawget

2013-09-27 20:02 12798人阅读 评论(4) 收藏 举报

 分类：

lua语言（11） 

版权声明：本文为博主原创文章，未经博主允许不得转载。

目录(?)[+]

在谈及Lua中的__index,__newindex,rawget和rawset前，需要理解Lua中的元表这个概念。

零、元表的概念

对Lua中元表的解释: 元表可以改变表的行为模式。

这里举个例子:

[javascript] view plain copy

 print?

1. Window = {}  
2.   
3. Window.prototype = {x = 0 ,y = 0 ,width = 100 ,height = 100,}  
4.   
5. Window.mt = {}  
6.   
7. function Window.new(o)  
8.     setmetatable(o ,Window.mt)  
9.     return o  
10. end  
11.   
12. Window.mt.__index = Window.prototype  
13.   
14. Window.mt.__newindex = function (table ,key ,value)  
15.     if key == "wangbin" then  
16.         rawset(table ,"wangbin" ,"yes,i am")  
17.     end  
18. end  
19.   
20. w = Window.new{x = 10 ,y = 20}  
21. w.wangbin = "55"  
22. print(w.wangbin)  

然后，我们可以看到打印信息是:yes,i am

原本赋值的地方是w.wangbin = "55"，但是结果却是 yes,i am。

这里就改变了元表的行为模式。

一、__index的理解

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

[javascript] view plain copy

 print?

1. Window = {}  
2.   
3. Window.prototype = {x = 0 ,y = 0 ,width = 100 ,height = 100,}  
4. Window.mt = {}  
5. function Window.new(o)  
6.     setmetatable(o ,Window.mt)  
7.     return o  
8. end  
9. Window.mt.__index = function (t ,key)  
10.     -- body  
11.     return 1000  
12. end  
13. w = Window.new{x = 10 ,y = 20}  
14. print(w.wangbin)  

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

备注:__index也可以是一个表，我们这里也可以写__index = {wangbin = 1000},打印的值仍然可以是1000。

二、__newindex的理解

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

[javascript] view plain copy

 print?

1. Window.mt = {}  
2. function Window.new(o)  
3.     setmetatable(o ,Window.mt)  
4.     return o  
5. end  
6. Window.mt.__index = function (t ,key)  
7.     return 1000  
8. end  
9. Window.mt.__newindex = function (table ,key ,value)  
10.     if key == "wangbin" then  
11.         rawset(table ,"wangbin" ,"yes,i am")  
12.     end  
13. end  
14. w = Window.new{x = 10 ,y = 20}  
15. w.wangbin = "55"  
16. print(w.wangbin)  

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

三、rawget和rawset的理解

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

[javascript] view plain copy

 print?

1. Window = {}  
2.   
3. Window.prototype = {x = 0 ,y = 0 ,width = 100 ,height = 100,}  
4. Window.mt = {}  
5. function Window.new(o)  
6.     setmetatable(o ,Window.mt)  
7.     return o  
8. end  
9. Window.mt.__index = function (t ,key)  
10.     return 1000  
11. end  
12. Window.mt.__newindex = function (table ,key ,value)  
13.     if key == "wangbin" then  
14.         rawset(table ,"wangbin" ,"yes,i am")  
15.     end  
16. end  
17. w = Window.new{x = 10 ,y = 20}  
18. print(rawget(w ,w.wangbin))  

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

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

[javascript] view plain copy

 print?

1. Window = {}  
2. Window.prototype = {x = 0 ,y = 0 ,width = 100 ,height = 100,}  
3. Window.mt = {}  
4. function Window.new(o)  
5.     setmetatable(o ,Window.mt)  
6.     return o  
7. end  
8. Window.mt.__index = function (t ,key)  
9.     return 1000  
10. end  
11. Window.mt.__newindex = function (table ,key ,value)  
12.     table.key = "yes,i am"  
13. end  
14. w = Window.new{x = 10 ,y = 20}  
15. w.wangbin = "55"  

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