空间复杂度：O(n)

时间复杂度：O(nlogn)

稳定性：稳定

//归并排序
int *B=(int *)malloc((n+1)*sizeof(int));	//构造辅助数组B
void Merge(int A[],int low,int high,int mid){		//二路归并 
	for(int k=low;k<=high;k++){
		B[k]=A[k]; 		//将待排序的元素复制到B中 
	}
	for(i=low,j=mid+1,k=i;i<=mid&&j<=high;k++){
		if(B[i]<=B[j])
			A[k]=B[i++];
		else
			A[k]=B[j++];
	}
	while(i<=mid)
		A[k]=B[i++];
	while(j<=high)
		A[k]=B[j++];
} 

void MergeSort(int A[],int low,int high){		//归并排序 
	if(low<high){		//当low==high时跳出递归 
		int mid=(low+high)/2;
		MergeSort(A,low,mid);
		MergeSort(A,mid+1,high);
		Merge(A,low,high,mid);	//low、high值会不断变化 
	} 
}

在排序算法中，最后在Merge()中的low、high、mid的值，以这三个值再进行一两次的MergeSort()，low和high的值会相等，当low==high时，会跳出至上一层的递归，跳出后low和high会依次恢复成原来的值。（只能用语言描述成这样了，QAQ）在本子上模拟下，假如有四个元素low和high的值会如何变化，三个元素时low和high的值又会如何变化呢？

最后我想说一句，递归真是它喵的博大精深啊