STL源码学习——Lists(链表)
今天突然想起来看看开源项目,找了找最后决定好好看看经典的STL喵~
和STL里的代码比起来我突然觉得以前写的代码也太不规范了喵,估计很多ACMer都一样吧喵。
先从简单的看、先挑了一发list的源码来看。总结如下:
欢迎大家一起讨论喵~
1 :list是用双向循环链表实现的,就是说 list.end()+1 == list.begin()
2 :list中有一个关键结点,这个结点是 list.end()
3 :在看了list中的erase函数后,发现这个函数没有对end()结点进行特殊处理,所以很遗憾list在erase(end)后就会出现一些意想不到的情况,比如以下代码会让list容器死循环喵~(虽然这个操作本来就是非法的)
1 int main() 2 { 3 list<int> ls; 4 ls.insert(ls.begin(), 0); 5 ls.insert(ls.begin(), 1); 6 ls.erase(ls.end()); 7 for(list<int>::iterator it=ls.begin(); it!=ls.end(); ++it) 8 printf("it -> %d\n", *it); 9 return 0; 10 }
4 :erase(it)之后会返回应该在原先it位置的元素。同样erase(end)后返回值是不对的。(erase(end)后的返回值为begin喵~)
5 :erase()函数并未检测传入参数是否是本身这个list的。所以如果你有两个list:L1、L2,你这样写也是对的喵~
L1.erase( L2.begin() );
|
6 :list里居然自己实现了sort算法喵,而且时间复杂度O(n*lg n)、空间复杂度O(1)。以前并没有仔细想list的排序问题,一直很单纯的以为list排序很慢。今天看了一发源码才知道原来链表排序也可以这么优越喵~
这里,《STL源码剖析》中采用的如下解释:解释为快速排序。
大致说一下算法喵:这里采用的是归并排序算法的思想。
先将0、1两元素排序,再将2、3两元素排序。
接下来就是排序前4个元素,
然后,同上前8、16、32 ... 个元素
具体实现用了64个桶,每个依编号存放2^n个元素。然后就像二进制加法一样,每次对个位进行加一操作,通过进位过程可将排好序的桶进行合并了喵。
由于链表的特殊性,无须另开空间存放元素,只需将原来的结点移动位置即可喵~
1 void sort(_StrictWeakOrdering __comp) 2 { 3 // Do nothing if the list has length 0 or 1. 4 if (_M_node._M_data->_M_next != _M_node._M_data && 5 (_M_node._M_data->_M_next)->_M_next != _M_node._M_data) 6 { 7 list<_Tp, _Alloc> __carry; 8 list<_Tp, _Alloc> __counter[64]; 9 int __fill = 0; 10 while (!empty()) 11 { 12 __carry.splice(__carry.begin(), *this, begin()); //个位加一 13 int __i = 0; 14 while(__i < __fill && !__counter[__i].empty()) 15 { 16 __counter[__i].merge(__carry, __comp); 17 __carry.swap(__counter[__i++]); 18 } 19 __carry.swap(__counter[__i]); 20 if (__i == __fill) ++__fill; 21 } 22 23 for (int __i = 1; __i < __fill; ++__i) 24 __counter[__i].merge(__counter[__i-1], __comp); 25 swap(__counter[__fill-1]); 26 } 27 }
7 :关于resize()我以前一直以为list会存放一个size_val,结果它木有存,resize的复杂度是线性的。所以如果size比较大的话,还是少resize()为好喵。
当然现在也可以理解为什么没有存放size_val了喵,因为存在这个时间复杂度为O(1)的insert函数。
void
insert( iterator pos, input_iterator start, input_iterator end );
|
8 :“operator=” list里这个函数比我想像的要聪明喵。
我以为它会先erase(begin(), end()),然后再一个一个的加进去。
结果它是先将就目标list中已创建的结点先用着,然后采用”多退少补“的原则喵~