实施互换功能持续复杂性

Implementation of swap function for deque with constant complexity

本文关键字：功能 复杂性 互换 施互换      更新时间：2023-10-16

据说std :: Deque交换功能需要恒定时间，而不是线性。http://www.cplusplus.com/reference/deque/deque/swap-free/。该功能如何实现？

所有可重新分配的标准库容器（即，除了std::array之外的所有标准库容器）必须将其内容存储在动态分配的内存中。那是因为它们可以任意生长，并且无法将任意存储在容器对象本身占据的固定空间中。换句话说，必须有可能container.size() > sizeof(container)。

这意味着容器对象仅将A 指针存储在其内容上，而不是内容本身。因此，交换两个容器意味着简单地交换这些指针。以极为简化的形式：

template <class T>
class Container
{
  T *_begin, *_end;
  friend void swap(Container &a, Container &b)
  {
    std::swap(a._begin, b._begin);
    std::swap(a._end, b._end);
  }
};

当然，实际上，这对分配器等的存在很复杂，但是原理是相同的。

通常通过使用pimpl idiom隐藏了Deque的实现（每个Deque都构成实现的指针）。然后将指针换成。它也可能（也可能是）至少将其指向其缓冲区的指针，然后将其换成（与大小相关的相关成员）。

此帖子（副本和交换成语）与如何实现交换有关。

相关文章：