我们之前讲的快速排序有非递归的写法，那么归并排序也有非递归写法，我们一起来研究一下吧。

快速排序的非递归算法是使用的手动搭栈的方法，将区间存入栈里面，然后再排序，但是这次的归并排序可以吗？大家都知道归并排序是让左区间有序，右区间有序，然后再回到原来的区间使其有序，这个思路就类似于我们之前了解的后序一样，而快速排序就类似于中序，所以说，这次的归并排序就不能用搭栈的方法来实现非递归，那么，我们怎么实现呢？

思路，我们让这个数组先每个数一组，然后，使每一组都有序，然后，使每两组都有序，以此类推，我们就可以让整个数组有序。废话少说，大家看图：

相信我画的这幅图应该很清楚的表述了我的思路。

细节处理 

以上是大的思路，但是我们也有很多小细节也要处理好，否则千里之堤溃于蚁穴，前功尽弃。

区间处理

如上图所示，我们每次都会先分成两组，然后让他们有序，最好的方法就是设置两个区间，然后，再用变量控制这个区间，这是效率最高，又通俗易懂的方法，那么两个区间就是 

【begin1   end1】，【begin2   end2】；

设置一个i变量控制我们最左区间，设置一个gap等于我们每一组的数据个数，具体对应的样子上面的图也展示的很清楚，begin1就是i，然后其余的数就是根据这个gap来确定的，具体是什么样子请看下图：

这样安排数组就可以达到滚车轮的效果。

单数数组的越界 

我们先看一张图

这就很准确的表达了我们遇到的问题，万一给的数组不能双双配对怎么办？我们继续看后面 

上图是区间的变化图，显示的第一个越界是end2越界，第二个就是begin2和end2越界，所以说我们需要有针对这两种情况的处理办法，第一种，begin2和end2都越界，我们就抛弃他们，然后进入 下一个循环，第二种，end2越界，那么就让end2等于n-1。

代码展示

//非递归的归并排序 void MergeSortNonR(int* a, int* tmp,int n) { 	int gap = 1; 	while (gap < n) 	{ 		for (int i = 0; i < n;i += gap * 2) 		{ 			int begin1 = i; 			int end1 = i + gap - 1; 			int begin2 = i + gap; 			int end2 = i + gap * 2 - 1; 			if (begin2 >= n) 			{ 				break; 			} 			if (end2 >= n) 			{ 				end2 = n - 1; 			} 			int j = i;  			while (begin1 <= end1 && begin2 <= end2) 			{ 				if (a[begin1] < a[begin2]) 				{ 					tmp[j++] = a[begin1++]; 				} 				else 				{ 					tmp[j++] = a[begin2++]; 				} 			} 			//第一个数组没有全部进tmp数组 			while (begin1 <= end1) 			{ 				tmp[j++] = a[begin1++]; 			} 			//第二个没进 			while (begin2 <= end2) 			{ 				tmp[j++] = a[begin2++]; 			} 			memcpy(a + i, tmp + i, sizeof(int) * (end2 - i + 1));  		} 		gap = gap * 2;  	}  }

大家可以试着自己调试一下。