Lua+相等比较：rawequal绕过元方法的本质

【语法算法】

交换的本质就这一行：

a, b = b, a

右侧先全求值再一次性赋给左侧——交换的全部机制就这一行。不需要临时变量，Lua 的多重赋值天然支持交换。今天拆开。

一、求值、交换、扩展三段

交换的三段。求值：Lua 先把等号右边的所有表达式逐个求值——求值的顺序是从左到右——所有值求完了存在一个临时区域里。交换：求值完成后 Lua 把临时区域里的值一次性赋给等号左边的变量——赋值的顺序也是从左到右——因为右边已经全部求完了，赋值顺序不影响结果。扩展：三个变量轮换 a, b, c = b, c, a 同样一行搞定——多重赋值的左值和右值个数可以不同——多出来的右值被丢弃，多出来的左值赋 nil。三段连起来：多重赋值玩的是"右侧的隔离求值"——右侧在赋值前就全部算完了，左侧的变量变化不影响右侧的结果——这就是不需要临时变量的原因。

graph TD
    A["a=1, b=2"] --> B["右侧求值"]
    B --> C["b的值=2"]
    B --> D["a的值=1"]
    C --> E["临时区: [2, 1]"]
    D --> E
    E --> F["赋值: a=2, b=1"]
    F --> G["交换完成"]

二、交换的正确写法

local a, b = 1, 2
a, b = b, a
print(a, b)  -- 2, 1

local x, y, z = "甲", "乙", "丙"
x, y, z = z, x, y
print(x, y, z)  -- 丙 甲 乙

三变量的轮换赋值是多重赋值的进阶用法——z, x, y 的右侧顺序决定了轮换的方向——右移一位和左移一位只差右侧变量的排列顺序。

三、求值的顺序与副作用的坑

右侧先全求值是多重赋值的铁律——如果右侧的表达式有副作用（比如函数调用修改了全局变量），副作用发生在赋值之前——副作用和赋值的顺序不一致时就会出 bug。和临时变量的分账写清楚：C 系语言的交换需要临时变量 temp = a; a = b; b = temp——因为 C 的赋值是逐条执行的，右侧的 b 在 a 被覆盖后已经是旧 a 的新值——Lua 的多重赋值天然避免了这个问题——右侧先全求值的规则是语言层面保证的，不是编码习惯。最后一条给从 C 转过来的同学：Lua 的 a, b = b, a 和 C 的 swap(&a, &b) 效果相同但机制完全不同——前者是语言级的多重赋值，后者是指针操作的函数调用——机制不同但效果相同，这正是 Lua 多重赋值的优雅之处。