Алгоритм rotate_copy() копирует элементы в диапазоне, заданном параметрами start и end, в последовательность, адресуемую параметром result. В процессе копирования выполняется циклический сдвиг влево элементов таким образом, чтобы элемент, заданный параметром mid, стал новым первым элементом. Алгоритм возвращает итератор, указывающий на конец result последовательности.