如何实现多重赋值取决于您使用的 Lua 实现。只要保留语义,实现就可以自由地做任何它喜欢的事情。也就是说,无论如何实现,您都应该得到相同的结果,就像您在将所有值分配给 LHS 之前将它们保存在 RHS 中一样,正如 Lua 书中所解释的那样。
如果您仍然对实际实现感到好奇,您可以做的一件事是查看为某个程序生成的字节码是什么。例如,采用以下程序
local x,y = 10, 11
x,y = y,x
并将其传递给字节码编译器(luac -l
) 对于 Lua 5.2 给出
main <lop.lua:0,0> (6 instructions at 0x9b36b50)
0+ params, 3 slots, 1 upvalue, 2 locals, 2 constants, 0 functions
1 [1] LOADK 0 -1 ; 10
2 [1] LOADK 1 -2 ; 11
3 [2] MOVE 2 1
4 [2] MOVE 1 0
5 [2] MOVE 0 2
6 [2] RETURN 0 1
MOVE 操作码将右侧寄存器中的值分配给左侧寄存器(有关更多详细信息,请参阅 Lua 源代码中的 lopcodes.h)。显然,发生的事情是寄存器 0 和 1 被用于x
and y
插槽 2 被用作临时额外插槽。x
and y
在前两个操作码中使用常量进行初始化,在接下来的三个 3 操作码中,使用“临时”第二个槽执行交换,有点像您手动执行的操作:
tmp = y -- MOVE 2 1
y = x -- MOVE 1 0
x = tmp -- MOVE 0 2
考虑到 Lua 在执行交换分配和静态初始化时如何使用不同的方法,如果您对不同类型的多重分配得到不同的结果,我不会感到惊讶(设置表字段可能看起来非常不同,特别是从那时起由于元方法,顺序应该很重要......)。不过,我们需要在源代码中找到 100% 确定发出字节码的部分。正如我之前提到的,所有这些都可能因 Lua 版本和实现而异,特别是如果您查看 LuaJIT 与 PUC Lua。