Quick sort, не понятно некоторые моменты.

template <typename T>
void quick_sort(vector<T>& v, int low, int high) {
 
    // Do not solve recursively when faced with
    // only 1 or 2 elements
    if (low == high) {
        return ;
    }
    else if (low + 1 == high) {
        if (v[low] > v[high]) {
            swap(v[low], v[high]);
            return ;
        }
    }
 
    // select pivot
    int middle = (low + high) / 2;
    T pivot = v[middle];
    // вот здесь почему нужно делать swap c middle элементом???
    swap(v[middle], v[high]);
 
    // partition
    int i;
    int j;
    for (i = low, j = high - 1; ;) {
 
        while (v[i] < pivot && i < j) i++;//как работают эти два цикла
        while (pivot < v[j] && i < j) j--;//
 
        if (i < j) {
            swap(v[i], v[j]);
        }
        else {
            break;
        }
    }
 
    // place pivot in correct location
    if (i != high - 1 && j != high - 1) {
        swap( v[i], v[high]);
    }
 
    // quicksort sub-vectors
 
    if (i == low && j == low) {
        quick_sort(v, low + 1, high);
    }
    else if (i == high - 1 && j == high - 1) {
        quick_sort(v, low, high - 1);
    }
    else {
        quick_sort(v, low, i - 1);
        quick_sort(v, i + 1, high);
    }
 
}