标签：dex 快速 index func asc === 组成 sort 一个
分治的思想，将原始数组分为较小的数组（但没有像归并排序一样将它们分隔开）。
代码段1：
function quickSort(arr) {
return quick(arr, 0, arr.length-1);
}
function quick(arr, left, right) {
if(arr.length>1) {
const sliceIndex = partition(arr, left, right);
if (left < sliceIndex-1) {
quick(arr, left, sliceIndex-1);
}
if (sliceIndex < right) { //*1
quick(arr, sliceIndex, right);//*2
}
}
}
function partition(arr, left, right) {
let i = left;
let j = right;
//const pivot = arr[Math.floor((i+j)/2)];
const pivot = arr[i];
while(i< j) {
while (arr[i] < pivot) { // *3
//Q:*3,*4：为什么这里必须用<和>, 而不能用 <=或>= ?
//A:*3和*4必须是<和>，都不能包含=的情况——实际验证结果也是如此
//因为如果包含=,那么就永远不处理pivot及值等于pivot的情况
i++;
}
while (arr[j] > pivot) { // *4
j--;
}
if(i<j) { // *5
//思考：为什么这里必须是 <= 而不能用 < ?
//A:它其实是为了下面一段的i++,j--。如果分开两段写，那么这里应该是i<j,而下面一段应该是i<=j
const temp = arr[i];
arr[i] = arr[j];
arr[j] = temp;
}
if(i<=j) {//*6
//这里条件一定要是i<=j。
//如果条件仅仅是i<j，那么当i==j的时候就永远也进入不了这个条件，return 的值就是i也是j。那么这一整段partion代码下来，i可能从来没有变过，又原封不动地return了i,即 const sliceIndex = partition(arr, left, right);的这个sliceIndex是和参数left相等的，那么在接下来的quick(arr, sliceIndex, right)就等于之前的quick(arr,left,right)，无限循环了。。。
//总之，这个条件的目的就是让i一定要改变一次
i++;
j--;
}
}
return i;
}主元本身在一次划分操作之后确实不在正确的位置，其正确的位置应该在本次划分操作后最终得到的那个分割点上（即sliceIndex上），在下轮操作的右半路操作会立刻把主元换到正确的位置上。所以其实在本轮划分操作最后，可以把主元交换到正确的位置上，再进行下轮操作，然后下轮操作就可以不管sliceIndex那个位置上了。
这种写法其实是把小于主元的放到左边，大于主元的放到右边，等于主元的可能在左可能在右，而并不是把主元放在了正确的位置。
代码改进成如下这样就好理解了。
代码段2：
function quickSort(arr) {
return quick(arr, 0, arr.length-1);
}
function quick(arr, left, right) {
if (arr.length ===1) {
return;
}
const sliceIndex = partition(arr, left, right);
if(left < sliceIndex-1) {
quick(arr, left, sliceIndex-1);
}
//下次划分不用再考虑主元了
if(sliceIndex + 1 < right) { //*1
quick(arr, sliceIndex + 1, right);//*2
}
}
function partition(arr, left, right) {
let i = left;
let j = right;
const pivot = arr[i];
while(i < j) {
while(arr[i] < pivot) { //*3
i++;
}
while(arr[j] > pivot) {
j--;
}
if(i < j) {
const temp = arr[i];
arr[i] = arr[j];
arr[j] = temp;
}
if(i <= j) {
i++;
j--;
}
}
//交换主元到划分位置上
const tempPivotIndex = arr.indexOf(pivot); //*7
arr[tempPivotIndex] = arr[i];//*8
arr[i]=pivot;//*9
return i;//其实也是等于j的
}比起原代码，这种写法:把1,2做了修改，下次划分操作不再考虑本次的slickIndex(即主元已经排好了)；然后新增7,8,*9,就是在本次的划分操作最后，把主元交换到了正确的位置上，这样写，与Es6写法（代码段3）的思路是一致的
待画图
代码段3：
function quickSortEs6(arr) {
if (!arr.length) {
//要处理的临界条件一定是arr为空的情况，因为可能filter过滤后就一项也不剩了
//arr长度为1的条件可以不单独处理，因为长度为1那么[pivot, ...rest]=arr的rest就为[]了
return [];
}
const [pivot, ...rest] = arr;
return [
...quickSortEs6(rest.filter(item => item < pivot)),
pivot,
...quickSortEs6(rest.filter(item => item >= pivot)) //一定要有=不然和pivot相等的其他值会被过滤掉
]
}这个比起之前的排法更好理解。
-《学习JavaScript数据结构和算法》10.1.5
-《数据结构(C语言版)》9.3.2
标签：dex 快速 index func asc === 组成 sort 一个
原文地址：https://www.cnblogs.com/Bonnie3449/p/9221039.html
