理解lua中Weak Table

如果你对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

转载于:https://www.cnblogs.com/mooreliu/p/4849991.html