堆排序中的陷阱

前言

采用堆排序，将数组按照升序排列并输出。

知识点

异或可用来交换两元素的值

如：

a[i] = a[i]^a[j];
a[j] = a[j]^a[i];
a[i] = a[i]^a[j];

但该方法的正确性取决于一个关键条件：

i !=j;

如果二者相等，则该处的值肯定为0.了解了这些，就可以看下面的排序了。

堆排序1（有问题）

//初始化大顶堆，并进行交换与堆调整。adjustHeap的调整范围变为[param2,param3)
	public static void heapSort(int[] a) {
		for(int k= a.length/2-1; k>=0; k--) {
			adjustHeap(a, k, a.length);
		}
		for(int i= a.length-1; i>=0; i--) {
			swap(a, 0, i);
			adjustHeap(a, 0, i);
		}
	}
	//	调整细节，父亲与子节点的比较直到叶子
	private static void adjustHeap(int[] a, int parent, int end) {
		// TODO Auto-generated method stub
		int tmp= a[parent];
		for(int child= 2*parent+1; child< end; child= 2*parent+1) {			
			if(child+1< end && a[child+1]>= a[child]) {
				child++;
			}
			if(tmp< a[child]) {
				a[parent]= a[child];
				parent= child;
			}else {
				break;
			}
		}
		a[parent]= tmp;
	}
    private static void swap(int[] a, int i, int j) {
		a[i] = a[i]^a[j];
		a[j] = a[j]^a[i];
		a[i] = a[i]^a[j];
	}

此处，若对数组最小值不为0的数组进行排序，如int[] arr = {-2,-1,0,4,4,4,4,3,3,3};排序后输出的结果会是

[0, -1, 0, 3, 3, 3, 4, 4, 4, 4]

很奇怪对不对，加入我们将该结果与正确结果比较，

错误结果：[0, -1, 0, 3, 3, 3, 4, 4, 4, 4]
正确结果：[-2, -1, 0, 3, 3, 3, 4, 4, 4, 4]

会发现仅仅是最小值出了差错，变为了0，其余结果是正确的。这时可能会想到是异或交换出错的原因。再去看下包含用了异或交换方法的代码

 发现交换的顺序分别为0-len-1;0-len-2;.....最后一次是0与0交换的！这一部分没有必要，也导致了错误的结果

将结束条件改为i>0即可

//初始化大顶堆，并进行交换与堆调整。adjustHeap的调整范围变为[param2,param3)
	public static void heapSort(int[] a) {
		for(int k= a.length/2-1; k>=0; k--) {
			adjustHeap(a, k, a.length);
		}
		for(int i= a.length-1; i>0; i--) {
			swap(a, 0, i);
			adjustHeap(a, 0, i);
		}
	}
	//	调整细节，父亲与子节点的比较直到叶子
	private static void adjustHeap(int[] a, int parent, int end) {
		// TODO Auto-generated method stub
		int tmp= a[parent];
		for(int child= 2*parent+1; child< end; child= 2*parent+1) {			
			if(child+1< end && a[child+1]>= a[child]) {
				child++;
			}
			if(tmp< a[child]) {
				a[parent]= a[child];
				parent= child;
			}else {
				break;
			}
		}
		a[parent]= tmp;
	}
    private static void swap(int[] a, int i, int j) {
		a[i] = a[i]^a[j];
		a[j] = a[j]^a[i];
		a[i] = a[i]^a[j];
	}

这样就可以安全使用异或交换啦~还减少了一个调整堆的步骤