C++ 归并排序 含哨兵与不含哨兵 写法

归并排序利用分治思想，通过不断的用递归将大问题化解为小问题，是一种稳定的排序算法，时间复杂度为O(nlogn)，但是由于开辟了额外的空间，空间复杂度为O(n)。在代码实现部分，分解部分利用递归的方法，不是很难实现，合并部分是关键，普通未引入哨兵代码需要考虑到边界问题，但是引入哨兵，能够更加简化代码。

不含哨兵：

void __merge(int* arr, int left, int mid, int right) {
    int i = left, j = mid + 1, k = 0;
    int*  new_arr = new int[right-left+1];
    while (i <= mid && j <= right) {
        if (arr[i] < arr[j]) {
            new_arr[k++] = arr[i++];
        } else {
            new_arr[k++] = arr[j++];
        }
    }
    int start = i, end = mid;
    if ( j <= right) {
        start = j;
        end = right;
    }
    while (start <= end) {
        new_arr[k++] = arr[start++];
    }
    // 此处注意i取left，而不是0， 
    // 因为对于递归部分，子段并非是原arr的起始，而是left到right的一段
    for(int i = 0; i <= (right-left); i++) {
        arr[i+left] = new_arr[i];
    }
    delete[] new_arr;
}

 

运用哨兵：

void __merge_sentinel(int* arr, int left, int mid, int right) {
    int i = 0, j = 0, k = left; // 同上述，k也不取0，而是子段真正的起始位置 left
    // 申请左右区间空间，预留一个哨兵
    int* left_arr = new int[mid- left +2];
    int* right_arr = new int[right- (mid+1) + 2];
    // 拷贝区间值，赋较大值给哨兵
    for(int n = 0; n <= (mid- left); ++n)
        left_arr[n] = arr[left + n];
    left_arr[mid- left +1] = 1000;

    for (int n = 0; n <= (right- mid-1); ++n)
        right_arr[n] = arr[mid+1+n];
    right_arr[right-mid] = 1000;
    // 单遇到哨兵时，不易满足条件，自动执行另一方，无需考虑边界问题
    while (k <= right) {
        if (left_arr[i] < right_arr[j]) {
            arr[k++] = left_arr[i++];
        } else {
            arr[k++] = right_arr[j++];
        }
    }
    delete[] left_arr, right_arr;
}

剩余主函数和递归部分见如下：

void __merge_sort(int* arr, int left, int right) {
    if (left >= right)
        return;
    int mid = (left + right) / 2;
    __merge_sort(arr, left, mid);
    __merge_sort(arr, mid+1, right);
    __merge_sentinel(arr, left, mid, right);
}

void Merge_Sort(int* arr, int len) {
    __merge_sort(arr, 0, len-1);
}


int main() {
    int a[6] = {4, 5, 6, 1, 2, 3};
    print_array(a, 6);
    Merge_Sort(a, 6);
    print_array(a, 6);

    return 0;
}