(冒泡，选择，插入，希尔，快速，归并，堆排)
周末加班学习C++，打算用C++写七大经典排序代码。
发现3个月前自己写的七大经典排序代码(C Language)突然运行出错。
Makefile内容
testmysort: testmysort.c mysortlib.c mysortlib.h
# gcc testmysort.c mysortlib.c -o testmysort
gcc $< mysortlib.c -o $@
./$@
直接make几次总是core dumped错误。
这时我用git已有快一年经验，当时就后悔没用git来跟踪代码变化。如果用git，只要git diff 就可以快速定位导致影响的代码。
git真的是一个好工具，一次又一次发现。
我想以后我的代码都要这样管理。
没办法，自己debug，看代码，多谢前面自己做到工作，本来就输出了很多有用的消息，竟然没动用gdb。
1、定位问题，#define sortfunc _msort可知与归并排序函数有关，换成_qsort测试没问题，因此肯定_msort()有问题。
2、排除问题：问题在一个地方，合并时的条件判断出错了！debug过程在源码中有记录，改5次后成功。
void _msort(int arr[], int len)
{/* 2014-03-26 一次写好就对！！？？？==>>那是错觉@2014-08-10@*/
if (len<10){
_isort(arr, len);
return;
}
/* sorting each half part */
int m = len/2;
_msort(arr, m);
_msort(arr+m, len-m);
/* merge, use memery outside */
int *arrtmp = (int*)malloc(len*sizeof(int));
int i=0,j=m,k=0; /* i是前游标，j是后游标，k申请内存的游标*/
for (k=0;k<len;k++){
/* bug v1 发现排序结果是规则的波峰型
* 偶尔运行时core dumped
if (arr[i]<arr[j]){
arrtmp[k] = arr[i++];
}else{
arrtmp[k] = arr[j++];
}
*/
/* bug v2 不全面(i<m && arr[i]>=arr[j] 条件下：如果j>=m，也该执行分支一)
* 偶尔运行时core dumped
if (i<m && arr[i]<arr[j]){
arrtmp[k] = arr[i++];
}else{
arrtmp[k] = arr[j++];
}
*/
/* bug v3 已接近正确，仅错在j>=m，一开始没发现
if (j>=m || i<m && arr[i]<arr[j]){
arrtmp[k] = arr[i++];
}else{
arrtmp[k] = arr[j++];
}
*/
/* bug v4 括号没改变逻辑
if (j>=m || (i<m && arr[i]<arr[j])){
arrtmp[k] = arr[i++];
}else{
arrtmp[k] = arr[j++];
}
*/
/* 总结：
* 一、if中的两分支具有*互换性*，所以地位相等，推出走每个分支的期望必须都是1/2。
* 二、概率公式：P(A或B) = P(A) + P(B) - P(A且B)
* 三、考虑到隐藏的附加条件：j>=len与i>=m不可同时成立，推出j>=len时必i<m，同理i>=m时必j<len
*/
if (j>=len || (i<m && arr[i]<arr[j])){
arrtmp[k] = arr[i++]; /* 走此路概率：1/2+1/2*1/2-1/2*1/2 = 1/2 */
}else{ /* 等价：if (i>=m || (j<len && arr[i]>= arr[j])) */
arrtmp[k] = arr[j++];
}
}
for (k=0;k<len;k++){
arr[k] = arrtmp[k];
}
free(arrtmp);
}
3、testmysort.c是个辅助测试的模块，调用mysortlib.c中的函数，通过宏#define sortfunc ×××每次测试一个。输出信息对估量排序函数有比较大的帮助。
输出类似如下：
< [ 35687,3377,49990,58351,12237 ] > [ 3377,12237,35687,49990,58351 ] --------------------------------- < [ 35687,3377,49990,58351,12237,64841,62230,41585,52580,18926 ] > [ 3377,12237,18926,35687,41585,49990,52580,58351,62230,64841 ] --------------------------------- < [ 35687,3377,49990,58351,12237,64841,62230,41585,52580,18926,46382,40611,49858,20665,2984,60676,24442,59752,8288,21844 ] > [ 2984,3377,8288,12237,18926,20665,21844,24442,35687,40611,41585,46382,49858,49990,52580,58351,59752,60676,62230,64841 ] --------------------------------- < [ 35687,3377,49990,58351,12237,64841,62230,41585,52580,18926,46382,40611,49858,20665,2984,60676,24442,59752,8288,21844,51890,13460,36039,20282,49485,9391,25777,41009,52448,1089,7594,22600,4466,57585,15416,49470,24123,12112,25521,43935 ] > [ 1089,2984,3377,4466,7594,8288,9391,12112,12237,13460,15416,18926,20282,20665,21844,22600,24123,24442,25521,25777,35687,36039,40611,41009,41585,43935,46382,49470,49485,49858,49990,51890,52448,52580,57585,58351,59752,60676,62230,64841 ] --------------------------------- sorted 1000000 used: 0.327s sorted 2000000 used: 0.676s sorted 4000000 used: 1.398s sorted 8000000 used: 2.883s sorted 1000000 used: 0.176s when same sorted 2000000 used: 0.371s when same sorted 4000000 used: 0.782s when same sorted 8000000 used: 1.639s when same sorted 1000000 used: 0.176s (inc) | sort 1000000 used: 0.177s (desc) sorted 2000000 used: 0.371s (inc) | sort 2000000 used: 0.371s (desc) sorted 4000000 used: 0.780s (inc) | sort 4000000 used: 0.779s (desc) sorted 8000000 used: 1.639s (inc) | sort 8000000 used: 1.635s (desc)
4、最后git commit好，心里比较踏实了。