wen JAVA集合类概览
带着问题来阅读
1、Java有哪些集合
2、不同集合的应用场景分别是哪些
3、哪些实现类是线程安全的
4、为什么Java集合不能存放基本类型
5、集合的fail-fast和fail-safe是什么
Java集合概览
Java通过Java Collections Framework(JCF)为开发者提供了一系列集合接口和实现，所谓集合，就是多个Java对象的聚集。
学习过数据结构的同学们对各类集合的定义肯定不陌生，Java通过提供一系列的内置数据结构实现，为开发者提高了开发的便利性，提升了程序的兼容性，降低了编程的复杂性。
图片出自https://www.pdai.tech/md/java/collection/java-collection-all.html
Java集合包含两个顶层接口：Collection和Map，Collection是主要保存对象的集合，Map是保存键值对的集合。
下面我们对两类集合的实现做简单介绍。
Collection
Collection是Jdk1.2版本引入的接口，用于描述保存对象的集合，它的扩展接口有List、Queue、Set。
List
List以列表形式顺序存取元素，保证元素的插入顺序和存储顺序一致。
| 实现 | 线程安全 | |
|---|---|---|
| ArrayList | 数组 | 否 |
| LinkedList | 双向链表 | 否 |
| CopyOnWriteArrayList | 数组 | 是，使用CopyOnWrite保证线程安全 |
| Vector | 数组 | 是，使用Synchronized保证线程安全 |
| Stack | 数组 | 是，继承Vector |
Vector是Jdk1.0就引入的线程安全的列表实现，早于Collection接口设计，采用直接在方法上添加Synchronized来保证线程安全，Stack是继承Vector实现的栈结构，由于其线程安全的低效性，目前在实际环境均不再推荐使用。
Queue
Queue是先进先出的结构，从队尾加入元素，队头弹出元素。其子接口Deque为双端队列，即两头都可以进出。
| 实现 | 线程安全 | |
|---|---|---|
| ArrayDeque | 循环数组 | 否 |
| LinkedList | 链表 | 否 |
| PriorityQueue | 堆 | 否 |
| BlockingQueue | BlockingQueue为阻塞队列的扩展接口 | 是 |
由于BlockingQueue略为复杂，更涉及到一些进阶应用场景，留待后续讲解。
Set
Set是不重复元素集合，元素中不包含相同元素，且通常情况不保持元素插入顺序
| 实现 | 线程安全 | |
|---|---|---|
| HashSet | 哈希表 | 否，基于HashMap实现 |
| TreeSet | 红黑树 | 否，基于TreeMap实现 |
| LinkedHashSet | 哈希表+链表 | 否，基于LinkedHashMap实现 |
| CopyOnWriteArraySet | 数组 | 是，CopyOnWrite保证 |
| ConcurrentSkipListSet | 跳表 | 是，基于ConcurrentSkipListMap实现 |
Map
Map用于存储<Key, Value>键值对。
| 实现 | 线程安全 | |
|---|---|---|
| HashMap | 哈希表+红黑树 | 否 |
| TreeMap | 红黑树 | 否 |
| LinkedHashMap | 哈希表+链表+红黑树 | 否 |
| WeakHashMap | 哈希表 | 否 |
| ConcurrentHashMap | 哈希表+红黑树 | 是，基于节点CAS和Synchronized实现 |
| ConcurrentSkipListMap | 跳表 | 是 |
为什么Java集合不能存放基本类型
Java在1.2版本引入JCF框架，Java范型是在1.5版本引入，因此在泛型引入之前集合默认以Object作为存储类型。
以List为例
List list = new ArrayList();
list.add(123); // 自动boxing
list.add("123");
int num = (int) list.get(0);
String str = (String) list.get(1);
显而易见该方式存在缺陷，集合内可以放入任何以Object为基类的元素，而元素的获取方无法确定元素的具体类型，容易出现类型转换错误。在1.5版本引入范型以后，对集合接口进行规范，添加了范型参数，Java的泛型机制本质上还是将具体类型擦除为Object，因此泛型集合在初始化时，无法将参数指定为非Object派生的基本类型。
什么是fail-fast和fail-safe
List<String> list = new ArrayList();
list.add("123");
list.add("456");
//(1) throw ConcurrentModificationException
for (String s : list) {
list.remove(s);
}
//(2) 正常移除
Iterator<String> it = list.iterator();
while (it.hasNext()) {
it.next();
it.remove();
}
//(3) throw ConcurrentModificationException
new Thread(() -> {
for (String s : list) {
System.out.println(s);
try {
TimeUnit.SECONDS.sleep(1);
} catch (InterruptedException ignore)
{
}
}
}).start();
new Thread(() -> {list.add("789");}).start();
上面这段代码，(1) (3) 会抛出ConcurrentModificationException，(2)可以正常移除所有元素。首先了解一下ConcurrentModificationException，当对一个对象做出的并发修改不被允许时，将抛出这个异常。
This exception may be thrown by methods that have detected concurrent modification of an object when such modification is not permissible.
那么(1)是单线程执行，(3)并发添加元素也并未对已有元素做修改，为什么也会触发该异常呢。
ArrayList var1 = new ArrayList();
var1.add("123");
var1.add("456");
Iterator var2 = var1.iterator();
while(var2.hasNext()) {
String var3 = (String)var2.next();
var1.remove(var3);
}
对代码(1)的class文件反编译查看，发现foreach实际上是通过Iterator做的迭代，迭代过程中删除是直接调用list.remove。我们再进入到list.iterator方法探个究竟。
/** Returns an iterator over the elements in this list in proper sequence.
* The returned iterator is fail-fast. */
public Iterator<E> iterator() {
return new Itr();
}
private class Itr implements Iterator<E> {
....
int expectedModCount = modCount;
....
final void checkForComodification() {
if (modCount != expectedModCount)
throw new ConcurrentModificationException();
}
}
iterator方法会创建一个Itr对象，在其创时会复制modCount到expectedModCount，每进行迭代时都会判断两个值是否相同，如果不同则抛出ConcurrentModificationException。
再来看modCount是一个继承自AbstractList的成员变量，用于记录list被修改的次数，每当调用add/remove时，modCount都会加1。
// The number of times this list has been structurally modified.
protected transient int modCount = 0;
那么问题就很明显了，每当对list进行修改modCount都会改变，而foreach的iterator记录的是迭代对象创建时刻的modCount值，接下来的迭代过程中，由于调用了list的修改方法，改变了其中modCount的值，导致modCount != expectedModCount，于是就抛出了异常。(3)代码是相同的问题，不再进行赘述。
* <p><a name="fail-fast"> * The iterators returned by this class"s {@link #iterator() iterator} and * {@link #listIterator(int) listIterator} methods are <em>fail-fast</em>:</a> * if the list is structurally modified at any time after the iterator is * created, in any way except through the iterator"s own * {@link ListIterator#remove() remove} or * {@link ListIterator#add(Object) add} methods, the iterator will throw a * {@link ConcurrentModificationException}. Thus, in the face of * concurrent modification, the iterator fails quickly and cleanly, rather * than risking arbitrary, non-deterministic behavior at an undetermined * time in the future.
在所有Java集合类中，直接位于java.util下除Vector、Stack、HashTable外，所有的集合都是fail-fast的，而在java.util.concurrent下的集合都是fail-safe的，即可以并发的遍历和修改集合，具体实现由各自的线程安全机制保证。
为什么需要fail-fast
fail-fast意为快速失败，在非线程安全的集合应用场景中，并发对集合做的添加/删除，可能导致另一个正在遍历集合的线程出现未知的错误如数组越界。因此非线程安全的集合实现引入fail-fast以此来快速中断线程，避免引发未知的连锁问题。
参考
- Java集合框架详解
- 快速失败(fail-fast)与安全失败(fail-safe)
