从JDK源码学习Arraylist

从今天开始从源码去学习一些Java的经常使用数据结构，打好基础:)

Arraylist源码阅读：

jdk版本：1.8.0

首先看其构造方法：

构造方法一：

第一种支持初始化容量大小，其中声明一个对象数组，赋值给this.elementdata

构造方法二：

第二种无参构造函数，即不指定初始容量大小，则默认赋值this.elementdata为一个空的对象数组，可是由注释能够看到其无参构造实际上初始容量为10

 

在elementData的注释中也说了该变量是实际存储Arrylist数据的存储结构，任何空的arraylist，当第一次被调用add放进元素时，将会扩充容量为default_capacity也就是10

 

 

 

 

看看其add方法，由于arraylist也是有序的，所以加入的元素在列表尾部，在添加元素以前，调用ensureCapacityInternal，确保内部容量大小

在ensureCapacityInternal中将判断当前的elementdata的值是否为空数组，若为空则赋值minCapacity为默认容量和入口参数minCapacity的较大值，而后进一步调用ensureExplicitCapacity明确容量大小

 

在ensureExplicitCapacity中，modCount自增，判断当前最小容量和arraylist的实际元素个数差值若大于零，则调用grow函数来进行实际的容量扩充

 

 

扩容函数grow先取到当前arraylist的实际长度，而后将其扩大1.5倍，而后判断该值和最小容量的大小，若扩充1.5倍小于所须要的最小容量，则赋值新的容量为须要的最小容量，此时并判断是否产生溢出状况，也就是注释里面的overflow conscious mode的含义，因此arraylist不是无限扩容，看下其max_array_size的值

 

数组最大值为integer.max_value-8，也就是2的31次-1-8

至于为何要-8，这里有些vm要存储其最大值的大小须要八个字节，以下图所示

 

 若是扩充的新容量比max还大，则调用hugeCapacity，判断最小的容量和2的31次-1的大小，若大于则赋值max_value,不然说明此时最小容量介于max_value-8和max_value之间，则赋值为max_value-8

 

而后调用Array.copyof将旧的arraylist中的值拷贝到新的扩充后的arraylist中，因此默认空数组的add操做后容量即为10

构造方法三：

能够传递任何实现了Collection接口的类，其调用collection的toarray方法返回一个对象数组，也就是将集合中的元素以对象数组形式返回，toarray的注释里也说明了这个方法是array和collection的桥梁

 

 

 为了防止重写toArray方法返回的并非对象数组，所以这里判断一下elementData的类是不是对象数组，若是不是的话，则将element中的数组copy到对象数组中

好比有MySubClass是MyClass的子类。
Collection<MyClass> myCollection;  //myCollection里有不少元素。
Collection<MySubClass> mySubCollection;  //mySubCollection里有不少元素。
ArrayList<MyClass> myList = new ArrayList<MyClass>(myCollection);
也能够：
ArrayList<MyClass> myList = new ArrayList<MyClass>(mySubCollection);

意思就是这里用extends e，来指定定义一个父类的arraylist，则其全部子类的集合都能放进该父类的arraylist，从而编译器才可以知道放入的元素都是知足？也就是，初始定义arraylist的类型声明

关于线程安全：

 上面遗留了一个modcount++的自增操做的解释，看一下jdk对modcount的解释

 该参数是对arraylist容量大小修改的次数，也就是删减元素改变大小时可能会使正常的迭代过程出现错误，那么针对单线程而言，不存在又读又写，但在多线程状况下，可能存在读写同时进行的操做，参考知乎一个很精简明确的答案，看完真的是一目了然，若是结构发生变化则抛出ConcurrentModificationException

 

 经过调用上面这个方法来判断是否结构发生变化，调用add remove时都将修改modcount，经过迭代时先保存一份modcount，若迭代过程当中再取modcount和保存的值不等则抛出异常

总结：

①.初始不指定容量时设置为10

②.每次扩充为实际长度的1.5倍与所需最小容量比较

③.arraylist是非线程安全的

④.其最大值为2的31次-1

⑤.为避免连续扩容消耗内存，能初始化容量大小尽可能指定容量

⑥.为啥会非线程安全，由于方法内部并不是原子操做

 

参考：

https://zhuanlan.zhihu.com/p/72296421  hashmap

https://zhuanlan.zhihu.com/p/73283922  linkedhashmap

https://zhuanlan.zhihu.com/p/72463637 hashset

https://zhuanlan.zhihu.com/p/72156592 arraylist

https://www.jianshu.com/p/f174d49b391c

http://www.javashuo.com/article/p-qlfagxdt-eq.html 

http://www.javashuo.com/article/p-qzzjqkuw-dt.html 线程安全问题