圆形数组的矢量实现

Question

我很困惑。 我在读关于使用数组实现向量的文章，而在进行简单的动态数组实现时，一切都很好。

fashion and that that will make the addition and removal of elements (for first and last) run in constant time. 提到可以通过以方式使用数组来实现向量，这将使元素的添加和删除（对于第一个和最后一个）在恒定时间内运行。 这不是链接列表应该做什么吗？

我想知道它是如何工作的，但是我找不到真正的实现或正确的解释。 欢迎提供有关什么是总体思想以及如何实现的任何信息。

编辑：我的猜测是新数据应该写在“最旧的”数据上，并且数组具有固定的大小，并且您必须具有存储最后使用位置的变量。

Answer 1

您正在谈论循环缓冲区

不幸的是，您不能使用它实现vector，因为您将无法在中间插入或从中间删除等。

Answer 2

由于C ++ 03 vector保证了连续存储，也就是说，对于每个0 <= n < vec.size() ：

&vec[n] == &vec[0] + n

这意味着您不能使用循环缓冲区来实现vector 。 从缓冲区的末尾到起点“回绕”时，您违反了此限制。

如果您认为operator[]可以返回满足此要求的带有重载的operator&某些代理-不，不能，它需要返回T& 。

除了此要求外，我认为标准中没有任何东西可以阻止使用循环缓冲区实现vector 。 在缓冲区已满的情况下，您将执行vector实际所做的相同操作-重新分配给更大的缓冲区。 行为上的唯一区别将是在开始时擦除或插入时会发生什么。 使用圆形缓冲区时，所有其他元素将在保持足够空间的情况下保持静止，而通常它们都会移动。 但是该标准并未明确要求它们移动，并且由于在开始插入或擦除操作时对所有元素的迭代器和引用无效，因此程序无法合法地依赖它们以任何特定方式移动。

的确， std::list可以在开始和结束时以固定时间插入和删除。 所以std::deque也可以。