#include <algorithm>
  iterator rotate_copy( iterator start, iterator middle, iterator end, iterator result );

The rotate_copy() algorithm is similar to the rotate() algorithm, except that the range of elements is copied to result before being rotated.