云风的 BLOG

按 lua 的设计，upvalue 的个数应该只受内存大小的限制。但是我的程序在生成一个拥有 258 个 upvalue 的 cclosure 时，upvalue 的个数变成了奇怪的 2 个。我的直觉告诉我，2 == 258%256 。查看源码证实了我的想法，cfunction 的 upvalue 的数量用了一个 byte 记录。究其原因，在于 lua 的 object 用了好几个标记量方便虚拟机运作（比如 gc 用到的 mark 位），当 upvalue 的数量也用一个 byte 的时候，刚好四个 byte 凑齐一个 32bit 字。

为什么我会用到如此之多的 upvalue ，这里就牵扯到最近发现的一个给 lua 写 C 扩展的技巧。

一般，C 对象保存在 lua 中都采用 userdata 的形式。userdata 会参与 gc 的过程，所以不必考虑内存释放的问题。但是，往往 C 对象会对 lua 中其它对象做使用上的引用，而 userdata 本身不具备这个能力。以前我的做法是，使用 lua_ref 得到一个整数引用，放在 userdata 中，到 userdata 的 __gc 被触发或者用户主动释放时，作 lua_unref 操作。这样做不太美观，也有一点点效率问题。

最近发现，简单的 C 扩展，我们完全可以用 C closure 实现，把扩展数据放在 upvalue 中。引用的 lua 对象可以直接放进 upvalue ，而其他 C 数据，可以再生成一个 userdata 写入 upvalue 。这个 closure 可以根据调用时的输入参数决定对它内部的数据做何种操作。

用这个技术，我实现了一个简单的循环队列，它会比用 lua table 实现的队列稍微高效一些。使用时，可以调用 C 扩展函数创建一个队列对象（其实是一个 c closure），然后用这个 closure 做进队列和出队列的操作。当传入参数的时候，就把参数进队列，不传参数的时候就把队首的元素出队列。同时可以根据返回值知道队列时候为空和为满。

具体的实现可以看 我的 wiki 上一篇文章