云风的 BLOG

之前没有实现引用语义是因为觉得值语义就够用了。现在看起来是不对的。不过引用语义比较难实现，一开始也没有找到合适的实现方式。考虑了很久后，我发现了一条实现引用语义的途径，那就是把引用语义的对象实现为 lua 中的 userdata 。

换句话说，假设 lua 中的 foobar 变量引用了一个 vector ，我们就显示的定义 foobar = math3d.ref "vector" 。

这里 math3d.ref "vector" 会生成一个引用 vector 的对象，在之后的程序中，我们可以改变 foobar 引用的值，但是不再修改 foobar 在 lua 中的值。

之后，我们在原来的指令操作栈中增加一个赋值指令 = ，如果我们想让 foobar 引用一个具体的 vector { 1,0,0,1 } ，就应该写：

command(foobar, { 1, 0, 0, 1} , "=")

这条命令的语义是，将 foobar 这个引用对象和 { 1,0,0,1 } 这个 vector 常量压栈，然后把栈顶的元素赋值给栈次顶的引用对象，然后将栈顶两个东西弹出。

我们之前在 command 序列中，数字 id 表示把一个对象压栈，字符串表示计算指令串，table 表示外部常量；现在需要增加特定的 userdata 表示引用语义的对象。

当然，我还给 foobar 增加了元表，可以用一系列便捷操作。例如 foobar(obj) 相当于把 obj 赋给 foobar ， ~foobar 表示取得 foobar 引用对象的 C 指针（lightuserdata）用来传递给底层，等等。

我觉得这一版的设计要人性的多，但是实现上也遇到一些困难。

这是因为，原版的设计中，数据栈上都是数字 id ，所以可以很容易先实现一个 C 层的 stack 结构来操控。这次，数据栈上需要压入 lua userdata 了，就不再能简单的和 C 层数据结构对接。如果粗暴的用一个 hash table 来映射 lua 中的对象，其一，性能受到了损失；其二，userdata 的生命期管理变得非常复杂（需要很小心的加接引用）。

为此，我给 api 增加一个限制：引用语义的对象只可以在当前 command 指令串中使用，不可以把引用语义的对象压入堆栈，然后在下次 command 调用再赋值。所有压入指令栈的引用语义的对象在当前指令结束后，都会退化成值语义的量（如果指令结束还没有弹出）。

在实现层面，我没有修改之前的数据结构，而增加了一个专门保存引用对象的栈，让指令以双栈形式工作。引用对象栈记录的是当前 lua 栈上的数字 index ，等函数调用结束就自动失效了。实现也相对简单。