list排序_STL之list排序算法图解

“ 山重水复疑无路，柳暗花明又一村。”

之前我们在STL之list源码剖析(二)一文中曾经剖析过list的排序算法sort，我最近在做项目的时候需要对自定义类型的list进行排序，所以借此机会把sort的算法思想在深入学习一下。

---

0. STL中list的sort函数图解

sort函数的简化源码如下所示：

// 按升序进行排序，list链表的迭代器访问时双向迭代器template <class _Tp, class _Alloc>void list<_tp _alloc>::sort(){    // Do nothing if the list has length 0 or 1.    if (_M_node->_M_next != _M_node && _M_node->_M_next->_M_next != _M_node)     {        // carry链表起到搬运的作用        list<_tp _alloc> __carry;        // counter链表是中间存储作用        /*        * 其中对于counter[i]里面最多的存储数据为2^(i+1)个节点        * 若超出则向高位进位即counter[i+1]        */        list<_tp _alloc> __counter[64];        int __fill = 0;        // 若不是空链表        while (!empty())         {            // 第一步：            // 把当前链表的第一个节点放在carry链表头            __carry.splice(__carry.begin(), *this, begin());            int __i = 0;            while(__i < __fill && !__counter[__i].empty())             {                // 第二步：                // 把链表carry合并到counter[i]                __counter[__i].merge(__carry);                // 第三步：                // 交换链表carry和counter[i]内容                __carry.swap(__counter[__i++]);            }            // 第四步：            // 交换链表carry和counter[i]内容            __carry.swap(__counter[__i]);            // 第五步：            if (__i == __fill)                ++__fill;        }        for (int __i = 1; __i < __fill; ++__i)            // 第六步：            // 把低位不满足进位的剩余数据全部有序的合并到上一位            __counter[__i].merge(__counter[__i-1]);        // 第七步：        // 最后把已排序好的链表内容交换到当前链表        swap(__counter[__fill-1]);    }}

该算法的实现中，定义了一个类似于搬运作用的链表__carry，和具有中转作用的链表数组__counter。

其中，__counter的设计特别巧妙，__counter[__i]里面最多存储的数据的个数为2^(i+1)，若存储数据超过最大存储能力，则向相邻高位进位，即把__counter[__i]里面的内容合并到__counter[__i+1]中，合并使用的是merge函数。

值得注意的一点是，list的默认排序为升序排序，因此对于自定义类型，我们需要提供operator

其中，__carry负责取出原始链表的头一个数据节点和交换数据中转站作用。

另外，我们可能还注意到代码中的__fill，它的作用是指当前可处理数据的个数为2^(__fill)。

下面我们用画图的方式分析list的排序算法，下图是待排序的list。

• 把注释第一步carry.splice(carry.begin(), *this, begin())标记为下图中执行的步骤1；

• 把注释第二步counter[i].merge(carry)标记为下图中执行的步骤2；

• 把注释第三步carry.swap(counter[i++])标记为下图中执行的步骤3；

• 把注释第四步carry.swap(counter[i])标记为下图中执行的步骤4；

• 把注释第五步if (i == fill) ++fill标记为下图中执行的步骤5；

• 把注释第六步for循环里面语句counter[i].merge(counter[i-1])标记为下图中执行的步骤6；

• 把注释第七步swap(counter[fill-1])标记为下图中执行的步骤7；

下面是排序算法sort的执行过程，定义初始值fill=0，因为原始链表有四个节点，即原始链表非空，则执行while循环里面的语句。

第一次执行while循环：步骤1搬运链表carry取出当前链表的第一个数据节点7，初始值i=0，由于嵌套while循环条件不成立，则跳过嵌套while循环，直接进入到步骤4，交换carry和counter[i](i=0)的内容；又因为此时i=fill，则更新值++fill，即fill=1；流程图如下：

第二次执行while循环：步骤1搬运链表carry取出当前链表的第一个数据节点5，初始值i=0，由于嵌套while循环条件成立，步骤2将carry链表的内容有序的合并到counter[i](i=0)链表中，再执行步骤3交换carry和counter[0]内容且i++，此时carry有两个有序的节点5和7，counter[0]为空链表，i的值为i=1；这时嵌套while循环条件不成立；跳转到步骤4交换carry和counter[1]的内容，且执行步骤5更新fill的值++fill，第二次while循环执行结束时，数据节点的状况为：carry和counter[0]内容都为空，counter[1]有两个有序的节点5和7，值fill=2；流程图如下：

第三次执行while循环：步骤1搬运链表carry取出当前链表的第一个数据节点8，初始值i=0，由于嵌套while循环条件不成立，则跳过嵌套while循环，直接进入到步骤4，交换carry和counter[i](i=0)的内容；又因为此时i不等于fill，则不更新fill值，即fill=2；第三次while循环执行结束时，数据节点的状况为：carry为空，counter[0]内容为一个节点8，counter[1]有两个有序的节点5和7，值fill=2；流程图如下：

第四次执行while循环：步骤1搬运链表carry取出当前链表的第一个数据节点1，初始值i=0，由于嵌套while循环条件成立，步骤2将carry链表的内容有序的合并到counter[i](i=0)链表中，再执行步骤3交换carry和counter[0]内容且i++，此时carry有两个有序的节点1和8，counter[0]为空链表，i的值为i=1；这时嵌套while循环条件依然成立；继续执行步骤2将carry的内容有序的合并到counter[1]链表中，再执行步骤3交换carry和counter[1]的内容且++i，此时，carry内容为四个有序的节点1、5、7和8，counter[0]和counter[1]的内容都为空链表，i的值为i=2；这时嵌套while循环条件不成立；跳转到步骤4交换carry和counter[2]的内容，且执行步骤5更新fill的值++fill，第四次while循环执行结束时，数据节点的状况为：carry、counter[0]和counter[1]内容都为空，counter[2]有四个有序的节点1、5、7和8，值fill=3；流程图如下：

最后，由于此时当前链表为空链表，则跳出while循环，执行for语句，因为i=2之前的counter[1]和counter[0]内容都为空，则执行完for语句之后链表都没变化，然后执行步骤7交换当前链表和counter[2]的内容，执行完后，counter[2]为空，当前链表内容为四个有序的节点1、5、7和8；流程如下：

不知道大家看完有没有发现，该排序算法思想类似于归并排序。关于归并排序网上的资料很多，我们今天就先不探究了，放一张动图有助于大家的理解。

---

今天给大家分享了一下list的sort排序算法，类似于归并排序——分治思想的典型应用。这里又引入了两个新鲜的概念——归并排序与分治思想，后面会继续介绍，敬请期待。