某些 ETS 表类型之间有什么区别？

Question

根据manual，ETS 表有 4 种类型：

• set – 该表是一个集合表：一个键，一个对象，对象之间没有顺序。这是默认的表格类型。
• ordered_set – 该表是一个ordered_set 表：一个键，一个对象，按照Erlang 术语顺序排序，这是 运算符所隐含的顺序。这种类型的表在某些情况下与其他类型的表有一些不同的行为。最值得注意的是，ordered_set 表在它们比较相等时认为键相等，而不仅仅是在它们匹配时。这意味着对于一个ordered_set 表，integer() 1 和float() 1.0 被认为是相等的。这也意味着，如果 float() 和 integer() 混合在表的键中，则用于查找元素的键不一定与返回元素中的键匹配。
• bag – 该表是一个 bag 表，它可以有许多对象，但每个对象只有一个实例，每个键。
• duplicate_bag – 该表是一个 duplicate_bag 表，每个键可以有多个对象，包括同一对象的多个副本。

虽然我从他们的描述中并不能真正理解它们之间的区别。这里的“对象”和“对象实例”是什么？

Answer 1

set

这是一个常规映射，其中每个键都是唯一的，并且指向一个元组。对单个键的每次后续写入将始终覆盖该键下的现有条目。

1> T = ets:new(t, [set]).
2> ets:insert(T, {1, a}).
3> ets:insert(T, {1, b}).
3> ets:insert(T, {1, b}).
4> ets:insert(T, {1.0, c}).
5> ets:lookup(T, 1).
[{1,b}]

ordered_set

就像set，但通过标准比较运算符保持元素排序并通过== 运算符解决相等问题。因此键 1 和 1.0 被视为等效项。

1> T = ets:new(t, [set]).
2> ets:insert(T, {1, a}).
3> ets:insert(T, {1, b}).
3> ets:insert(T, {1, b}).
4> ets:insert(T, {1.0, c}).
5> ets:lookup(T, 1).
[{1.0,c}]

bag

它是一个独特的元组集合。条目可以共享密钥，只要它们的值在某处不同。

1> T = ets:new(t, [bag]).
2> ets:insert(T, {1, a}).
3> ets:insert(T, {1, b}).
4> ets:insert(T, {1, b}).
4> ets:insert(T, {1.0, c}).
5> ets:lookup(T, 1).
[{1,a},{1,b}]

duplicate_bag

与bag 相同，但不是唯一的。元组可以重复，这意味着每次添加相同元素都会在表中添加新条目

1> T = ets:new(t, [duplicate_bag]).
2> ets:insert(T, {1, a}).
3> ets:insert(T, {1, b}).
4> ets:insert(T, {1, b}).
4> ets:insert(T, {1.0, c}).
5> ets:lookup(T, 1).
[{1,a},{1,b},{1,b}]