ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/main/java/util/concurrent/CopyOnWriteArrayList.java
Revision: 1.142
Committed: Sat Dec 24 19:32:07 2016 UTC (7 years, 5 months ago) by jsr166
Branch: MAIN
Changes since 1.141: +5 -5 lines
Log Message:
convert to Objects.requireNonNull

File Contents

# User Rev Content
1 dl 1.2 /*
2     * Written by Doug Lea with assistance from members of JCP JSR-166
3 dl 1.17 * Expert Group. Adapted and released, under explicit permission,
4 dl 1.15 * from JDK ArrayList.java which carries the following copyright:
5 dl 1.3 *
6     * Copyright 1997 by Sun Microsystems, Inc.,
7     * 901 San Antonio Road, Palo Alto, California, 94303, U.S.A.
8     * All rights reserved.
9     *
10     * This software is the confidential and proprietary information
11     * of Sun Microsystems, Inc. ("Confidential Information"). You
12     * shall not disclose such Confidential Information and shall use
13     * it only in accordance with the terms of the license agreement
14     * you entered into with Sun.
15 dl 1.2 */
16    
17 tim 1.1 package java.util.concurrent;
18 jsr166 1.119
19 jsr166 1.138 import java.lang.reflect.Field;
20 dl 1.98 import java.util.AbstractList;
21 dl 1.93 import java.util.Arrays;
22     import java.util.Collection;
23 dl 1.106 import java.util.Comparator;
24 dl 1.98 import java.util.ConcurrentModificationException;
25     import java.util.Iterator;
26 dl 1.93 import java.util.List;
27     import java.util.ListIterator;
28 dl 1.98 import java.util.NoSuchElementException;
29 jsr166 1.129 import java.util.Objects;
30 dl 1.93 import java.util.RandomAccess;
31     import java.util.Spliterator;
32 dl 1.99 import java.util.Spliterators;
33 dl 1.98 import java.util.function.Consumer;
34 dl 1.106 import java.util.function.Predicate;
35     import java.util.function.UnaryOperator;
36 tim 1.1
37     /**
38 dl 1.28 * A thread-safe variant of {@link java.util.ArrayList} in which all mutative
39 jsr166 1.92 * operations ({@code add}, {@code set}, and so on) are implemented by
40 jsr166 1.35 * making a fresh copy of the underlying array.
41 tim 1.1 *
42 jsr166 1.91 * <p>This is ordinarily too costly, but may be <em>more</em> efficient
43 dl 1.12 * than alternatives when traversal operations vastly outnumber
44     * mutations, and is useful when you cannot or don't want to
45     * synchronize traversals, yet need to preclude interference among
46 dl 1.15 * concurrent threads. The "snapshot" style iterator method uses a
47     * reference to the state of the array at the point that the iterator
48     * was created. This array never changes during the lifetime of the
49     * iterator, so interference is impossible and the iterator is
50 jsr166 1.92 * guaranteed not to throw {@code ConcurrentModificationException}.
51 dl 1.15 * The iterator will not reflect additions, removals, or changes to
52     * the list since the iterator was created. Element-changing
53 jsr166 1.92 * operations on iterators themselves ({@code remove}, {@code set}, and
54     * {@code add}) are not supported. These methods throw
55     * {@code UnsupportedOperationException}.
56 dl 1.24 *
57 jsr166 1.92 * <p>All elements are permitted, including {@code null}.
58 jsr166 1.35 *
59 jsr166 1.56 * <p>Memory consistency effects: As with other concurrent
60     * collections, actions in a thread prior to placing an object into a
61     * {@code CopyOnWriteArrayList}
62     * <a href="package-summary.html#MemoryVisibility"><i>happen-before</i></a>
63     * actions subsequent to the access or removal of that element from
64     * the {@code CopyOnWriteArrayList} in another thread.
65     *
66 dl 1.24 * <p>This class is a member of the
67 jsr166 1.64 * <a href="{@docRoot}/../technotes/guides/collections/index.html">
68 dl 1.24 * Java Collections Framework</a>.
69     *
70 dl 1.6 * @since 1.5
71     * @author Doug Lea
72 jsr166 1.118 * @param <E> the type of elements held in this list
73 dl 1.6 */
74 tim 1.1 public class CopyOnWriteArrayList<E>
75 dl 1.40 implements List<E>, RandomAccess, Cloneable, java.io.Serializable {
76 dl 1.11 private static final long serialVersionUID = 8673264195747942595L;
77 tim 1.1
78 jsr166 1.124 /**
79     * The lock protecting all mutators. (We have a mild preference
80     * for builtin monitors over ReentrantLock when either will do.)
81     */
82     final transient Object lock = new Object();
83 dl 1.42
84 dl 1.40 /** The array, accessed only via getArray/setArray. */
85 jsr166 1.95 private transient volatile Object[] array;
86 tim 1.1
87 dl 1.57 /**
88 jsr166 1.60 * Gets the array. Non-private so as to also be accessible
89     * from CopyOnWriteArraySet class.
90 dl 1.57 */
91 jsr166 1.63 final Object[] getArray() {
92 jsr166 1.59 return array;
93 dl 1.57 }
94    
95     /**
96 jsr166 1.60 * Sets the array.
97 dl 1.57 */
98 jsr166 1.59 final void setArray(Object[] a) {
99     array = a;
100 dl 1.57 }
101 tim 1.1
102     /**
103 dl 1.15 * Creates an empty list.
104 tim 1.1 */
105     public CopyOnWriteArrayList() {
106 dl 1.41 setArray(new Object[0]);
107 tim 1.1 }
108    
109     /**
110 dl 1.15 * Creates a list containing the elements of the specified
111 jsr166 1.32 * collection, in the order they are returned by the collection's
112 tim 1.1 * iterator.
113 jsr166 1.32 *
114 dl 1.6 * @param c the collection of initially held elements
115 jsr166 1.35 * @throws NullPointerException if the specified collection is null
116 tim 1.1 */
117 tim 1.22 public CopyOnWriteArrayList(Collection<? extends E> c) {
118 dl 1.106 Object[] elements;
119     if (c.getClass() == CopyOnWriteArrayList.class)
120     elements = ((CopyOnWriteArrayList<?>)c).getArray();
121     else {
122     elements = c.toArray();
123 jsr166 1.131 // defend against c.toArray (incorrectly) not returning Object[]
124     // (see e.g. https://bugs.openjdk.java.net/browse/JDK-6260652)
125 dl 1.106 if (elements.getClass() != Object[].class)
126     elements = Arrays.copyOf(elements, elements.length, Object[].class);
127     }
128 jsr166 1.67 setArray(elements);
129 tim 1.1 }
130    
131     /**
132 jsr166 1.35 * Creates a list holding a copy of the given array.
133 tim 1.9 *
134     * @param toCopyIn the array (a copy of this array is used as the
135     * internal array)
136 jsr166 1.38 * @throws NullPointerException if the specified array is null
137 jsr166 1.30 */
138 tim 1.1 public CopyOnWriteArrayList(E[] toCopyIn) {
139 jsr166 1.67 setArray(Arrays.copyOf(toCopyIn, toCopyIn.length, Object[].class));
140 tim 1.1 }
141    
142     /**
143 dl 1.15 * Returns the number of elements in this list.
144 tim 1.1 *
145 jsr166 1.35 * @return the number of elements in this list
146 tim 1.1 */
147     public int size() {
148 dl 1.40 return getArray().length;
149 tim 1.1 }
150    
151     /**
152 jsr166 1.92 * Returns {@code true} if this list contains no elements.
153 tim 1.1 *
154 jsr166 1.92 * @return {@code true} if this list contains no elements
155 tim 1.1 */
156     public boolean isEmpty() {
157     return size() == 0;
158     }
159    
160 dl 1.43 /**
161 dl 1.40 * static version of indexOf, to allow repeated calls without
162 dl 1.41 * needing to re-acquire array each time.
163 dl 1.40 * @param o element to search for
164     * @param elements the array
165     * @param index first index to search
166     * @param fence one past last index to search
167     * @return index of element, or -1 if absent
168     */
169 dl 1.41 private static int indexOf(Object o, Object[] elements,
170 dl 1.40 int index, int fence) {
171     if (o == null) {
172     for (int i = index; i < fence; i++)
173     if (elements[i] == null)
174     return i;
175     } else {
176     for (int i = index; i < fence; i++)
177     if (o.equals(elements[i]))
178     return i;
179     }
180     return -1;
181     }
182 dl 1.41
183     /**
184 dl 1.40 * static version of lastIndexOf.
185     * @param o element to search for
186     * @param elements the array
187     * @param index first index to search
188     * @return index of element, or -1 if absent
189     */
190     private static int lastIndexOf(Object o, Object[] elements, int index) {
191     if (o == null) {
192     for (int i = index; i >= 0; i--)
193     if (elements[i] == null)
194     return i;
195     } else {
196     for (int i = index; i >= 0; i--)
197     if (o.equals(elements[i]))
198     return i;
199     }
200     return -1;
201     }
202    
203 tim 1.1 /**
204 jsr166 1.92 * Returns {@code true} if this list contains the specified element.
205     * More formally, returns {@code true} if and only if this list contains
206 jsr166 1.116 * at least one element {@code e} such that {@code Objects.equals(o, e)}.
207 tim 1.1 *
208 jsr166 1.35 * @param o element whose presence in this list is to be tested
209 jsr166 1.92 * @return {@code true} if this list contains the specified element
210 tim 1.1 */
211 jsr166 1.35 public boolean contains(Object o) {
212 dl 1.41 Object[] elements = getArray();
213 dl 1.40 return indexOf(o, elements, 0, elements.length) >= 0;
214 tim 1.1 }
215    
216     /**
217 jsr166 1.35 * {@inheritDoc}
218 tim 1.1 */
219 jsr166 1.35 public int indexOf(Object o) {
220 dl 1.41 Object[] elements = getArray();
221 dl 1.40 return indexOf(o, elements, 0, elements.length);
222 tim 1.1 }
223    
224     /**
225 jsr166 1.35 * Returns the index of the first occurrence of the specified element in
226 jsr166 1.92 * this list, searching forwards from {@code index}, or returns -1 if
227 jsr166 1.35 * the element is not found.
228 jsr166 1.92 * More formally, returns the lowest index {@code i} such that
229 jsr166 1.132 * {@code i >= index && Objects.equals(get(i), e)},
230 jsr166 1.35 * or -1 if there is no such index.
231     *
232     * @param e element to search for
233     * @param index index to start searching from
234     * @return the index of the first occurrence of the element in
235 jsr166 1.92 * this list at position {@code index} or later in the list;
236     * {@code -1} if the element is not found.
237 jsr166 1.35 * @throws IndexOutOfBoundsException if the specified index is negative
238 tim 1.1 */
239 jsr166 1.35 public int indexOf(E e, int index) {
240 dl 1.41 Object[] elements = getArray();
241 jsr166 1.67 return indexOf(e, elements, index, elements.length);
242 tim 1.1 }
243    
244     /**
245 jsr166 1.35 * {@inheritDoc}
246 tim 1.1 */
247 jsr166 1.35 public int lastIndexOf(Object o) {
248 dl 1.41 Object[] elements = getArray();
249 dl 1.40 return lastIndexOf(o, elements, elements.length - 1);
250 tim 1.1 }
251    
252     /**
253 jsr166 1.35 * Returns the index of the last occurrence of the specified element in
254 jsr166 1.92 * this list, searching backwards from {@code index}, or returns -1 if
255 jsr166 1.35 * the element is not found.
256 jsr166 1.92 * More formally, returns the highest index {@code i} such that
257 jsr166 1.132 * {@code i <= index && Objects.equals(get(i), e)},
258 jsr166 1.35 * or -1 if there is no such index.
259     *
260     * @param e element to search for
261     * @param index index to start searching backwards from
262     * @return the index of the last occurrence of the element at position
263 jsr166 1.92 * less than or equal to {@code index} in this list;
264 jsr166 1.35 * -1 if the element is not found.
265     * @throws IndexOutOfBoundsException if the specified index is greater
266     * than or equal to the current size of this list
267 tim 1.1 */
268 jsr166 1.35 public int lastIndexOf(E e, int index) {
269 dl 1.41 Object[] elements = getArray();
270 jsr166 1.67 return lastIndexOf(e, elements, index);
271 tim 1.1 }
272    
273     /**
274     * Returns a shallow copy of this list. (The elements themselves
275     * are not copied.)
276     *
277 jsr166 1.35 * @return a clone of this list
278 tim 1.1 */
279     public Object clone() {
280     try {
281 jsr166 1.83 @SuppressWarnings("unchecked")
282     CopyOnWriteArrayList<E> clone =
283     (CopyOnWriteArrayList<E>) super.clone();
284     clone.resetLock();
285     return clone;
286 tim 1.1 } catch (CloneNotSupportedException e) {
287     // this shouldn't happen, since we are Cloneable
288     throw new InternalError();
289     }
290     }
291    
292     /**
293     * Returns an array containing all of the elements in this list
294 jsr166 1.35 * in proper sequence (from first to last element).
295     *
296     * <p>The returned array will be "safe" in that no references to it are
297     * maintained by this list. (In other words, this method must allocate
298     * a new array). The caller is thus free to modify the returned array.
299 jsr166 1.36 *
300 jsr166 1.35 * <p>This method acts as bridge between array-based and collection-based
301     * APIs.
302     *
303     * @return an array containing all the elements in this list
304 tim 1.1 */
305     public Object[] toArray() {
306 dl 1.40 Object[] elements = getArray();
307 jsr166 1.67 return Arrays.copyOf(elements, elements.length);
308 tim 1.1 }
309    
310     /**
311 jsr166 1.35 * Returns an array containing all of the elements in this list in
312     * proper sequence (from first to last element); the runtime type of
313     * the returned array is that of the specified array. If the list fits
314     * in the specified array, it is returned therein. Otherwise, a new
315     * array is allocated with the runtime type of the specified array and
316     * the size of this list.
317 jsr166 1.32 *
318     * <p>If this list fits in the specified array with room to spare
319 jsr166 1.35 * (i.e., the array has more elements than this list), the element in
320     * the array immediately following the end of the list is set to
321 jsr166 1.92 * {@code null}. (This is useful in determining the length of this
322 jsr166 1.35 * list <i>only</i> if the caller knows that this list does not contain
323     * any null elements.)
324     *
325     * <p>Like the {@link #toArray()} method, this method acts as bridge between
326     * array-based and collection-based APIs. Further, this method allows
327     * precise control over the runtime type of the output array, and may,
328     * under certain circumstances, be used to save allocation costs.
329     *
330 jsr166 1.92 * <p>Suppose {@code x} is a list known to contain only strings.
331 jsr166 1.35 * The following code can be used to dump the list into a newly
332 jsr166 1.92 * allocated array of {@code String}:
333 jsr166 1.35 *
334 jsr166 1.127 * <pre> {@code String[] y = x.toArray(new String[0]);}</pre>
335 jsr166 1.35 *
336 jsr166 1.92 * Note that {@code toArray(new Object[0])} is identical in function to
337     * {@code toArray()}.
338 tim 1.1 *
339     * @param a the array into which the elements of the list are to
340 jsr166 1.35 * be stored, if it is big enough; otherwise, a new array of the
341     * same runtime type is allocated for this purpose.
342     * @return an array containing all the elements in this list
343     * @throws ArrayStoreException if the runtime type of the specified array
344     * is not a supertype of the runtime type of every element in
345     * this list
346     * @throws NullPointerException if the specified array is null
347 tim 1.1 */
348 jsr166 1.66 @SuppressWarnings("unchecked")
349 jsr166 1.114 public <T> T[] toArray(T[] a) {
350 dl 1.41 Object[] elements = getArray();
351 dl 1.40 int len = elements.length;
352     if (a.length < len)
353 jsr166 1.67 return (T[]) Arrays.copyOf(elements, len, a.getClass());
354     else {
355     System.arraycopy(elements, 0, a, 0, len);
356     if (a.length > len)
357     a[len] = null;
358     return a;
359     }
360 tim 1.1 }
361    
362     // Positional Access Operations
363    
364 jsr166 1.66 @SuppressWarnings("unchecked")
365 jsr166 1.140 static <E> E elementAt(Object[] a, int index) {
366 jsr166 1.67 return (E) a[index];
367 jsr166 1.66 }
368    
369 jsr166 1.125 static String outOfBounds(int index, int size) {
370     return "Index: " + index + ", Size: " + size;
371     }
372    
373 tim 1.1 /**
374 jsr166 1.35 * {@inheritDoc}
375 tim 1.1 *
376 jsr166 1.35 * @throws IndexOutOfBoundsException {@inheritDoc}
377 tim 1.1 */
378     public E get(int index) {
379 jsr166 1.140 return elementAt(getArray(), index);
380 tim 1.1 }
381    
382     /**
383 jsr166 1.35 * Replaces the element at the specified position in this list with the
384     * specified element.
385 tim 1.1 *
386 jsr166 1.35 * @throws IndexOutOfBoundsException {@inheritDoc}
387 tim 1.1 */
388 dl 1.42 public E set(int index, E element) {
389 jsr166 1.124 synchronized (lock) {
390 jsr166 1.67 Object[] elements = getArray();
391 jsr166 1.140 E oldValue = elementAt(elements, index);
392 jsr166 1.67
393     if (oldValue != element) {
394     int len = elements.length;
395     Object[] newElements = Arrays.copyOf(elements, len);
396     newElements[index] = element;
397     setArray(newElements);
398     } else {
399     // Not quite a no-op; ensures volatile write semantics
400     setArray(elements);
401     }
402     return oldValue;
403     }
404 tim 1.1 }
405    
406     /**
407     * Appends the specified element to the end of this list.
408     *
409 dl 1.40 * @param e element to be appended to this list
410 jsr166 1.92 * @return {@code true} (as specified by {@link Collection#add})
411 tim 1.1 */
412 dl 1.42 public boolean add(E e) {
413 jsr166 1.124 synchronized (lock) {
414 jsr166 1.67 Object[] elements = getArray();
415     int len = elements.length;
416     Object[] newElements = Arrays.copyOf(elements, len + 1);
417     newElements[len] = e;
418     setArray(newElements);
419     return true;
420     }
421 tim 1.1 }
422    
423     /**
424     * Inserts the specified element at the specified position in this
425     * list. Shifts the element currently at that position (if any) and
426     * any subsequent elements to the right (adds one to their indices).
427     *
428 jsr166 1.35 * @throws IndexOutOfBoundsException {@inheritDoc}
429 tim 1.1 */
430 dl 1.42 public void add(int index, E element) {
431 jsr166 1.124 synchronized (lock) {
432 jsr166 1.67 Object[] elements = getArray();
433     int len = elements.length;
434     if (index > len || index < 0)
435 jsr166 1.125 throw new IndexOutOfBoundsException(outOfBounds(index, len));
436 jsr166 1.67 Object[] newElements;
437     int numMoved = len - index;
438     if (numMoved == 0)
439     newElements = Arrays.copyOf(elements, len + 1);
440     else {
441     newElements = new Object[len + 1];
442     System.arraycopy(elements, 0, newElements, 0, index);
443     System.arraycopy(elements, index, newElements, index + 1,
444     numMoved);
445     }
446     newElements[index] = element;
447     setArray(newElements);
448     }
449 tim 1.1 }
450    
451     /**
452     * Removes the element at the specified position in this list.
453     * Shifts any subsequent elements to the left (subtracts one from their
454 jsr166 1.35 * indices). Returns the element that was removed from the list.
455 tim 1.1 *
456 jsr166 1.35 * @throws IndexOutOfBoundsException {@inheritDoc}
457 tim 1.1 */
458 dl 1.42 public E remove(int index) {
459 jsr166 1.124 synchronized (lock) {
460 jsr166 1.67 Object[] elements = getArray();
461     int len = elements.length;
462 jsr166 1.140 E oldValue = elementAt(elements, index);
463 jsr166 1.67 int numMoved = len - index - 1;
464     if (numMoved == 0)
465     setArray(Arrays.copyOf(elements, len - 1));
466     else {
467     Object[] newElements = new Object[len - 1];
468     System.arraycopy(elements, 0, newElements, 0, index);
469     System.arraycopy(elements, index + 1, newElements, index,
470     numMoved);
471     setArray(newElements);
472     }
473     return oldValue;
474     }
475 tim 1.1 }
476    
477     /**
478 jsr166 1.35 * Removes the first occurrence of the specified element from this list,
479     * if it is present. If this list does not contain the element, it is
480     * unchanged. More formally, removes the element with the lowest index
481 jsr166 1.116 * {@code i} such that {@code Objects.equals(o, get(i))}
482 jsr166 1.92 * (if such an element exists). Returns {@code true} if this list
483 jsr166 1.35 * contained the specified element (or equivalently, if this list
484     * changed as a result of the call).
485 tim 1.1 *
486 jsr166 1.35 * @param o element to be removed from this list, if present
487 jsr166 1.92 * @return {@code true} if this list contained the specified element
488 tim 1.1 */
489 dl 1.42 public boolean remove(Object o) {
490 jsr166 1.104 Object[] snapshot = getArray();
491     int index = indexOf(o, snapshot, 0, snapshot.length);
492     return (index < 0) ? false : remove(o, snapshot, index);
493     }
494    
495     /**
496     * A version of remove(Object) using the strong hint that given
497     * recent snapshot contains o at the given index.
498     */
499     private boolean remove(Object o, Object[] snapshot, int index) {
500 jsr166 1.124 synchronized (lock) {
501 jsr166 1.104 Object[] current = getArray();
502     int len = current.length;
503     if (snapshot != current) findIndex: {
504     int prefix = Math.min(index, len);
505     for (int i = 0; i < prefix; i++) {
506 jsr166 1.129 if (current[i] != snapshot[i]
507     && Objects.equals(o, current[i])) {
508 jsr166 1.104 index = i;
509     break findIndex;
510     }
511 jsr166 1.67 }
512 jsr166 1.104 if (index >= len)
513     return false;
514     if (current[index] == o)
515     break findIndex;
516     index = indexOf(o, current, index, len);
517     if (index < 0)
518     return false;
519 jsr166 1.67 }
520 jsr166 1.104 Object[] newElements = new Object[len - 1];
521     System.arraycopy(current, 0, newElements, 0, index);
522     System.arraycopy(current, index + 1,
523     newElements, index,
524     len - index - 1);
525     setArray(newElements);
526     return true;
527 jsr166 1.67 }
528 tim 1.1 }
529    
530     /**
531 jsr166 1.35 * Removes from this list all of the elements whose index is between
532 jsr166 1.92 * {@code fromIndex}, inclusive, and {@code toIndex}, exclusive.
533 jsr166 1.35 * Shifts any succeeding elements to the left (reduces their index).
534 jsr166 1.92 * This call shortens the list by {@code (toIndex - fromIndex)} elements.
535     * (If {@code toIndex==fromIndex}, this operation has no effect.)
536 tim 1.1 *
537 jsr166 1.35 * @param fromIndex index of first element to be removed
538     * @param toIndex index after last element to be removed
539 jsr166 1.66 * @throws IndexOutOfBoundsException if fromIndex or toIndex out of range
540 jsr166 1.86 * ({@code fromIndex < 0 || toIndex > size() || toIndex < fromIndex})
541 tim 1.1 */
542 jsr166 1.84 void removeRange(int fromIndex, int toIndex) {
543 jsr166 1.124 synchronized (lock) {
544 jsr166 1.67 Object[] elements = getArray();
545     int len = elements.length;
546    
547     if (fromIndex < 0 || toIndex > len || toIndex < fromIndex)
548     throw new IndexOutOfBoundsException();
549     int newlen = len - (toIndex - fromIndex);
550     int numMoved = len - toIndex;
551     if (numMoved == 0)
552     setArray(Arrays.copyOf(elements, newlen));
553     else {
554     Object[] newElements = new Object[newlen];
555     System.arraycopy(elements, 0, newElements, 0, fromIndex);
556     System.arraycopy(elements, toIndex, newElements,
557     fromIndex, numMoved);
558     setArray(newElements);
559     }
560     }
561 tim 1.1 }
562    
563     /**
564 jsr166 1.90 * Appends the element, if not present.
565 jsr166 1.38 *
566 dl 1.40 * @param e element to be added to this list, if absent
567 jsr166 1.92 * @return {@code true} if the element was added
568 jsr166 1.30 */
569 dl 1.42 public boolean addIfAbsent(E e) {
570 jsr166 1.104 Object[] snapshot = getArray();
571     return indexOf(e, snapshot, 0, snapshot.length) >= 0 ? false :
572     addIfAbsent(e, snapshot);
573     }
574    
575     /**
576     * A version of addIfAbsent using the strong hint that given
577     * recent snapshot does not contain e.
578     */
579     private boolean addIfAbsent(E e, Object[] snapshot) {
580 jsr166 1.124 synchronized (lock) {
581 jsr166 1.104 Object[] current = getArray();
582     int len = current.length;
583     if (snapshot != current) {
584     // Optimize for lost race to another addXXX operation
585     int common = Math.min(snapshot.length, len);
586     for (int i = 0; i < common; i++)
587 jsr166 1.129 if (current[i] != snapshot[i]
588     && Objects.equals(e, current[i]))
589 jsr166 1.104 return false;
590     if (indexOf(e, current, common, len) >= 0)
591     return false;
592 jsr166 1.67 }
593 jsr166 1.104 Object[] newElements = Arrays.copyOf(current, len + 1);
594 jsr166 1.67 newElements[len] = e;
595     setArray(newElements);
596     return true;
597     }
598 tim 1.1 }
599    
600     /**
601 jsr166 1.92 * Returns {@code true} if this list contains all of the elements of the
602 jsr166 1.32 * specified collection.
603 jsr166 1.34 *
604 jsr166 1.36 * @param c collection to be checked for containment in this list
605 jsr166 1.92 * @return {@code true} if this list contains all of the elements of the
606 jsr166 1.35 * specified collection
607     * @throws NullPointerException if the specified collection is null
608 jsr166 1.38 * @see #contains(Object)
609 tim 1.1 */
610 tim 1.7 public boolean containsAll(Collection<?> c) {
611 dl 1.41 Object[] elements = getArray();
612 dl 1.40 int len = elements.length;
613 jsr166 1.67 for (Object e : c) {
614 dl 1.41 if (indexOf(e, elements, 0, len) < 0)
615 tim 1.1 return false;
616 jsr166 1.67 }
617 tim 1.1 return true;
618     }
619    
620     /**
621 jsr166 1.32 * Removes from this list all of its elements that are contained in
622     * the specified collection. This is a particularly expensive operation
623 tim 1.1 * in this class because of the need for an internal temporary array.
624     *
625 jsr166 1.35 * @param c collection containing elements to be removed from this list
626 jsr166 1.92 * @return {@code true} if this list changed as a result of the call
627 jsr166 1.38 * @throws ClassCastException if the class of an element of this list
628 dl 1.73 * is incompatible with the specified collection
629 jsr166 1.134 * (<a href="{@docRoot}/../api/java/util/Collection.html#optional-restrictions">optional</a>)
630 jsr166 1.38 * @throws NullPointerException if this list contains a null element and the
631 dl 1.73 * specified collection does not permit null elements
632 jsr166 1.134 * (<a href="{@docRoot}/../api/java/util/Collection.html#optional-restrictions">optional</a>),
633 jsr166 1.38 * or if the specified collection is null
634     * @see #remove(Object)
635 tim 1.1 */
636 dl 1.42 public boolean removeAll(Collection<?> c) {
637 jsr166 1.140 Objects.requireNonNull(c);
638     return bulkRemove(e -> c.contains(e));
639 tim 1.1 }
640    
641     /**
642 jsr166 1.32 * Retains only the elements in this list that are contained in the
643 jsr166 1.35 * specified collection. In other words, removes from this list all of
644     * its elements that are not contained in the specified collection.
645 jsr166 1.32 *
646 jsr166 1.35 * @param c collection containing elements to be retained in this list
647 jsr166 1.92 * @return {@code true} if this list changed as a result of the call
648 jsr166 1.38 * @throws ClassCastException if the class of an element of this list
649 dl 1.73 * is incompatible with the specified collection
650 jsr166 1.134 * (<a href="{@docRoot}/../api/java/util/Collection.html#optional-restrictions">optional</a>)
651 jsr166 1.38 * @throws NullPointerException if this list contains a null element and the
652 dl 1.73 * specified collection does not permit null elements
653 jsr166 1.134 * (<a href="{@docRoot}/../api/java/util/Collection.html#optional-restrictions">optional</a>),
654 jsr166 1.38 * or if the specified collection is null
655     * @see #remove(Object)
656 tim 1.1 */
657 dl 1.42 public boolean retainAll(Collection<?> c) {
658 jsr166 1.140 Objects.requireNonNull(c);
659     return bulkRemove(e -> !c.contains(e));
660 tim 1.1 }
661    
662     /**
663 jsr166 1.32 * Appends all of the elements in the specified collection that
664 tim 1.1 * are not already contained in this list, to the end of
665     * this list, in the order that they are returned by the
666 jsr166 1.32 * specified collection's iterator.
667 tim 1.1 *
668 jsr166 1.36 * @param c collection containing elements to be added to this list
669 tim 1.1 * @return the number of elements added
670 jsr166 1.35 * @throws NullPointerException if the specified collection is null
671 jsr166 1.38 * @see #addIfAbsent(Object)
672 tim 1.1 */
673 dl 1.42 public int addAllAbsent(Collection<? extends E> c) {
674 jsr166 1.67 Object[] cs = c.toArray();
675     if (cs.length == 0)
676     return 0;
677 jsr166 1.124 synchronized (lock) {
678 jsr166 1.67 Object[] elements = getArray();
679     int len = elements.length;
680     int added = 0;
681 jsr166 1.103 // uniquify and compact elements in cs
682     for (int i = 0; i < cs.length; ++i) {
683 jsr166 1.67 Object e = cs[i];
684     if (indexOf(e, elements, 0, len) < 0 &&
685 jsr166 1.103 indexOf(e, cs, 0, added) < 0)
686     cs[added++] = e;
687 jsr166 1.67 }
688     if (added > 0) {
689     Object[] newElements = Arrays.copyOf(elements, len + added);
690 jsr166 1.103 System.arraycopy(cs, 0, newElements, len, added);
691 jsr166 1.67 setArray(newElements);
692     }
693     return added;
694     }
695 tim 1.1 }
696    
697     /**
698     * Removes all of the elements from this list.
699 jsr166 1.38 * The list will be empty after this call returns.
700 tim 1.1 */
701 dl 1.42 public void clear() {
702 jsr166 1.124 synchronized (lock) {
703 jsr166 1.67 setArray(new Object[0]);
704     }
705 tim 1.1 }
706    
707     /**
708 jsr166 1.32 * Appends all of the elements in the specified collection to the end
709     * of this list, in the order that they are returned by the specified
710     * collection's iterator.
711 tim 1.1 *
712 jsr166 1.36 * @param c collection containing elements to be added to this list
713 jsr166 1.92 * @return {@code true} if this list changed as a result of the call
714 jsr166 1.35 * @throws NullPointerException if the specified collection is null
715 jsr166 1.38 * @see #add(Object)
716 tim 1.1 */
717 dl 1.42 public boolean addAll(Collection<? extends E> c) {
718 dl 1.106 Object[] cs = (c.getClass() == CopyOnWriteArrayList.class) ?
719     ((CopyOnWriteArrayList<?>)c).getArray() : c.toArray();
720 jsr166 1.67 if (cs.length == 0)
721     return false;
722 jsr166 1.124 synchronized (lock) {
723 jsr166 1.67 Object[] elements = getArray();
724     int len = elements.length;
725 dl 1.106 if (len == 0 && cs.getClass() == Object[].class)
726     setArray(cs);
727     else {
728     Object[] newElements = Arrays.copyOf(elements, len + cs.length);
729     System.arraycopy(cs, 0, newElements, len, cs.length);
730     setArray(newElements);
731     }
732 jsr166 1.67 return true;
733     }
734 tim 1.1 }
735    
736     /**
737 jsr166 1.35 * Inserts all of the elements in the specified collection into this
738 tim 1.1 * list, starting at the specified position. Shifts the element
739     * currently at that position (if any) and any subsequent elements to
740     * the right (increases their indices). The new elements will appear
741 jsr166 1.38 * in this list in the order that they are returned by the
742     * specified collection's iterator.
743 tim 1.1 *
744 jsr166 1.35 * @param index index at which to insert the first element
745     * from the specified collection
746 jsr166 1.36 * @param c collection containing elements to be added to this list
747 jsr166 1.92 * @return {@code true} if this list changed as a result of the call
748 jsr166 1.35 * @throws IndexOutOfBoundsException {@inheritDoc}
749     * @throws NullPointerException if the specified collection is null
750 jsr166 1.38 * @see #add(int,Object)
751 tim 1.1 */
752 dl 1.42 public boolean addAll(int index, Collection<? extends E> c) {
753 jsr166 1.67 Object[] cs = c.toArray();
754 jsr166 1.124 synchronized (lock) {
755 jsr166 1.67 Object[] elements = getArray();
756     int len = elements.length;
757     if (index > len || index < 0)
758 jsr166 1.125 throw new IndexOutOfBoundsException(outOfBounds(index, len));
759 jsr166 1.67 if (cs.length == 0)
760     return false;
761     int numMoved = len - index;
762     Object[] newElements;
763     if (numMoved == 0)
764     newElements = Arrays.copyOf(elements, len + cs.length);
765     else {
766     newElements = new Object[len + cs.length];
767     System.arraycopy(elements, 0, newElements, 0, index);
768     System.arraycopy(elements, index,
769     newElements, index + cs.length,
770     numMoved);
771     }
772     System.arraycopy(cs, 0, newElements, index, cs.length);
773     setArray(newElements);
774     return true;
775     }
776 tim 1.1 }
777    
778 jsr166 1.141 /**
779     * @throws NullPointerException {@inheritDoc}
780     */
781 dl 1.106 public void forEach(Consumer<? super E> action) {
782 jsr166 1.142 Objects.requireNonNull(action);
783 jsr166 1.126 for (Object x : getArray()) {
784     @SuppressWarnings("unchecked") E e = (E) x;
785 dl 1.106 action.accept(e);
786     }
787     }
788    
789 jsr166 1.141 /**
790     * @throws NullPointerException {@inheritDoc}
791     */
792 dl 1.106 public boolean removeIf(Predicate<? super E> filter) {
793 jsr166 1.142 Objects.requireNonNull(filter);
794 jsr166 1.140 return bulkRemove(filter);
795     }
796    
797     // A tiny bit set implementation
798    
799     private static long[] nBits(int n) {
800     return new long[((n - 1) >> 6) + 1];
801     }
802     private static void setBit(long[] bits, int i) {
803     bits[i >> 6] |= 1L << i;
804     }
805     private static boolean isClear(long[] bits, int i) {
806     return (bits[i >> 6] & (1L << i)) == 0;
807     }
808    
809     private boolean bulkRemove(Predicate<? super E> filter) {
810 jsr166 1.124 synchronized (lock) {
811 jsr166 1.140 return bulkRemove(filter, 0, getArray().length);
812     }
813     }
814    
815     boolean bulkRemove(Predicate<? super E> filter, int i, int end) {
816     // assert Thread.holdsLock(lock);
817     final Object[] es = getArray();
818     // Optimize for initial run of survivors
819     for (; i < end && !filter.test(elementAt(es, i)); i++)
820     ;
821     if (i < end) {
822     final int beg = i;
823     final long[] deathRow = nBits(end - beg);
824     int deleted = 1;
825     deathRow[0] = 1L; // set bit 0
826     for (i = beg + 1; i < end; i++)
827     if (filter.test(elementAt(es, i))) {
828     setBit(deathRow, i - beg);
829     deleted++;
830 dl 1.106 }
831 jsr166 1.140 // Did filter reentrantly modify the list?
832     if (es != getArray())
833     throw new ConcurrentModificationException();
834     final Object[] newElts = Arrays.copyOf(es, es.length - deleted);
835     int w = beg;
836     for (i = beg; i < end; i++)
837     if (isClear(deathRow, i - beg))
838     newElts[w++] = es[i];
839     System.arraycopy(es, i, newElts, w, es.length - i);
840     setArray(newElts);
841     return true;
842     } else {
843     if (es != getArray())
844     throw new ConcurrentModificationException();
845     return false;
846 dl 1.106 }
847     }
848    
849     public void replaceAll(UnaryOperator<E> operator) {
850 jsr166 1.142 Objects.requireNonNull(operator);
851 jsr166 1.124 synchronized (lock) {
852 jsr166 1.140 replaceAll(operator, 0, getArray().length);
853 dl 1.106 }
854     }
855    
856 jsr166 1.140 void replaceAll(UnaryOperator<E> operator, int i, int end) {
857     // assert Thread.holdsLock(lock);
858     final Object[] es = getArray().clone();
859     for (; i < end; i++)
860     es[i] = operator.apply(elementAt(es, i));
861     setArray(es);
862     }
863    
864 dl 1.106 public void sort(Comparator<? super E> c) {
865 jsr166 1.124 synchronized (lock) {
866 jsr166 1.140 sort(c, 0, getArray().length);
867 dl 1.106 }
868     }
869    
870 jsr166 1.140 @SuppressWarnings("unchecked")
871     void sort(Comparator<? super E> c, int i, int end) {
872     // assert Thread.holdsLock(lock);
873     final Object[] es = getArray().clone();
874     Arrays.sort(es, i, end, (Comparator<Object>)c);
875     setArray(es);
876     }
877    
878 tim 1.1 /**
879 jsr166 1.87 * Saves this list to a stream (that is, serializes it).
880 tim 1.1 *
881 jsr166 1.111 * @param s the stream
882 jsr166 1.112 * @throws java.io.IOException if an I/O error occurs
883 tim 1.1 * @serialData The length of the array backing the list is emitted
884     * (int), followed by all of its elements (each an Object)
885     * in the proper order.
886     */
887     private void writeObject(java.io.ObjectOutputStream s)
888 jsr166 1.85 throws java.io.IOException {
889 tim 1.1
890     s.defaultWriteObject();
891    
892 dl 1.41 Object[] elements = getArray();
893 tim 1.1 // Write out array length
894 jsr166 1.71 s.writeInt(elements.length);
895 tim 1.1
896     // Write out all elements in the proper order.
897 jsr166 1.71 for (Object element : elements)
898     s.writeObject(element);
899 tim 1.1 }
900    
901     /**
902 jsr166 1.87 * Reconstitutes this list from a stream (that is, deserializes it).
903 jsr166 1.111 * @param s the stream
904 jsr166 1.112 * @throws ClassNotFoundException if the class of a serialized object
905     * could not be found
906     * @throws java.io.IOException if an I/O error occurs
907 tim 1.1 */
908 dl 1.12 private void readObject(java.io.ObjectInputStream s)
909 tim 1.1 throws java.io.IOException, ClassNotFoundException {
910    
911     s.defaultReadObject();
912    
913 dl 1.42 // bind to new lock
914     resetLock();
915    
916 tim 1.1 // Read in array length and allocate array
917 dl 1.40 int len = s.readInt();
918 dl 1.41 Object[] elements = new Object[len];
919 tim 1.1
920     // Read in all elements in the proper order.
921 dl 1.40 for (int i = 0; i < len; i++)
922 dl 1.41 elements[i] = s.readObject();
923 dl 1.40 setArray(elements);
924 tim 1.1 }
925    
926     /**
927 jsr166 1.55 * Returns a string representation of this list. The string
928     * representation consists of the string representations of the list's
929     * elements in the order they are returned by its iterator, enclosed in
930 jsr166 1.92 * square brackets ({@code "[]"}). Adjacent elements are separated by
931     * the characters {@code ", "} (comma and space). Elements are
932 jsr166 1.55 * converted to strings as by {@link String#valueOf(Object)}.
933     *
934     * @return a string representation of this list
935 tim 1.1 */
936     public String toString() {
937 jsr166 1.67 return Arrays.toString(getArray());
938 tim 1.1 }
939    
940     /**
941 jsr166 1.35 * Compares the specified object with this list for equality.
942 jsr166 1.60 * Returns {@code true} if the specified object is the same object
943     * as this object, or if it is also a {@link List} and the sequence
944     * of elements returned by an {@linkplain List#iterator() iterator}
945     * over the specified list is the same as the sequence returned by
946     * an iterator over this list. The two sequences are considered to
947     * be the same if they have the same length and corresponding
948     * elements at the same position in the sequence are <em>equal</em>.
949     * Two elements {@code e1} and {@code e2} are considered
950 jsr166 1.117 * <em>equal</em> if {@code Objects.equals(e1, e2)}.
951 tim 1.1 *
952 jsr166 1.35 * @param o the object to be compared for equality with this list
953 jsr166 1.60 * @return {@code true} if the specified object is equal to this list
954 tim 1.1 */
955     public boolean equals(Object o) {
956     if (o == this)
957     return true;
958     if (!(o instanceof List))
959     return false;
960    
961 jsr166 1.121 List<?> list = (List<?>)o;
962 jsr166 1.67 Iterator<?> it = list.iterator();
963     Object[] elements = getArray();
964 jsr166 1.129 for (int i = 0, len = elements.length; i < len; i++)
965     if (!it.hasNext() || !Objects.equals(elements[i], it.next()))
966 dl 1.57 return false;
967 jsr166 1.60 if (it.hasNext())
968 tim 1.1 return false;
969     return true;
970     }
971    
972     /**
973 jsr166 1.35 * Returns the hash code value for this list.
974 dl 1.26 *
975 jsr166 1.47 * <p>This implementation uses the definition in {@link List#hashCode}.
976     *
977     * @return the hash code value for this list
978 tim 1.1 */
979     public int hashCode() {
980     int hashCode = 1;
981 jsr166 1.126 for (Object x : getArray())
982     hashCode = 31 * hashCode + (x == null ? 0 : x.hashCode());
983 tim 1.1 return hashCode;
984     }
985    
986     /**
987 jsr166 1.35 * Returns an iterator over the elements in this list in proper sequence.
988     *
989     * <p>The returned iterator provides a snapshot of the state of the list
990     * when the iterator was constructed. No synchronization is needed while
991     * traversing the iterator. The iterator does <em>NOT</em> support the
992 jsr166 1.92 * {@code remove} method.
993 jsr166 1.35 *
994     * @return an iterator over the elements in this list in proper sequence
995 tim 1.1 */
996     public Iterator<E> iterator() {
997 dl 1.40 return new COWIterator<E>(getArray(), 0);
998 tim 1.1 }
999    
1000     /**
1001 jsr166 1.35 * {@inheritDoc}
1002 tim 1.1 *
1003 jsr166 1.35 * <p>The returned iterator provides a snapshot of the state of the list
1004     * when the iterator was constructed. No synchronization is needed while
1005     * traversing the iterator. The iterator does <em>NOT</em> support the
1006 jsr166 1.92 * {@code remove}, {@code set} or {@code add} methods.
1007 tim 1.1 */
1008     public ListIterator<E> listIterator() {
1009 dl 1.40 return new COWIterator<E>(getArray(), 0);
1010 tim 1.1 }
1011    
1012     /**
1013 jsr166 1.35 * {@inheritDoc}
1014     *
1015 jsr166 1.50 * <p>The returned iterator provides a snapshot of the state of the list
1016     * when the iterator was constructed. No synchronization is needed while
1017     * traversing the iterator. The iterator does <em>NOT</em> support the
1018 jsr166 1.92 * {@code remove}, {@code set} or {@code add} methods.
1019 jsr166 1.35 *
1020     * @throws IndexOutOfBoundsException {@inheritDoc}
1021 tim 1.1 */
1022 jsr166 1.110 public ListIterator<E> listIterator(int index) {
1023 dl 1.41 Object[] elements = getArray();
1024 dl 1.40 int len = elements.length;
1025 jsr166 1.109 if (index < 0 || index > len)
1026 jsr166 1.125 throw new IndexOutOfBoundsException(outOfBounds(index, len));
1027 tim 1.1
1028 dl 1.48 return new COWIterator<E>(elements, index);
1029 tim 1.1 }
1030    
1031 jsr166 1.113 /**
1032     * Returns a {@link Spliterator} over the elements in this list.
1033     *
1034     * <p>The {@code Spliterator} reports {@link Spliterator#IMMUTABLE},
1035     * {@link Spliterator#ORDERED}, {@link Spliterator#SIZED}, and
1036     * {@link Spliterator#SUBSIZED}.
1037     *
1038     * <p>The spliterator provides a snapshot of the state of the list
1039     * when the spliterator was constructed. No synchronization is needed while
1040 jsr166 1.135 * operating on the spliterator.
1041 jsr166 1.113 *
1042     * @return a {@code Spliterator} over the elements in this list
1043     * @since 1.8
1044     */
1045 dl 1.100 public Spliterator<E> spliterator() {
1046 dl 1.99 return Spliterators.spliterator
1047 dl 1.98 (getArray(), Spliterator.IMMUTABLE | Spliterator.ORDERED);
1048     }
1049    
1050 dl 1.93 static final class COWIterator<E> implements ListIterator<E> {
1051 jsr166 1.68 /** Snapshot of the array */
1052 dl 1.41 private final Object[] snapshot;
1053 dl 1.40 /** Index of element to be returned by subsequent call to next. */
1054 tim 1.1 private int cursor;
1055    
1056 jsr166 1.128 COWIterator(Object[] elements, int initialCursor) {
1057 tim 1.1 cursor = initialCursor;
1058 dl 1.40 snapshot = elements;
1059 tim 1.1 }
1060    
1061     public boolean hasNext() {
1062 dl 1.40 return cursor < snapshot.length;
1063 tim 1.1 }
1064    
1065     public boolean hasPrevious() {
1066     return cursor > 0;
1067     }
1068    
1069 jsr166 1.67 @SuppressWarnings("unchecked")
1070 tim 1.1 public E next() {
1071 jsr166 1.67 if (! hasNext())
1072 tim 1.1 throw new NoSuchElementException();
1073 jsr166 1.67 return (E) snapshot[cursor++];
1074 tim 1.1 }
1075    
1076 jsr166 1.67 @SuppressWarnings("unchecked")
1077 tim 1.1 public E previous() {
1078 jsr166 1.67 if (! hasPrevious())
1079 tim 1.1 throw new NoSuchElementException();
1080 jsr166 1.67 return (E) snapshot[--cursor];
1081 tim 1.1 }
1082    
1083     public int nextIndex() {
1084     return cursor;
1085     }
1086    
1087     public int previousIndex() {
1088 jsr166 1.45 return cursor-1;
1089 tim 1.1 }
1090    
1091     /**
1092     * Not supported. Always throws UnsupportedOperationException.
1093 jsr166 1.92 * @throws UnsupportedOperationException always; {@code remove}
1094 jsr166 1.32 * is not supported by this iterator.
1095 tim 1.1 */
1096     public void remove() {
1097     throw new UnsupportedOperationException();
1098     }
1099    
1100     /**
1101     * Not supported. Always throws UnsupportedOperationException.
1102 jsr166 1.92 * @throws UnsupportedOperationException always; {@code set}
1103 jsr166 1.32 * is not supported by this iterator.
1104 tim 1.1 */
1105 jsr166 1.33 public void set(E e) {
1106 tim 1.1 throw new UnsupportedOperationException();
1107     }
1108    
1109     /**
1110     * Not supported. Always throws UnsupportedOperationException.
1111 jsr166 1.92 * @throws UnsupportedOperationException always; {@code add}
1112 jsr166 1.32 * is not supported by this iterator.
1113 tim 1.1 */
1114 jsr166 1.33 public void add(E e) {
1115 tim 1.1 throw new UnsupportedOperationException();
1116     }
1117 jsr166 1.133
1118     @Override
1119     @SuppressWarnings("unchecked")
1120     public void forEachRemaining(Consumer<? super E> action) {
1121     Objects.requireNonNull(action);
1122     final int size = snapshot.length;
1123     for (int i = cursor; i < size; i++) {
1124     action.accept((E) snapshot[i]);
1125     }
1126     cursor = size;
1127     }
1128 tim 1.1 }
1129    
1130     /**
1131 dl 1.40 * Returns a view of the portion of this list between
1132 jsr166 1.92 * {@code fromIndex}, inclusive, and {@code toIndex}, exclusive.
1133 dl 1.40 * The returned list is backed by this list, so changes in the
1134 jsr166 1.66 * returned list are reflected in this list.
1135 dl 1.40 *
1136     * <p>The semantics of the list returned by this method become
1137 jsr166 1.66 * undefined if the backing list (i.e., this list) is modified in
1138     * any way other than via the returned list.
1139 tim 1.1 *
1140 jsr166 1.35 * @param fromIndex low endpoint (inclusive) of the subList
1141     * @param toIndex high endpoint (exclusive) of the subList
1142     * @return a view of the specified range within this list
1143     * @throws IndexOutOfBoundsException {@inheritDoc}
1144 tim 1.1 */
1145 dl 1.42 public List<E> subList(int fromIndex, int toIndex) {
1146 jsr166 1.124 synchronized (lock) {
1147 jsr166 1.67 Object[] elements = getArray();
1148     int len = elements.length;
1149     if (fromIndex < 0 || toIndex > len || fromIndex > toIndex)
1150     throw new IndexOutOfBoundsException();
1151     return new COWSubList<E>(this, fromIndex, toIndex);
1152     }
1153 tim 1.1 }
1154    
1155 dl 1.42 /**
1156     * Sublist for CopyOnWriteArrayList.
1157     */
1158 jsr166 1.66 private static class COWSubList<E>
1159 jsr166 1.67 extends AbstractList<E>
1160     implements RandomAccess
1161 jsr166 1.66 {
1162 tim 1.1 private final CopyOnWriteArrayList<E> l;
1163     private final int offset;
1164     private int size;
1165 dl 1.41 private Object[] expectedArray;
1166 tim 1.1
1167 jsr166 1.45 // only call this holding l's lock
1168 jsr166 1.66 COWSubList(CopyOnWriteArrayList<E> list,
1169 jsr166 1.67 int fromIndex, int toIndex) {
1170 jsr166 1.124 // assert Thread.holdsLock(list.lock);
1171 tim 1.1 l = list;
1172 dl 1.40 expectedArray = l.getArray();
1173 tim 1.1 offset = fromIndex;
1174     size = toIndex - fromIndex;
1175     }
1176    
1177     // only call this holding l's lock
1178     private void checkForComodification() {
1179 jsr166 1.124 // assert Thread.holdsLock(l.lock);
1180 dl 1.40 if (l.getArray() != expectedArray)
1181 tim 1.1 throw new ConcurrentModificationException();
1182     }
1183    
1184 jsr166 1.140 private Object[] getArrayChecked() {
1185     // assert Thread.holdsLock(l.lock);
1186     Object[] a = l.getArray();
1187     if (a != expectedArray)
1188     throw new ConcurrentModificationException();
1189     return a;
1190     }
1191    
1192 tim 1.1 // only call this holding l's lock
1193     private void rangeCheck(int index) {
1194 jsr166 1.124 // assert Thread.holdsLock(l.lock);
1195 jsr166 1.109 if (index < 0 || index >= size)
1196 jsr166 1.125 throw new IndexOutOfBoundsException(outOfBounds(index, size));
1197 tim 1.1 }
1198    
1199     public E set(int index, E element) {
1200 jsr166 1.124 synchronized (l.lock) {
1201 tim 1.1 rangeCheck(index);
1202     checkForComodification();
1203 jsr166 1.140 E x = l.set(offset + index, element);
1204 dl 1.40 expectedArray = l.getArray();
1205 tim 1.1 return x;
1206 jsr166 1.67 }
1207 tim 1.1 }
1208    
1209     public E get(int index) {
1210 jsr166 1.124 synchronized (l.lock) {
1211 tim 1.1 rangeCheck(index);
1212     checkForComodification();
1213 jsr166 1.140 return l.get(offset + index);
1214 jsr166 1.67 }
1215 tim 1.1 }
1216    
1217     public int size() {
1218 jsr166 1.124 synchronized (l.lock) {
1219 tim 1.1 checkForComodification();
1220     return size;
1221 jsr166 1.67 }
1222 tim 1.1 }
1223    
1224 jsr166 1.140 public boolean add(E element) {
1225     synchronized (l.lock) {
1226     checkForComodification();
1227     l.add(offset + size, element);
1228     expectedArray = l.getArray();
1229     size++;
1230     }
1231     return true;
1232     }
1233    
1234 tim 1.1 public void add(int index, E element) {
1235 jsr166 1.124 synchronized (l.lock) {
1236 tim 1.1 checkForComodification();
1237 jsr166 1.109 if (index < 0 || index > size)
1238 jsr166 1.125 throw new IndexOutOfBoundsException
1239     (outOfBounds(index, size));
1240 jsr166 1.140 l.add(offset + index, element);
1241 dl 1.40 expectedArray = l.getArray();
1242 tim 1.1 size++;
1243 jsr166 1.67 }
1244 tim 1.1 }
1245    
1246 jsr166 1.140 public boolean addAll(Collection<? extends E> c) {
1247     synchronized (l.lock) {
1248     final Object[] oldArray = getArrayChecked();
1249     boolean modified = l.addAll(offset + size, c);
1250     size += (expectedArray = l.getArray()).length - oldArray.length;
1251     return modified;
1252     }
1253     }
1254    
1255 dl 1.13 public void clear() {
1256 jsr166 1.124 synchronized (l.lock) {
1257 dl 1.13 checkForComodification();
1258 jsr166 1.140 l.removeRange(offset, offset + size);
1259 dl 1.40 expectedArray = l.getArray();
1260 dl 1.13 size = 0;
1261 jsr166 1.67 }
1262 dl 1.13 }
1263    
1264 tim 1.1 public E remove(int index) {
1265 jsr166 1.124 synchronized (l.lock) {
1266 tim 1.1 rangeCheck(index);
1267     checkForComodification();
1268 jsr166 1.140 E result = l.remove(offset + index);
1269 dl 1.40 expectedArray = l.getArray();
1270 tim 1.1 size--;
1271     return result;
1272 jsr166 1.67 }
1273 tim 1.1 }
1274    
1275 jsr166 1.66 public boolean remove(Object o) {
1276 jsr166 1.140 synchronized (l.lock) {
1277     checkForComodification();
1278     int index = indexOf(o);
1279     if (index == -1)
1280     return false;
1281     remove(index);
1282     return true;
1283     }
1284 jsr166 1.66 }
1285    
1286 tim 1.1 public Iterator<E> iterator() {
1287 jsr166 1.124 synchronized (l.lock) {
1288 tim 1.1 checkForComodification();
1289 tim 1.8 return new COWSubListIterator<E>(l, 0, offset, size);
1290 jsr166 1.67 }
1291 tim 1.1 }
1292    
1293 jsr166 1.110 public ListIterator<E> listIterator(int index) {
1294 jsr166 1.124 synchronized (l.lock) {
1295 tim 1.1 checkForComodification();
1296 jsr166 1.109 if (index < 0 || index > size)
1297 jsr166 1.125 throw new IndexOutOfBoundsException
1298     (outOfBounds(index, size));
1299 tim 1.8 return new COWSubListIterator<E>(l, index, offset, size);
1300 jsr166 1.67 }
1301 tim 1.1 }
1302    
1303 tim 1.7 public List<E> subList(int fromIndex, int toIndex) {
1304 jsr166 1.124 synchronized (l.lock) {
1305 tim 1.7 checkForComodification();
1306 jsr166 1.115 if (fromIndex < 0 || toIndex > size || fromIndex > toIndex)
1307 tim 1.7 throw new IndexOutOfBoundsException();
1308 dl 1.41 return new COWSubList<E>(l, fromIndex + offset,
1309 jsr166 1.67 toIndex + offset);
1310     }
1311 tim 1.7 }
1312 tim 1.1
1313 dl 1.106 public void forEach(Consumer<? super E> action) {
1314 jsr166 1.142 Objects.requireNonNull(action);
1315 jsr166 1.140 int i, end; final Object[] es;
1316     synchronized (l.lock) {
1317     es = getArrayChecked();
1318     i = offset;
1319     end = i + size;
1320 dl 1.106 }
1321 jsr166 1.140 for (; i < end; i++)
1322     action.accept(elementAt(es, i));
1323 dl 1.106 }
1324    
1325 dl 1.108 public void replaceAll(UnaryOperator<E> operator) {
1326 jsr166 1.142 Objects.requireNonNull(operator);
1327 jsr166 1.124 synchronized (l.lock) {
1328 jsr166 1.140 checkForComodification();
1329     l.replaceAll(operator, offset, offset + size);
1330     expectedArray = l.getArray();
1331 dl 1.108 }
1332     }
1333    
1334     public void sort(Comparator<? super E> c) {
1335 jsr166 1.124 synchronized (l.lock) {
1336 jsr166 1.140 checkForComodification();
1337     l.sort(c, offset, offset + size);
1338     expectedArray = l.getArray();
1339 dl 1.108 }
1340     }
1341    
1342     public boolean removeAll(Collection<?> c) {
1343 jsr166 1.140 Objects.requireNonNull(c);
1344     return bulkRemove(e -> c.contains(e));
1345 dl 1.108 }
1346    
1347     public boolean retainAll(Collection<?> c) {
1348 jsr166 1.140 Objects.requireNonNull(c);
1349     return bulkRemove(e -> !c.contains(e));
1350 dl 1.108 }
1351    
1352     public boolean removeIf(Predicate<? super E> filter) {
1353 jsr166 1.140 Objects.requireNonNull(filter);
1354     return bulkRemove(filter);
1355     }
1356    
1357     private boolean bulkRemove(Predicate<? super E> filter) {
1358 jsr166 1.124 synchronized (l.lock) {
1359 jsr166 1.140 final Object[] oldArray = getArrayChecked();
1360     boolean modified = l.bulkRemove(filter, offset, offset + size);
1361     size += (expectedArray = l.getArray()).length - oldArray.length;
1362     return modified;
1363 dl 1.108 }
1364     }
1365    
1366 dl 1.100 public Spliterator<E> spliterator() {
1367 jsr166 1.140 synchronized (l.lock) {
1368     return Spliterators.spliterator(
1369     getArrayChecked(), offset, offset + size,
1370     Spliterator.IMMUTABLE | Spliterator.ORDERED);
1371     }
1372 dl 1.98 }
1373    
1374 tim 1.7 }
1375 tim 1.1
1376 tim 1.7 private static class COWSubListIterator<E> implements ListIterator<E> {
1377 jsr166 1.80 private final ListIterator<E> it;
1378 tim 1.7 private final int offset;
1379     private final int size;
1380 jsr166 1.66
1381 jsr166 1.79 COWSubListIterator(List<E> l, int index, int offset, int size) {
1382 tim 1.7 this.offset = offset;
1383     this.size = size;
1384 jsr166 1.80 it = l.listIterator(index+offset);
1385 tim 1.7 }
1386 tim 1.1
1387 tim 1.7 public boolean hasNext() {
1388     return nextIndex() < size;
1389     }
1390 tim 1.1
1391 tim 1.7 public E next() {
1392     if (hasNext())
1393 jsr166 1.80 return it.next();
1394 tim 1.7 else
1395     throw new NoSuchElementException();
1396     }
1397 tim 1.1
1398 tim 1.7 public boolean hasPrevious() {
1399     return previousIndex() >= 0;
1400     }
1401 tim 1.1
1402 tim 1.7 public E previous() {
1403     if (hasPrevious())
1404 jsr166 1.80 return it.previous();
1405 tim 1.7 else
1406     throw new NoSuchElementException();
1407     }
1408 tim 1.1
1409 tim 1.7 public int nextIndex() {
1410 jsr166 1.80 return it.nextIndex() - offset;
1411 tim 1.7 }
1412 tim 1.1
1413 tim 1.7 public int previousIndex() {
1414 jsr166 1.80 return it.previousIndex() - offset;
1415 tim 1.1 }
1416    
1417 tim 1.7 public void remove() {
1418     throw new UnsupportedOperationException();
1419     }
1420 tim 1.1
1421 jsr166 1.33 public void set(E e) {
1422 tim 1.7 throw new UnsupportedOperationException();
1423 tim 1.1 }
1424    
1425 jsr166 1.33 public void add(E e) {
1426 tim 1.7 throw new UnsupportedOperationException();
1427     }
1428 jsr166 1.133
1429     @Override
1430     @SuppressWarnings("unchecked")
1431     public void forEachRemaining(Consumer<? super E> action) {
1432     Objects.requireNonNull(action);
1433     while (nextIndex() < size) {
1434     action.accept(it.next());
1435     }
1436     }
1437 tim 1.1 }
1438    
1439 jsr166 1.139 /** Initializes the lock; for use when deserializing or cloning. */
1440 dl 1.72 private void resetLock() {
1441 jsr166 1.138 Field lockField = java.security.AccessController.doPrivileged(
1442     (java.security.PrivilegedAction<Field>) () -> {
1443     try {
1444     Field f = CopyOnWriteArrayList.class
1445     .getDeclaredField("lock");
1446     f.setAccessible(true);
1447     return f;
1448     } catch (ReflectiveOperationException e) {
1449     throw new Error(e);
1450     }});
1451 dl 1.42 try {
1452 jsr166 1.138 lockField.set(this, new Object());
1453     } catch (IllegalAccessException e) {
1454 dl 1.72 throw new Error(e);
1455     }
1456 dl 1.42 }
1457 tim 1.1 }