显式与隐式：Lua 替你写好的主键去哪了

写 {1,2,3} 的时候，主键 1、2、3 去哪了？为什么两份看起来一样的表，比起来却不相等？

本课互动训练：专属动画 + 选择题测验。 打开 第 05 课 · 动画闯关，先看动画，再完成 3 道选择题。

配套动画实验室：堆 / 栈 / 引用 / # 号可点可演。 打开 Lua 表 · 堆栈内存动画实验室，对照本文点「播放当前演示」。

一、隐式主键

local t = {1, 2, 3, 4, 5}

等价于：

local t = {
    [1] = 1,
    [2] = 2,
    [3] = 3,
    [4] = 4,
    [5] = 5,
}

Lua 帮你把主键写好了，只是没显示。这叫隐式；你亲手写出 [1]= 这种，叫显式。功能一样，外观不同。

二、为什么内容一样，== 却是 false

local t1 = {1, 2, 3, 4, 5}
local t3 = {1, 2, 3, 4, 5}
print(t1 == t3)  --> false

内容一模一样，怎么不相等？

因为表比较的是内存地址，不是内容。

创建 t1 时，Lua 在内存（堆）里圈了一块地存数据，t1 是指向这块地的「门牌号」。创建 t3 又圈了另一块地。两个门牌号不同，所以 == 为 false。

三、数字、字符串却相等

print(123 == 123)        --> true
print("你好" == "你好")   --> true
print({} == {})          --> false

数字、字符串是按值比，表是按引用（地址）比。这是新手第一个真正要背下来的内存常识。

四、赋值是「多一把钥匙」

local a = {1, 2, 3, 4}
local b = a
print(b[3])  --> 3

b = a 不是把表拷贝了一份，而是让 b 也指向同一块内存。两把钥匙，同一扇门。

于是：

local a = {1, 2, 3, 4}
local b = a
b[3] = 100
print(a[3])  --> 100

改 b 就是改 a。很多「我明明没改它怎么变了」的 bug，都是引用没想清。

五、一句话总结

• 比内容：以后自己写比较函数（或先比字段）

• 比是不是「同一只表」：用 ==

• 赋值 = 共享地址，不是复印

今日练习：写两份相同内容的表，验证 == 为 false；再写 b = a 后改 b[1]，观察 a[1] 是否跟着变。

课堂互动训练