为什么 local t = {1, [1] = "a", [2] = "b"} 的输出是 1

如果您在表构造函数中具有重复的键，则字段设置的顺序未定义。

当前，编译器将列表条目分批（每批50个列表条目）处理。

您可以通过在脚本上运行luac -l来查看构造函数的字节码:

1   [1] NEWTABLE    0 1 2
2   [1] LOADK       1 -1    ; 1
3   [1] SETTABLE    0 -1 -2 ; 1 "a"
4   [1] SETTABLE    0 -3 -4 ; 2 "b"
5   [1] SETLIST     0 1 1   ; 1

请注意最后的SETLIST。对于{10,20,30, [1] = "a", [2] = "b"}，字节码为：

1   [1] NEWTABLE    0 3 2
2   [1] LOADK       1 -1    ; 10
3   [1] LOADK       2 -2    ; 20
4   [1] LOADK       3 -3    ; 30
5   [1] SETTABLE    0 -4 -5 ; 1 "a"
6   [1] SETTABLE    0 -6 -7 ; 2 "b"
7   [1] SETLIST     0 3 1   ; 1

如果构造函数以长度为60的列表开始，那么t[1]的最终值将是“a”。