Java集合源码学习（三）LinkedList分析

前面学习了arraylist的源码，

数组是顺序存储结构，存储区间是连续的，占用内存严重，故空间复杂的很大。

但数组的二分查找时间复杂度小，为o(1)，数组的特点是寻址容易，插入和删除困难。

今天学习另外的一种常用数据结构linkedlist的实现，

linkedlist使用链表作为存储结构，链表是线性存储结构，在内存上不是连续的一段空间，

占用内存比较宽松，故空间复杂度很小，但时间复杂度很大，达o（n），链表的特点是寻址困难，插入和删除容易。

所有的代码都基于jdk 1.6。

linkedlist继承了abstractsequentiallist，实现了list，deque，cloneable，serializable 接口，

（1）继承和实现

继承abstractsequentiallist类，提供了相关的添加、删除、修改、遍历等功能。

实现list接口，提供了相关的添加、删除、修改、遍历等功能。

实现 deque 接口，即能将linkedlist当作双端队列使用，可以用做队列或者栈

实现了cloneable接口，即覆盖了函数clone()，能被克隆复制，

实现java.io.serializable接口，linkedlist支持序列化，能通过序列化传输。

（2）线程安全

linkedlist是非同步的，即线程不安全，如果有多个线程同时访问linkedlist，可能会抛出concurrentmodificationexception异常。

1

2

3

4

<code>final</code> <code>void</code> <code>checkforcomodification() {</code>

<code>        </code><code>if</code> <code>(modcount != expectedmodcount)</code>

<code>        </code><code>throw</code> <code>new</code> <code>concurrentmodificationexception();</code>

<code>    </code><code>}</code>

　　代码中，modcount记录了linkedlist结构被修改的次数。iterator初始化时，expectedmodcount=modcount。任何通过iterator修改linkedlist结构的行为都会同时更新expectedmodcount和modcount，使这两个值相等。通过linkedlist对象修改其结构的方法只更新modcount。所以假设有两个线程a和b。a通过iterator遍历并修改linkedlist，而b，与此同时，通过对象修改其结构，那么iterator的相关方法就会抛出异常

和普通的链表不同，双向链表每个节点不止维护指向下一个节点的next指针，还维护着指向上一个节点的previous指针。

（1）内部实现

linkedlist内部使用entry&lt;e&gt;来封装双向循环链表结点。

linkedlist头结点的定义:

<code>//头结点的定义</code>

<code>    </code><code>private</code> <code>transient</code> <code>entry&lt;e&gt; header = </code><code>new</code> <code>entry&lt;e&gt;(</code><code>null</code><code>, </code><code>null</code><code>, </code><code>null</code><code>);</code>

<code>    </code><code>//链表的实际长度</code>

<code>    </code><code>private</code> <code>transient</code> <code>int</code> <code>size = </code><code>0</code><code>;</code>

　　entry是一个静态内部类，

5

6

7

8

9

10

11

<code>private</code> <code>static</code> <code>class</code> <code>entry&lt;e&gt; {</code>

<code>    </code><code>e element;</code>

<code>    </code><code>entry&lt;e&gt; next;</code>

<code>    </code><code>entry&lt;e&gt; previous;</code>

<code>    </code><code>entry(e element, entry&lt;e&gt; next, entry&lt;e&gt; previous) {</code>

<code>        </code><code>this</code><code>.element = element;</code>

<code>        </code><code>this</code><code>.next = next;</code>

<code>        </code><code>this</code><code>.previous = previous;</code>

　　

（2）构造函数

linkedlist内部提供了两个构造函数，

12

13

<code>/**</code>

<code>    </code><code>* 初始化一个空的list，可以理解为一个双向循环链表</code>

<code>    </code><code>*/</code>

<code>   </code><code>public</code> <code>linkedlist() {</code>

<code>       </code><code>header.next = header.previous = header;</code>

<code>   </code><code>}</code>

<code>   </code><code>/**</code>

<code>    </code><code>* 使用指定的collection构造一个list</code>

<code>   </code><code>public</code> <code>linkedlist(collection&lt;? </code><code>extends</code> <code>e&gt; c) {</code>

<code>   </code><code>this</code><code>();</code>

<code>   </code><code>addall(c);</code>

（1）遍历方式

linkedlist支持多种遍历方式。建议不要采用随机访问的方式去遍历linkedlist，而采用逐个遍历的方式。 (01) 第一种，通过迭代器遍历。即通过iterator去遍历。

(02) 通过快速随机访问遍历linkedlist

(03) 通过另外一种for循环来遍历linkedlist

(04) 通过pollfirst()来遍历linkedlist

(05) 通过polllast()来遍历linkedlist

(06) 通过removefirst()来遍历linkedlist

(07) 通过removelast()来遍历linkedlist

 

遍历linkedlist时，使用removefist()或removelast()效率最高。但用它们遍历时，会删除原始数据；若单纯只读取，而不删除，应该使用第3种遍历方式。

链表的特点是内存空间不连续，插入和删除简单，寻址的时间复杂度较高，随机访问去遍历linkedlist的效率是最低的。

（2）常用方法（从api摘的）

boolean add(e e)  将指定元素添加到此列表的结尾。  void add(int index, e element)  在此列表中指定的位置插入指定的元素。  boolean addall(collection&lt;? extends e&gt; c)  添加指定 collection 中的所有元素到此列表的结尾，顺序是指定 collection 的迭代器返回这些元素的顺序。  boolean addall(int index, collection&lt;? extends e&gt; c)  将指定 collection 中的所有元素从指定位置开始插入此列表。  void addfirst(e e)  将指定元素插入此列表的开头。  void addlast(e e)  void clear()  从此列表中移除所有元素。  object clone()  返回此 linkedlist 的浅表副本。  boolean contains(object o)  如果此列表包含指定元素，则返回 true。  iterator&lt;e&gt; descendingiterator()  返回以逆向顺序在此双端队列的元素上进行迭代的迭代器。  e element()  获取但不移除此列表的头（第一个元素）。  e get(int index)  返回此列表中指定位置处的元素。  e getfirst()  返回此列表的第一个元素。  e getlast()  返回此列表的最后一个元素。  int indexof(object o)  返回此列表中首次出现的指定元素的索引，如果此列表中不包含该元素，则返回 -1。  int lastindexof(object o)  返回此列表中最后出现的指定元素的索引，如果此列表中不包含该元素，则返回 -1。  listiterator&lt;e&gt; listiterator(int index)  返回此列表中的元素的列表迭代器（按适当顺序），从列表中指定位置开始。  boolean offer(e e)  将指定元素添加到此列表的末尾（最后一个元素）。  boolean offerfirst(e e)  在此列表的开头插入指定的元素。  boolean offerlast(e e)  在此列表末尾插入指定的元素。  e peek()  e peekfirst()  获取但不移除此列表的第一个元素；如果此列表为空，则返回 null。  e peeklast()  获取但不移除此列表的最后一个元素；如果此列表为空，则返回 null。  e poll()  获取并移除此列表的头（第一个元素）  e pollfirst()  获取并移除此列表的第一个元素；如果此列表为空，则返回 null。  e polllast()  获取并移除此列表的最后一个元素；如果此列表为空，则返回 null。  e pop()  从此列表所表示的堆栈处弹出一个元素。  void push(e e)  将元素推入此列表所表示的堆栈。  e remove()  获取并移除此列表的头（第一个元素）。  e remove(int index)  移除此列表中指定位置处的元素。  boolean remove(object o)  从此列表中移除首次出现的指定元素（如果存在）。  e removefirst()  移除并返回此列表的第一个元素。  boolean removefirstoccurrence(object o)  从此列表中移除第一次出现的指定元素（从头部到尾部遍历列表时）。  e removelast()  移除并返回此列表的最后一个元素。  boolean removelastoccurrence(object o)  从此列表中移除最后一次出现的指定元素（从头部到尾部遍历列表时）。  e set(int index, e element)  将此列表中指定位置的元素替换为指定的元素。  int size()  返回此列表的元素数。

双端队列是一个限定插入和删除操作的数据结构，具有队列和栈的性质，

双端队列与栈或队列相比，是一种多用途的数据结构，在容器类库中有时会用双端队列来提供栈和队列两种功能。

查看源码的实现，可以发现作为队列和栈时的相关方法。

（1）作为队列使用

add(e) 内部实现是addlast(e)

offer(e) 入队，直接返回add()

remove() 获取并移除列表第一个元素，和poll()相同，内部调用removefirst()

poll() 出队 获取并移除队头元素 内部实现是调用removefirst()

element() 返回列表第一个元素但不移除，内部调用getfirst()

peek() 返回列表第一个元素但不移除，和element()相同，内部调用getfirst()

（2）作为栈使用

push(e) 入栈 即addfirst(e)

pop() 出栈 即removefirst()

peek() 获取栈顶元素但不移除 即peekfirst()

（1）主要的节点更新操作

源码中的两个私有方法addbefore和remove是维护了节点更新的主要操作，

这一部分主要是数据结构中对链表的操作，理解起来比较简单，

大部分的add、remode等操作都可以通过这两个方法实现。

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

<code>    </code><code>* 在传入节点之前插入新的节点元素</code>

<code>   </code><code>private</code> <code>entry&lt;e&gt; addbefore(e e, entry&lt;e&gt; entry) {</code>

<code>   </code><code>//构造一个新的节点</code>

<code>   </code><code>entry&lt;e&gt; newentry = </code><code>new</code> <code>entry&lt;e&gt;(e, entry, entry.previous);</code>

<code>   </code><code>//调整新节点前后节点的指向</code>

<code>   </code><code>newentry.previous.next = newentry;</code>

<code>   </code><code>newentry.next.previous = newentry;</code>

<code>   </code><code>size++;</code>

<code>   </code><code>modcount++;</code>

<code>   </code><code>return</code> <code>newentry;</code>

<code>   </code> 

<code>    </code><code>/**</code>

<code>    </code><code>* 在链表中删除这个节点</code>

<code>   </code><code>private</code> <code>e remove(entry&lt;e&gt; e) {</code>

<code>       </code><code>//e等于初始化时的空节点，抛出异常</code>

<code>   </code><code>if</code> <code>(e == header)</code>

<code>       </code><code>throw</code> <code>new</code> <code>nosuchelementexception();</code>

<code>       </code><code>e result = e.element;</code>

<code>       </code><code>/**</code>

<code>        </code><code>* 删除操作就是调整前后结点指针的指向，绕过传入节点</code>

<code>        </code><code>* 然后再把传入节点的前后指针以及value都置为null</code>

<code>        </code><code>*/</code>

<code>   </code><code>e.previous.next = e.next;</code>

<code>   </code><code>e.next.previous = e.previous;</code>

<code>       </code><code>e.next = e.previous = </code><code>null</code><code>;</code>

<code>       </code><code>e.element = </code><code>null</code><code>;</code>

<code>   </code><code>size--;</code>

<code>       </code><code>return</code> <code>result;</code>

（2）list迭代器 通过listitr内部类实现

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

<code>private</code> <code>class</code> <code>listitr </code><code>implements</code> <code>listiterator&lt;e&gt; {</code>

<code>  </code><code>private</code> <code>entry&lt;e&gt; lastreturned = header;</code>

<code>  </code><code>private</code> <code>entry&lt;e&gt; next;</code>

<code>  </code><code>private</code> <code>int</code> <code>nextindex;</code>

<code>  </code><code>private</code> <code>int</code> <code>expectedmodcount = modcount;</code>

<code>  </code><code>listitr(</code><code>int</code> <code>index) {</code>

<code>      </code><code>if</code> <code>(index &lt; </code><code>0</code> <code>|| index &gt; size)</code>

<code>      </code><code>throw</code> <code>new</code> <code>indexoutofboundsexception(</code><code>"index: "</code><code>+index+</code>

<code>                          </code><code>", size: "</code><code>+size);</code>

<code>      </code><code>if</code> <code>(index &lt; (size &gt;&gt; </code><code>1</code><code>)) {</code>

<code>      </code><code>next = header.next;</code>

<code>      </code><code>for</code> <code>(nextindex=</code><code>0</code><code>; nextindex&lt;index; nextindex++)</code>

<code>          </code><code>next = next.next;</code>

<code>      </code><code>} </code><code>else</code> <code>{</code>

<code>      </code><code>next = header;</code>

<code>      </code><code>for</code> <code>(nextindex=size; nextindex&gt;index; nextindex--)</code>

<code>          </code><code>next = next.previous;</code>

<code>      </code><code>}</code>

<code>  </code><code>}</code>

<code>  </code><code>public</code> <code>boolean</code> <code>hasnext() {</code>

<code>      </code><code>return</code> <code>nextindex != size;</code>

<code>  </code><code>public</code> <code>e next() {</code>

<code>      </code><code>checkforcomodification();</code>

<code>      </code><code>if</code> <code>(nextindex == size)</code>

<code>      </code><code>throw</code> <code>new</code> <code>nosuchelementexception();</code>

<code>      </code><code>lastreturned = next;</code>

<code>      </code><code>next = next.next;</code>

<code>      </code><code>nextindex++;</code>

<code>      </code><code>return</code> <code>lastreturned.element;</code>

<code>  </code><code>public</code> <code>boolean</code> <code>hasprevious() {</code>

<code>      </code><code>return</code> <code>nextindex != </code><code>0</code><code>;</code>

<code>  </code><code>public</code> <code>e previous() {</code>

<code>      </code><code>if</code> <code>(nextindex == </code><code>0</code><code>)</code>

<code>      </code><code>lastreturned = next = next.previous;</code>

<code>      </code><code>nextindex--;</code>

<code>  </code><code>public</code> <code>int</code> <code>nextindex() {</code>

<code>      </code><code>return</code> <code>nextindex;</code>

<code>  </code><code>public</code> <code>int</code> <code>previousindex() {</code>

<code>      </code><code>return</code> <code>nextindex-</code><code>1</code><code>;</code>

<code>  </code><code>public</code> <code>void</code> <code>remove() {</code>

<code>          </code><code>checkforcomodification();</code>

<code>          </code><code>entry&lt;e&gt; lastnext = lastreturned.next;</code>

<code>          </code><code>try</code> <code>{</code>

<code>              </code><code>linkedlist.</code><code>this</code><code>.remove(lastreturned);</code>

<code>          </code><code>} </code><code>catch</code> <code>(nosuchelementexception e) {</code>

<code>              </code><code>throw</code> <code>new</code> <code>illegalstateexception();</code>

<code>          </code><code>}</code>

<code>      </code><code>if</code> <code>(next==lastreturned)</code>

<code>              </code><code>next = lastnext;</code>

<code>          </code><code>else</code>

<code>      </code><code>lastreturned = header;</code>

<code>      </code><code>expectedmodcount++;</code>

<code>  </code><code>public</code> <code>void</code> <code>set(e e) {</code>

<code>      </code><code>if</code> <code>(lastreturned == header)</code>

<code>      </code><code>throw</code> <code>new</code> <code>illegalstateexception();</code>

<code>      </code><code>lastreturned.element = e;</code>

<code>  </code><code>public</code> <code>void</code> <code>add(e e) {</code>

<code>      </code><code>addbefore(e, next);</code>

<code>  </code><code>final</code> <code>void</code> <code>checkforcomodification() {</code>

<code>      </code><code>if</code> <code>(modcount != expectedmodcount)</code>

<code>      </code><code>throw</code> <code>new</code> <code>concurrentmodificationexception();</code>

fail-fast，快速失败是java集合的一种错误检测机制。

当多个线程对集合进行结构上的改变的操作时，有可能会产生fail-fast机制。

记住是有可能，而不是一定。例如：假设存在两个线程（线程1、线程2），线程1通过iterator在遍历集合a中的元素，在某个时候线程2修改了集合a的结构（是结构上面的修改，而不是简单的修改集合元素的内容），那么这个时候程序就会抛出 concurrentmodificationexception 异常，从而产生fail-fast机制。

arraylist是一个基于数组的结构，里面的节点相互之间没有特别的联系，默认的大小是10，最大大小是integer.max_value - 8。

当大小不够时会自动增长，它可以通过get，set来直接获取、修改某一个节点数据。

linkedlist是一个基于双向链表的结构，每一个节点都有两个指针来分别指向上一个节点和下一个节点。它是可变长度的。

这两个实现类的区别在于，arraylist的get()/set()效率比linkedlist高，而linkedlist的add()/remove()效率比arraylist高。

具体来说：数组申请一块连续的内存空间，是在编译期间就确定大小的，运行时期不可动态改变，但为什么arraylist可以改变大小呢，

因为在add如果超过了设定的大小就会创建一个新的更大的（增长率好像是0.5）arraylist，

然后将原来的list复制到新的list中，并将地址指向新的list，旧的list被gc回收，显然这是非常消耗内存而且效率非常低的。

但是由于它申请的内存空间是连续的，可以直接通过下标来获取需要的数据，时间复杂度为o(1)，而链表则是o(n)，

而链表结构不一样，它可以动态申请内存空间。在需要加入的节点的上一个节点的指针解开并指向新加节点，再将新加节点的指针指向后一个节点即可。速度很快的。

所以说arraylist适合查询，linkedlist适合增删。