表格大小差异。这两个示例是相同的吗?

tNum={[2]=true , [3]=true,[4]=true, [5]=true ,[6]=true }

#tNum-->0

tNum={}
tNum[2]=true
tNum[3]=true
tNum[4]=true
tNum[5]=true
tNum[6]=true

#tNum-->6

为什么大小存在这样的差异? 这两个示例是相同的吗?

点赞
用户10018042
用户10018042

问题在于当你将表定义为从索引[2]开始时,长度操作符会出错,因为它假设表从索引[1]开始。

以下代码按预期工作:

tNum = {[1]=false, [2]=true, [3]=true, [4]=true, [5]=true, [6]=true}

#tNum => 6

奇怪的行为是由于当你使用tNum={}初始化数组时,它会将每个索引分配为nil,而第一个索引是[1](它并不实际地将每个值初始化为nil,但是这样解释更容易)。相反,当你使用tNum={[2]=true}初始化数组时,你明确告诉数组tNum[1]_不存在_,数组从索引2开始。当你这样做时,长度计算会出错。

有关更详细的解释,请参见lua wiki中的此部分,在底部解释了:

对于那些真正想要数组从0开始的人来说,编写以下代码并不难:

days = {[0]="Sunday", "Monday", "Tuesday", "Wednesday",
        "Thursday", "Friday", "Saturday"}

现在,第一个值“Sunday”在索引0处。这个零不影响其他字段,但是“Monday”自然移到索引1,因为它是构造函数中的第一个列表值;其他值跟随它。尽管存在此功能,我不建议在Lua中使用从0开始的数组。请记住,大多数函数都假定数组从索引1开始,因此将无法正确处理这样的数组。

长度运算符假定你的数组将从索引[1]开始,由于它并不是,所以它无法正确工作。

我希望这篇文章对你的代码有所帮助,祝你好运!

2018-08-05 15:15:50
用户3574628
用户3574628

你的两个表在语义上是完全相同的,但在它们上面使用 # 是有歧义的。0 和 6 都是正确的长度。下面是文档的摘要版本

对一个表使用长度运算符会返回该表中的一个 _边界_(border)。表 t 中的一个边界指符合以下条件的任何自然数:

(border == 0 or t[border] ~= nil) and t[border + 1] == nil

恰好有一个边界的表称为 _序列_。

当 t 不是序列时,#t 可以返回其中任意一个边界。(具体的边界取决于表的内部表示细节,这也取决于表是如何被填充的以及它的非数字键的内存地址。)

这是 _未定义的行为_(UB)的一个例子。(这可能不是正确的术语,因为行为是部分定义的。在 Lua 中,UB 不会像在 C 中那样启动核武器。)未定义的行为很重要,因为它使开发人员能够自由地选择最快的算法,而不必担心用户违反他们的假设时会发生什么。

为了查找长度,Lua 最多会进行 log n 次猜测,而不是查看每个元素以查找明确的长度。对于大型数组,这大大加快了速度。

2018-08-05 17:22:01