关闭

理解lua中Weak Table

标签: lua垃圾回收内存管理
289人阅读 评论(0) 收藏 举报
分类:

[转自 http://blog.csdn.net/flowshell/article/details/6234233 ]


如果你对lus语言的中weak table不明白的话,那这篇文章应该对你有帮助。 

所有脚本语言几乎都有垃圾回收器(GC),当然lua也有。 

不明白GC不要紧,下面让我来解释: 
这一切要先从现代编程语言的鼻祖 — C语言开始。 

如果你在C中要使用变量,可以这样定义变量,如: 
---------------------------------------------------- 
void hello(){ 
int a = 0; // 局部变量声明 

---------------------------------------------------- 
局部变量a的生与死是已经确定的,就是{括号和}括号之间。 
这样会很安全,因为函数在执行完后会清栈(清理变量),所以你不用去考虑变量的生与死,但,它不够灵活,因为它的作用域被界限了,它只能在这个函数里被使用。 

换种手段,定义全局变量,如下: 
---------------------------------------------------- 
static int a = 0;// 全局变量声明 

void hello1(){ 
a = 1; 

void hello2(){ 
a = 2; 

---------------------------------------------------- 
很显然,这样很灵活,到哪里都可以使用。 
不过自从它生之后,就不会结束了,直到程序关闭时它才结束。 
这意味着,程序运行期间无论如何它都将存在。 
你面对的将是一个永恒的变量,如果你定义了10,100,1000个...那将会是一堆...(僵尸?) 

这样都很不好,你无法控制变量的生与死,无法达到灵活处理变量生与死的目的。 
想亲手控制变量的生与死?C便提供了一个函数实现你的梦想 - malloc,如下: 
---------------------------------------------------- 
int* p = (int *)malloc(sizeof(int)); // 手动创建 — 生 

这样p便存储了申请过来的这块内存首地址,现在就可以使用了,如下: 

*p = 1; 

当你不再使用这块内存的时候,那你就使用free函数释放(清理)它,否则它将一直存在。 

free(p);   // 手动释放 — 死 
---------------------------------------------------- 
如果你不这样做,那内存将会增长直到程序崩溃(世界就乱了)。 

这样子看,第3个方法很好很灵活,但是一旦你定义了这种变量多了,你将成为上帝 — 你必须管理每个变量的生与死,哪怕是1,10,100,1000。一个都不能漏,否则世界的平衡就乱了(有人不死啦),换句话你程序也将挂了。 

这样看来很显然不是每个人都喜欢或者能做上帝,在这样的情况下,有一个东西横空出世了 — GC! 
它就是这个问题的救世主,下面详细介绍: 

GC - Garbage Collectoion - 垃圾回收器 

它的作用就是变量你随意定义,手尾我来跟,你只须定义变量的生,变量的死由我来负责。 
那你不经地问:那你怎么知道这个变量我不用了? 

那这个问题就比较复杂,目前GC的实现有好多种,敝人只知道引数GC,下面就用lua来说说它。 
先说明一点:在脚本语言中变量的声明都是使用上面说的第三种方法 - malloc来手动创建内存块。 

lua代码: 
---------------------------------------------------- 
function test() 
local a = {x=1};   -- GC将给"{x=1}"手动创建的这块内存块增加一个引用 - b,引用数为1 
end 

test(); -- 函数执行完后清栈,局部变量a被清掉,GC将给"{x=1}"这块内存将减少一个引用,引用数为0,引用数为0时GC就清理掉"{x=1}"这块内存。 

print(a);   -- nil 
-------------------------------------- 
再看下面: 
---------------------------------------------------- 
b = 0;   -- 外部变量 
function test() 
local a = {x=1}; 
b = a;   -- GC将给"{x=1}"这块内存再加一个引用 - a,引用数为2 
end 
test(); -- 函数执行完后清栈,"{x=1}"这块内存引用数减1还剩1,那这块内存块不用清理。 

print(b); -- table: 003BAAD8 
---------------------------------------------------- 

上面的例子你应该大致清楚GC的工作原理了吧,下面看最后此文的关键:lua - weak table 

在lua中任何对内存块的引用都会使引用数加1,但有一个例外:weak table,它对内存块的引用不会使引用增1 
看下面代码: 
---------------------------------------------------- 
a = {}; 
b = {};    
setmetatable(a,b); -- 设置a为weak table 
b.__mode = 'k'; 

key = {};    -- 增加"{}"内存块的一个引用 - key,引用数1 
a[key] = 1; -- weak table引用不增引数,所以"{}"内存块的引数还为1 
key = {}    -- 改变key指向新增的"{}"内存块,上面的"{}"内存块引数减一为0 
a[key] = 2     -- 如上上一样 

collectgarbage();   -- 调用GC,清掉weak表中没有引用的内存 

for k, v in pairs(a) do 
print(v);    -- 只输出一个2 
end 
---------------------------------------------------- 
如果a不是weak table而是普通的table,那么a将会对"{}"内存块的引数加1, 
去掉"b.__mode = 'k';"这句,你将会看到输出1和2。 
看最后一个例子: 
---------------------------------------------------- 
a = {} 
b = {} 
setmetatable(a, b) 
b.__mode = "k" 
function test() 
    local key1 = {}; 
    a[key1] = 1; 
    local key2 = {}; 
    a[key2] = 2; 
end 
test(); -- 函数执行完后key1和key2它们指向的内存块引数都减一为0 

collectgarbage() -- 故全部都被清空 
for k, v in pairs(a) do 
print(v); -- 没有任何输出 
end 
---------------------------------------------------- 
以上是我自己对gc的理解(没去查资料^_^),仅供参考... 

后语:GC虽然是救世主,但不是万能的救世主,在回收变量中存在一些问题,如效率、循环引用等等需要去关注...

 

本文转自:http://hi.baidu.com/xuyuqiang/blog/item/29aa10f2529cba14b17ec51b.html


0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:3814次
    • 积分:116
    • 等级:
    • 排名:千里之外
    • 原创:8篇
    • 转载:1篇
    • 译文:0篇
    • 评论:0条
    文章分类