如何通过键删除lua表条目？

Question

我有一个用作散列图的 lua 表，即带有字符串键：

local map = { foo = 1, bar = 2 }

我想“弹出”该表中由其键标识的元素。有一个 table.remove() 方法，但它只需要要删除的元素的索引（即数字）而不是通用键。我希望能够执行 table.remove(map, 'foo') 这就是我的实现方式：

function table.removekey(table, key)
    local element = table[key]
    table[key] = nil
    return element
end

有更好的方法吗？

Answer 1

不，将键的值设置为nil 是删除表的哈希映射部分中的项目的可接受方法。你正在做的事情是标准的。但是，我建议不要覆盖 table.remove() - 对于表的数组部分，默认的 table.remove() 功能包括对索引重新编号，而您的覆盖不会执行此操作。如果您确实想将函数添加到 table 函数集中，那么我可能会将其命名为 table.removekey() 或类似的名称。

Answer 2

TLDR

（因为你只是想从地图上删除一个东西，这有多难）

将键设置为 nil （例如 t[k ] = nil) 不仅被接受和标准，而且它是一般从表的“内容”中删除条目的唯一方法。这是有道理的。此外，数组部分和哈希图部分是实现细节，不应该在本问答中提及。

理解 Lua 的表

（以及为什么不能从无限中删除）

Lua 表实际上没有“从表中删除条目”的概念，也几乎没有“插入条目”的概念到一张桌子”。这与不同编程语言的许多其他数据结构不同。

在Lua中，表模拟了无限大小的完美关联结构。

Lua 中的表本质上是可变的，构建新表的基本方法只有一种：使用 {} 表达式。使用初始内容（例如 t = {10, 20, ["foo"] = 123, 30} 或类似内容）构建一个表格实际上是一个 语法糖 相当于首先构造一个新表（例如 t = {}} 和然后一一设置“初始”条目（例如t[1] = 10、t[2] = 20、t["foo"] = 123, t[3] = 30) 去糖工作原理的细节无助于理解所讨论的问题，因此我将避免使用表构造糖。 。

在 Lua 中，新构建的表最初将所有可能的值与 nil 关联起来，这意味着对于表 t = {}，t[2] ] 将计算为 nil，t[100] 将计算为 nil，t["foo"]< /code> 将计算为 nil，t[{}] 将计算为 nil 等。

构建后，您可以通过以下方式更改表设置某个键的值。然后该键现在将与该值关联。例如，设置 t["foo"] = "bar" 后，键 "foo" 现在将与值 "bar" 关联代码>.因此，t["foo"] 现在将计算为 "bar"。

在某个键上设置 nil 会将该键与 nil 关联起来。例如，设置 t["foo"] = nil 后，"foo" 将（再次）与 nil 关联。因此，t["foo"] 将（再次）计算为 nil。

虽然任何键都可以与 nil 关联（并且最初所有可能的键都是），但此类条目（键/值对）不被视为表的一部分（即不被视为表格内容的一部分）。

函数pairs 和ipairs（以及其他多个）对表的内容进行操作，即值不nil 的关联。此类关联的数量始终是有限的。

考虑到上面所说的一切，将键与 nil 相关联可能会完成您在说“从表中删除条目”时所期望的一切，因为 t[k] 会评估为nil（就像构建表后所做的那样），并且诸如pairs和ipairs之类的函数将忽略此类条目，因为条目（关联）与值nil不被视为“表的一部分”。

序列

（如果表还不是很棘手）

在这个答案中，我谈论的是表一般，即对它们的键没有任何假设。在 Lua 中，具有特定键集的表可以称为序列，您可以使用 table.remove 从此类表中删除整数键。但是，首先，这个函数对于非序列（即一般的表）实际上是未定义的，其次，没有理由假设它不仅仅是一个 util，即可以使用原始操作在 Lua 中直接实现的东西。

哪些表是序列或不是序列是另一个棘手的话题，我不会在这里详细介绍。

参考参考文献

（确实不是我编的）

以上所有内容均基于官方语言参考手册。有趣的部分主要是章节 2.1 – 值和类型...

表可以是异构的；也就是说，它们可以包含所有类型的值（nil 除外）。任何值为 nil 的键都不被视为表的一部分。相反，任何不属于表的键都具有关联值 nil。

这部分的措辞并不完美。首先，我发现“表可以是异构的”这句话令人困惑。这是该术语在参考文献中的唯一使用，并且“可以”部分使得“异构”是否是表的可能属性，或者表是否变得不明显就是这样定义的。第二句话使第一个解释更加合理，因为如果“任何值为 nil 的键不被视为表的一部分”，那么就意味着“值为 nil 的键”并不矛盾。此外，rawset 函数的规范，它（间接）为 6.1 – 基本功能章节说...

将 table[index] 的实际值设置为 value，而不调用任何元方法。 table 必须是一个表，索引任何不同于 nil 和 NaN 的值，并赋值任何 Lua 值。

由于 nil 值在这里没有特殊情况，这意味着您可以 将 t[k] 设置为 <代码>零。理解这一点的唯一方法是接受从现在开始，该键将是“值为 nil 的键”，因此“不会被视为表的一部分”（pairs 将忽略它等），并且由于“任何不属于表的键都具有关联值 nil”，t[k] 将计算为 nil。

整个参考文献也没有提到从任何其他地方的表中“删除”键或条目。

关于表的另一种视角

（如果您讨厌无穷大）

虽然我个人认为参考文献中的视角很优雅，但我也明白它与其他流行模型不同的事实可能会使其更难以推理。

我相信以下观点实际上等同于前一种观点。

您可以认为...

• {} 返回一个空表。
• 如果 t 包含 键 k，且 t[k] 计算结果为 v code>nil 否则
• 设置 t[k] = v 插入一个新条目（k, v) 如果表不包含键 k，则更新该条目；如果 t 已包含键 k，则更新此类条目>，最后，作为特殊情况，如果v是，删除键k的条目>nil
• 表的内容（即被认为是“表的一部分”）是表中所有条目的集合。

在此模型中，表不能“包含“nil 值。

这不是语言参考定义事物的方式，但据我所知，这种模型显然是等效的。

不要谈论实现细节

（除非您确定这就是您的意思）

表的所谓“哈希映射部分”（它补充了表的所谓“数组部分” ）是实现细节，除非我们讨论性能或特定未定义或实现定义的行为的解释，否则谈论它们在我看来在最好的情况下会令人困惑，在最坏的情况下是完全错误的。

例如，在这样构造的表中... t = {}, t[1] = 10, t[2] = 20 >, t[3] = 30，数组部分（可能！）为 [10, 20, 30] 并设置 t[2] = nil 将从“数组部分”“删除”条目 (2, 20)，也可能调整其大小或移动 3 -> 。 30 到 hashmap 部分。我不太确定。我这么说只是为了证明讨论实现细节不是我们在这里想做的。