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,