为何Lua不同数组初始化方式会导致数组检测逻辑失效？

核心本质：Lua Table的双存储结构 #

Lua的table内部会把数据分成两个区域存储：

• 数组段：专门存放从1开始的连续整数键值对，属于Lua优化过的连续内存区域。
• 哈希段：存放非整数键，或是不连续的整数键，采用哈希表结构存储。

三种初始化方式的存储差异 #

• 示例A/B：无论是逐个赋值连续整数键，还是用列表式初始化，Lua都会自动将这些连续的整数键值对放入数组段。
• 示例C：在table构造器里用[1] = ...这种显式指定整数索引的方式赋值时，Lua会默认把这些键值对放到哈希段——哪怕键是连续的1、2、3。

检测逻辑失效的具体原因 #

1. #a的行为：不管键存在于数组段还是哈希段，只要是从1开始的连续整数键，#a都会返回最大的那个整数（这里三种情况都是3）。
2. next(a, #a)的行为：
   • 对于数组段的键：当传入的#a是数组段的最后一个索引时，next会返回nil，因为数组段后续没有更多元素。
   • 对于哈希段的键：next是按照哈希表的内部遍历顺序返回下一个键的，和键的数值大小无关。当传入3（哈希段中的一个键），next会返回哈希表中的下一个键（这里恰好是1），而非nil。

这就导致示例C的next(a,#a)不满足==nil的条件，数组检测逻辑因此失效。

内容的提问来源于stack exchange，提问作者deltamind106