稀疏容器和迭代器答案

【问题标题】：Sparse containers and iterators稀疏容器和迭代器
【发布时间】：2014-07-24 21:42:31
【问题描述】：

我已经实现了一个稀疏容器，一个基本的查找表 (LUT)。
它基本上是vector<T> 和map<size_t, T> 的混合体：

（我实际上如何实现这个容器无关紧要，所以我不会去那里。）

现在我正在尝试为它设计一个迭代器，但我一直在试图弄清楚如何做。

一方面，迭代器应该是随机访问的，因为容器本质上是一个稀疏的vector，否则行为或多或少相同。

另一方面，假设每个插槽的“默认”条目是可忽略的；也就是说，评估像for_each(lut.begin(), lut.end(), func) 这样的东西可以并且确实必须跳过具有默认值的槽（以显着加速）。

问题：

目前，我正在考虑实现它，以便 iterator::operator++ 递增迭代器以指向下一个非默认条目，而 iterator::operator+(d) 只是添加一个偏移量 d 而不管该插槽中的条目是否为有效与否。所以“自增”不再是“加1”的意思。

从表面上看，这听起来很荒谬。
但我想不出更好的方法。
有吗？

【问题讨论】：

您对operator++ 和operator+ 的想法冲突。实际上，要成为有效的随机访问迭代器，执行it + 5 必须与执行it++ 5 次相同。即使它很稀疏，我仍然希望迭代器迭代每个元素。至少在逻辑上，这些元素仍然存在。
@JosephMansfield：“从表面上看，这听起来很荒谬。”...是的，我知道，这正是我问这个问题的原因。你读了吗？
@JosephMansfield：关于您的编辑：容器的整个 point 是它仅在那些迭代默认值的情况下使用用户保证条目是无操作的。因此，如果您的期望是它也迭代默认条目，那么您不应该首先使用这个容器。我的问题是，if 您正在使用此容器，因此跳过默认条目 is 是正确的，也是您所期望的（例如，因为您需要降低时间复杂度），您将如何实现行为合理的迭代器？
看来你的 API 应该提供两种不同类型的迭代器。
@jxh：这实际上是一个很好的答案，你介意将它作为一个发布吗？

【解决方案1】：

您实际上是在描述两种不同类型的迭代器：一种在递增时跳过默认值，另一种则不。

因此，API 似乎应该只提供一种向容器用户呈现任何一种的方式，以便用户可以从迭代器中选择他们想要的行为。

【讨论】：