STL源码—— rotate算法理解

rotate算法实现了区间内元素的循环移位，将[first, middle)内的元素和[middle, last)内的元素互换，middle所指的元素会成为容器的第一个元素。如下图所示：

由于不同迭代器造成算法的效率有所不同，因此设计为双层架构。

template<class ForwardIterator>
inline void rotate(ForwardIterator first, ForwardIterator middle, ForwardIterator last){
    if(first == middle || middle == last) return;
    __rotate(first, middle, last, distance_type(first), iterator_category(first));
}

下面是根据不同的迭代器类型而完成的三个旋转操作：

①forward iterator：采用分组来进行交换，使用first和i这两个迭代器来表示两段的起始交换位置，其中又有两种情况：

i)前段[first, middle) 长度不大于后段[middle, last)

如图所示，先将前段与后段的部分交换，此时后段的当前迭代器为i，则[middle, i)这部分的元素已经在其最终的位置上了，而[first，i)中的元素仍需与[i, last)交换。故令middle = i，在新区间上继续进行交换操作。

ii)前段[first, middle) 长度大于后段[middle, last)

如图所示，先将前段的部分元素与后段进行交换，此时后段的迭代器i已经达到last，[middle，last)中的元素已经在其最终的位置上，而[first, middle)和[middle, last)的元素仍需交换，而i表示后段迭代器的起始交换位置，因此需将middle的值赋给i，