弱表(weak table)是一个很有意思的东西，像C++/Java等语言是没有的。弱表的定义是：A weak table is a table whose elements are weak references，元素为弱引用的表就叫弱表。有弱引用那么也就有强引用，有引用那么也就有非引用。我们先要厘这些基本概念：变量、值、类型、对象。

　　（1）变量与值：Lua是一个dynamically typed language，也就是说在Lua中，变量没有类型，它可以是任何东西，而值有类型，所以Lua中没有变量类型定义这种东西。另外，Lua中所有的值都是第一类值(first-class values)。

　　（2）Lua有8种基本类型：nil、boolean、number、string、function、userdata、thread、table。其中Nil就是nil变量的类型，nil的主要用途就是一个所有类型之外的类型，用于区别其他7中基本类型。

　　（3）对象objects:Tables、functins、threads、userdata。对于这几种值类型，其变量皆为引用类型（变量本身不存储类型数据，而是指向它们）。赋值、参数传递、函数返回等都操作的是这些值的引用，并不产生任何copy行为。

　　Lua的垃圾回收机制：gc是很多语言的常见机制，让程序员拜托复杂易出错的内存管理。

　　定义：Lua manages memory automatically by running a garbage collector to collect all dead objects (that is, objects that are no longer accessible from Lua). 

　　三点理解：（1）gc自动运行，也可以手动调用；（2）自动收集的目标是引用计数为0的对象；（3）dead objects：不能访问到的对象，没有引用指向它了，当然就是访问不到的了，也就等同于垃圾内存了。

　　weak table的定义：

　　（1）weak表是一个表，它拥有metatable，并且metatable定义了__mode字段；

　　（2）weak表中的引用是弱引用(weak reference)，弱引用不会导致对象的引用计数变化。换言之，如果一个对象只有弱引用指向它，那么gc会自动回收该对象的内存。

　　（3）__mode字段可以取以下三个值：k、v、kv。k表示table.key是weak的，也就是table的keys能够被自动gc；v表示table.value是weak的，也就是table的values能被自动gc；kv就是二者的组合。任何情况下，只要key和value中的一个被gc，那么这个key-value pair就被从表中移除了( In any case, if either the key or the value is collected, the whole pair is removed from the table)。

　　对于普通的强引用表，当你把对象放进表中的时候，就产生了一个引用，那么即使其他地方没有对表中元素的任何引用，gc也不会被回收这些对象。那么你的选择只有两种：手动释放表元素或者让它们常驻内存。

strongTable = {}strongTable[1] = function() print("i am the first element") endstrongTable[2] = function() print("i am the second element") endstrongTable[3] = {10, 20, 30}print(table.getn(strongTable))            -- 3collectgarbage()                        print(table.getn(strongTable))            -- 3

　　但是，在编程环境中，有时你并不确定手动给一个键值赋nil的时机，而是需要等所有使用者用完以后进行释放，在释放以前，是可以访问这个键值对的。这种时候，weak表就派上用场了。关于weak table的理解，看下面这个小例子：

weakTable = {}weakTable[1] = function() print("i am the first element") endweakTable[2] = function() print("i am the second element") endweakTable[3] = {10, 20, 30}setmetatable(weakTable, {__mode = "v"})        -- 设置为弱表print(table.getn(weakTable))            　　　　-- 3ele = weakTable[1]        　　　　　　　　　　　　-- 给第一个元素增加一个引用collectgarbage()print(table.getn(weakTable))         　　　　　　-- 1，第一个函数引用为1，不能gcele = nil                　　　　　　　　　　　　　-- 释放引用collectgarbage()print(table.getn(weakTable))            　　　　-- 0，没有其他引用了，全部gc

　　当然在实际的代码过程中，我们不一定需要手动collectgarbage，因为该函数是在后台自动运行的，它有自己的运行周期和规律，对编程者来说是透明的。

　　注意：只有拥有显示构造的对象类型会被自动从weak表中移除，值类型boolean、number是不会自动从weak中移除的。而string类型虽然也由gc来负责清理，但是string没有显示的构造过程，因此也不会自动从weak表中移除，对于string的内存管理有单独的策略。