几种常用的高效排序（一）--快排

前面是讲解，不带注释的代码在最后：

--------------------------------快排----------------------------------------------------------------

快排其实就是分治思想的一种典型的应用，分治就是通过把一个问题分成子问题的方法，简化问题，而实现在log时间内解决问题的高效策略，

快排的思想就是每次确定比较元，用两个指针分别指向头和尾，通过和比较元比较进行挖坑和填坑操作，使比较元左侧的元均小于它，比较元后面的元均大于它

因为分治就是用同样的方法逐步分解问题，所以适合应用递归的形式进行

template < typename T >
void sort (  T a[] , int left , int right )
{
    //当左右边界相等或左边界超过右边界，证明最小的局部已经排好序，排序结束
    if ( left >=  right ) return;
    int cmp = a[left];
    //我采用的是直接将每段局部的首元作为比较元
   //初始化头尾两个指针，初始状态下因为比较元已经被单独存储，所以可以看做头指针begin是一个坑
    int begin = left , end = right;
   //直到头指针和尾指针重合，这时已经把所有的元调整过了
    while ( begin < end )
    { 
      //直接跳过所有在比较元后面的比比较元大的元，因为它们不需要调整
         while ( begin <  end && a[end] >= cmp )
             end--;
       //这时如果两个指针未重合，证明没有调整结束，且当前尾指针指向一个非法元，所以把它挪到预留的坑里，而同时，该位置尾指针此时被更新为新的坑
         if ( begin < end )
             a[begin++] = a[end];
        //像尾指针一样调整头指针
         while ( begin < end && a[begin] < cmp )
             begin++;
        //继续进行先填坑再挖坑的操作
         if ( begin < end )
         {
             a[end] = a[begin];
             end--;
         }
   }
  //用比较元填补最后剩下的坑，现在当前序列已经保证比较元左边均比比较元小，右边均比比较元大
   a[begin] = cmp;
  //可以把比较元两侧看做两个序列，用同样的方法对他们进行操作
   sort ( a , left, begin-1 );
   sort ( a , begin+1 , right );
}

<------需要代码的从这里copy , 直接点代码块左上角即可----------------------------------------------------

template < typename T >
void sort (  T a[] , int left , int right )
{
    if ( left >=  right ) return;
    int cmp = a[left];
    int begin = left , end = right;
    while ( begin < end )
    {
         while ( begin <  end && a[end] >= cmp )
             end--;
         if ( begin < end )
             a[begin++] = a[end];
         while ( begin < end && a[begin] < cmp )
             begin++;
         if ( begin < end )
         {
             a[end] = a[begin];
             end--;
         }
   }
   a[begin] = cmp;
   sort ( a , left, begin-1 );
   sort ( a , begin+1 , right );
}