没有重复的列表或有序集

Question

是否有提供数据结构的库，它保留项目的顺序并且不包含任何重复项？这种数据结构是否存在适当的名称？

我希望它的行为类似于在每次操作后应用nub 的列表。当然，我不希望它被无效地实施。

Answer 1

这里有一个解决方案：

使用fingertree 和Set 幺半群作为度量。然后在插入时，首先使用您的完整手指树的measure 检查成员资格。这会给你O(log(n)) 缺点和 snoc，O(1) 删除。

这是另一个解决方案：

将普通列表与普通Set 配对并获得基本相同的效果。你会得到更好的常数因子，但 O(log(n)) 会删除。

这是一个问题：您希望在插入重复项时发生什么？是否应该保留现有职位？新职位？优先队列可能接近您想要的，具体取决于。

Answer 2

来自ordered-containers 的OSet 似乎可以满足您的需求。