标签:整数 了解 java实现 它的 新建 容量 empty range transient
本文基于JDK1.8版本,对集合中的巨头ArrayList做一定的源码学习,将会参考大量资料,在文章后面都将会给出参考文章链接,本文用以巩固学习知识。
ArrayList继承了AbstracList这个抽象类,还实现了List接口,提供了添加、删除、修改、遍历等功能。至于其他接口,以后再做总结。
底层基于数组实现,我们可以查看源码,了解其拥有的一些属性:
private static final long serialVersionUID = 8683452581122892189L;
//默认的初始容量为10
private static final int DEFAULT_CAPACITY = 10;
//如果指定数组容量为0,返回该数组,相当于new ArrayList<>(0);
private static final Object[] EMPTY_ELEMENTDATA = {};
//没有指定容量时,返回该数组,与上面不同的是:new ArrayList<>();
private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};
//该数组保存着ArrayList存储的元素,任何没有指定容量的ArrayList在添加第一个元素后,将会扩容至初始容量10
transient Object[] elementData; // non-private to simplify nested class access
//代表了当前存储元素的数量
private int size;
再次强调将EMPTY_ELEMENTDATA
和DEFAULTCAPACITY_EMPTY_ELEMENTDATA
区分开来是为了明确添加第一个元素时,应该扩容的大小,具体扩容的机制,后面会分析。
我们再来瞧瞧它的构造器:
//该构造器用以创建一个可以指定容量的列表
public ArrayList(int initialCapacity) {
if (initialCapacity > 0) {
//创建一个指定容量大小的数组
this.elementData = new Object[initialCapacity];
} else if (initialCapacity == 0) {
//指定容量为0,对应EMPTY_ELEMENTDATA数组
this.elementData = EMPTY_ELEMENTDATA;
} else {
throw new IllegalArgumentException("Illegal Capacity: "+
initialCapacity);
}
}
//默认无参构造器,赋值空数组,但是在第一次添加之后,容量变为默认容量10
public ArrayList() {
this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}
//传入一个集合,根据该集合迭代器返回顺序,构造一个指定集合里元素的列表
public ArrayList(Collection<? extends E> c) {
elementData = c.toArray();
//传入集合不为空长
if ((size = elementData.length) != 0) {
//传入集合转化为的数组可能不是Object[]需要判断
if (elementData.getClass() != Object[].class)
elementData = Arrays.copyOf(elementData, size, Object[].class);
} else {
//传入集合为元素数量为0,用空数组代替即可
this.elementData = EMPTY_ELEMENTDATA;
}
}
//指定集合为null的话(并不是说集合为空长),调用ArrayList的toArray方法,可能会抛出空指针异常
了解完ArrayList基本的属性和构造器之后,我们将对里面包含的方法进行学习:
//没有指定索引,默认在尾部添加元素
public boolean add(E e) {
ensureCapacityInternal(size + 1); // Increments modCount!!
//扩容之后,下一位赋值为e,size加1
elementData[size++] = e;
return true;
}
private void ensureCapacityInternal(int minCapacity) {
ensureExplicitCapacity(calculateCapacity(elementData, minCapacity));
}
//判断是否为默认构造器生成的数组,并将minCapacity置为0;如果不是,minCapacity还是传入的size+1
private static int calculateCapacity(Object[] elementData, int minCapacity) {
if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
//使用默认构造器,那么才会返回所需要的最小容量为默认容量10
return Math.max(DEFAULT_CAPACITY, minCapacity);
}
//minCapacity = size+1
return minCapacity;
}
private void ensureExplicitCapacity(int minCapacity) {
//定义在AbstractList中,用于存储结构修改次数
modCount++;
//如果最小容量比数组总长度还大,就扩容
if (minCapacity - elementData.length > 0)
grow(minCapacity);
}
//扩容操作
private void grow(int minCapacity) {
int oldCapacity = elementData.length;
//将旧容量右移一位在加上本身,像当于新容量为就容量的1.5倍
int newCapacity = oldCapacity + (oldCapacity >> 1);
//1.新数组的容量还是不能满足需要的最小容量,如初始指定容量为0时的情况
//2.新数组越过了整数边界,newCapacity将会小于0
if (newCapacity - minCapacity < 0)
newCapacity = minCapacity;
//如果新数组的容量比数组最大的容量Integer.MAX_VALUE - 8还大,
//调用hugeCapacity方法
if (newCapacity - MAX_ARRAY_SIZE > 0)
newCapacity = hugeCapacity(minCapacity);
elementData = Arrays.copyOf(elementData, newCapacity);
}
//比较最小容量和MAX_ARRAY_SIZE
private static int hugeCapacity(int minCapacity) {
if (minCapacity < 0) // overflow
throw new OutOfMemoryError();
//三目表达式:如果真的需要扩这么大容量的情况下:
//1.最小容量大于MAX_ARRAY_SIZE,新容量等于Integer.MAX_VALUE,否则新容量为Integer.MAX_VALUE-8
return (minCapacity > MAX_ARRAY_SIZE) ?
Integer.MAX_VALUE :
MAX_ARRAY_SIZE;
}
public void ensureCapacity(int minCapacity)
方法预先设置容量。参考:https://www.iteye.com/topic/577602。(但是经过我的个人测试:在1亿级或以上地数量上,没有调用该方法要快一些,但是真实场景应该不会把这么多的数据存放在里面吧,所以可以的话,用上这个方法,提升性能呀。)newCapacity - minCapacity < 0
的思考,很容易能看出判定条件是新容量<需要的最小容量。但是这个条件怎样才能达到呢
注意:移位运算效率会比整除运算更高一些。
其实扩容的方式就是我们看到的,创建一个以新容量为长度的新数组,并将原来数组的值全部拷贝到新数组上,最后让elementData指向这个新数组。
文章写到这里,我大舒一口长气,层层嵌套的调用终于结束了,不知道你们的内心是否也和我一样哈。我们趁热打铁,赶紧看看另一个重载的add方法。
//在索引为index处插入E
public void add(int index, E element) {
//索引越界判断
rangeCheckForAdd(index);
//同上,确保有足够容量添加元素
ensureCapacityInternal(size + 1); // Increments modCount!!
//实际上Arrays.copyOf的底层调用的就是这个方法,意思是在原数组上从索引的位置到最后整体向后复制一位,相当于移动的长度为 (size-1) - index +1 = size -index
System.arraycopy(elementData, index, elementData, index + 1,
size - index);
//在将index处填上元素E
elementData[index] = element;
//元素数量+1
size++;
}
有了前面的铺垫,相对来说就比较轻松了。我们不妨看看判断数组越界的方法,妈呀,这就更加清晰了,但是需要注意的是index==size在添加操作里,相当于从尾部插入,并不会构成越界:
private void rangeCheckForAdd(int index) {
if (index > size || index < 0)
throw new IndexOutOfBoundsException(outOfBoundsMsg(index));
}
看完了“增”的两个方法,该轮到同是四胞胎兄弟的“删”了。再谈“删”之前,我们要明确,ArrayList底层基于数组实现,可依靠连续索引值存取获取数据就变得理所当然了:
E elementData(int index) {
return (E) elementData[index];
}
下面是“删”操作,需要注意的是,remove操作并不能够将容量减少,只是将其中的元素数量变少,自始至终只是size在变化,不信你看:
//移除指定位置的元素,并将其返回
public E remove(int index) {
//范围判断
rangeCheck(index);
//操作列表,计数加1
modCount++;
//取出旧值
E oldValue = elementData(index);
//相当于把index+1位置向后的所有元素集体向前复制一位,复制的长度就是
//(size-1)-(index+1)+1 = numMoved
int numMoved = size - index - 1;
if (numMoved > 0)
//执行集体拷贝动作
System.arraycopy(elementData, index+1, elementData, index,
numMoved);
//并让最后一个空出来的位置指向null,点名让GC清理
elementData[--size] = null;
//返回旧值
return oldValue;
}
可以稍微看一下rangeCheck的代码,与add操作里判定略有不同,省去了index<0的判断,我一开始很疑惑,后来发现后面有对数组的索引值取值,还是会发生异常:
private void rangeCheck(int index) {
if (index >= size)
throw new IndexOutOfBoundsException(outOfBoundsMsg(index));
}
我觉得有必要总结一下System.arraycopy这个方法,
public static native void arraycopy(Object src, int srcPos,Object dest, int destPos,int length);
native修饰符,底层并不是Java实现,而是c和c++。
这个方法的作用呢:就是从指定的源数组(src)从指定位置(srcPos)开始复制数组到目标数组(dest)的指定位置(destPos),复制的个数正好是length。
而Arrays.copyOf这个方法虽然底层调用了System.arraycopy,但是使用上是不太一样的,它不需要目标数组,系统会自动在内部新建一个数组,并返回。
哇,感觉add部分讲完,真的思路及其清晰,简直豁然开朗呢。咱们继续来remove!
//移除指定元素,找到并删除返回true,没找到返回false
public boolean remove(Object o) {
//判断指定的元素是否本身就是null值
if (o == null) {
for (int index = 0; index < size; index++)
//找到同为null值的那个“它”
if (elementData[index] == null) {
//快速删除,删除操作和之前类似,只是省略了范围判断,就不赘述了
fastRemove(index);
return true;
}
} else {
for (int index = 0; index < size; index++)
//不是空值的话,就找值相等的,注意不要elementData[index].equals(o),时刻避免空指针
if (o.equals(elementData[index])) {
fastRemove(index);
return true;
}
}
return false;
}
还有一个范围性的removeRange就不赘述了,总结一下:ArrayList中的remove操作基于数组的拷贝,并将remove的长度置空,元素数量相应减少(只是元素数量减少,数组容量并不会改变)。
对了,清理的话,clear方法会清理的相对干净一些,但是依旧只是size变化:
public void clear() {
modCount++;
//将所有元素置空,等待GC宠幸
for (int i = 0; i < size; i++)
elementData[i] = null;
size = 0;
}
当然,如果你希望数组容量也发生变化的话。你可以试试下面的这个方法:
//将ArrayList容量调整为当前size的大小
public void trimToSize() {
modCount++;
//基于三目运算
if (size < elementData.length) {
elementData = (size == 0)
? EMPTY_ELEMENTDATA
: Arrays.copyOf(elementData, size);
}
}
接下来,讲一讲相当简单的set与get这对基佬操作:
//用指定值替换只当索引位置上的值
public E set(int index, E element) {
rangeCheck(index);
E oldValue = elementData(index);
elementData[index] = element;
return oldValue;
}
//获取指定索引位置上的值
public E get(int index) {
rangeCheck(index);
return elementData(index);
}
然后是姐妹花操作:indexOf和lastIndexOf。(ps:寻找元素的过程可以参考remove指定元素的过程),以indexOf为例,lastIndexOf从尾部向前遍历即可。
//判断o在ArrayList中第一次出现的位置
public int indexOf(Object o) {
if (o == null) {
for (int i = 0; i < size; i++)
if (elementData[i]==null)
return i;
} else {
for (int i = 0; i < size; i++)
if (o.equals(elementData[i]))
return i;
}
return -1;
}
通过indexOf方法的返回值,我们还可以判断某个元素是否存在:
public boolean contains(Object o) {
return indexOf(o) >= 0;
}
除了单个元素增之外,ArrayList中还提供了可以将整个集合增加到本身尾部的方法:
//把传入集合中的所有元素全部加到本身集合的后面,如果发生改变就返回true
public boolean addAll(Collection<? extends E> c) {
//将传入集合转化为列表,如果传入集合为null,会发生空指针异常
Object[] a = c.toArray();
int numNew = a.length;
//确定新长度是否需要扩容
ensureCapacityInternal(size + numNew); // Increments modCount
System.arraycopy(a, 0, elementData, size, numNew);
size += numNew;
//传入为空集合就为false,因为不会发生改变
return numNew != 0;
}
它的重载方法是在指定位置插入另一个集合中地所有元素,并且以迭代的顺序排列:
//在指定位置插入另一集合中的所有元素
public boolean addAll(int index, Collection<? extends E> c) {
rangeCheckForAdd(index);
//还是会引发空指针
Object[] a = c.toArray();
//传入新集合c的元素个数
int numNew = a.length;
ensureCapacityInternal(size + numNew); // Increments modCount
//要移动的个数:(size-1)-index+1 = numMoved
int numMoved = size - index;
if (numMoved > 0)
System.arraycopy(elementData, index, elementData, index + numNew,
numMoved);
//size<index的情况,前面就会抛异常,所以这里只能index==size,相当于从尾部添加
System.arraycopy(a, 0, elementData, index, numNew);
size += numNew;
return numNew != 0;
}
ArrayList基于数组实现,查询便利,通过扩容机制实现动态增长。
对了,它是线程不安全的,这个以后学习的时候在做总结吧。
对了如果不出意外的话,之后会带来LinkedList的源码学习,如果觉得我有叙述错误的地方,或者我没有说明白点地方,还望评论区批评指正,一起学习交流,加油加油!
参考链接:
浅谈ArrayList动态扩容
List集合就这么简单【源码剖析】
https://github.com/Snailclimb/JavaGuide/blob/master/docs/java/collection/ArrayList.md
标签:整数 了解 java实现 它的 新建 容量 empty range transient
原文地址:https://www.cnblogs.com/summerday152/p/12198779.html