“ 山重水复疑无路,柳暗花明又一村。”
之前我们在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排序算法,类似于归并排序——分治思想的典型应用。这里又引入了两个新鲜的概念——归并排序与分治思想,后面会继续介绍,敬请期待。