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

山重水复疑无路,柳暗花明又一村。

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

8c0e5fc9ebde2395fcf083a66ead7ad9.png


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;

dfb8707d04c3e6e619793f5035dc53bb.png

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

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

775e89b5502c3357b47d92324afe15a1.png

第二次执行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;流程图如下:

5e6a8a39882d8fdbc0df4b6d9c17462e.png

第三次执行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;流程图如下:

de21936232f83e7d32d0bafef1161c97.png

第四次执行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;流程图如下:

6e872db5d22481bf7b6ca5d96cb3a06b.png

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

8c7574adb9842421d6897dc01ea329a8.png

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

58fb508682c1fee1c292f7187f784266.gif


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

e3cc629537ee3aa740e9018847330d27.png

  • 2
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值