提起ArrayList,相信很多小伙伴都用过,而且还不少用。但在几年之前,我在一场面试中,面试官要求说出ArrayList的扩容机制。很显然,那个时候的我并没有关注这些,从而错过了一次机会。不过好在我还算比较喜欢搞事情的,所以今天这篇文章也算是填坑吧。

看完这边文章你将了解到:

  • ArrayList底层实现
  • ArrayList为什么允许null值
  • ArrayList为什么可重复
  • ArrayList查询效率和插入效率对比

类图

下图是ArrayList的类图结构



ArrayList继承于 AbstractList ,实现了 List, RandomAccess, Cloneable, java.io.Serializable 这些接口。

这里逐个分析一下这里接口的意义:

  • RandomAccess 是一个标志接口,表明实现这个这个接口的 List 集合是支持快速随机访问的。有兴趣可以看看Collections类中哪个方法用到了这个标志性接口。
  • 实现 Cloneable 接口并覆盖了方法clone(),能被克隆。
  • 实现了java.io.Serializable 接口,这意味着ArrayList支持序列化,能通过序列化去传输(请注意,ArrayList的序列化是有点小特殊的,后面会讲解)。

源码解析

成员变量

在正式进入源码分析之前,我们有必要先看看它的成员变量都有哪些,这里列举比较重要的成员变量:

private int size;  // 实际元素个数
transient Object[] elementData; //真正保存元素的数组
private static final int DEFAULT_CAPACITY = 10;//默认的初始容量大小

构造方法

我们有三种初始化办法:无参数直接初始化、指定大小初始化、指定初始数据初始化,源码如下:

//1、无参数直接初始化,数组大小为空
public ArrayList() {
this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}
//2、指定初始数据初始化
public ArrayList(Collection<? extends E> c){
//elementData是保存数组的容器,默认为null
elementData=c.toArray();
//如果给定的集合(c)数据有值
if((size=elementData.length)!=0){
//c.toArray might(incorrectly)not return Object[](see 6260652)
//如果集合元素类型不是Object类型,我们会转成Object
if(elementData.getClass()!=Object[].class){
elementData=Arrays.copyOf(elementData,size,Object].class);
}
}else{
//给定集合(c)无值,则默认空数组
this.elementData=EMPTY_ELEMENTDATA
}
}
//3、指定初始容量
public ArrayList(int initialCapacity) {
//指定的初始容量大于0,将elementData初始化为指定大小的数组
if (initialCapacity > 0) {
this.elementData = new Object[initialCapacity];
} else if (initialCapacity == 0) {
//否则初始化成一个空数组
this.elementData = EMPTY_ELEMENTDATA;
}
}

除过源码中注释外,补充几点:

  1. ArrayList无参构造器初始化时,默认大小是空数组,并不是大家常说的10,10是在第一次add的时候扩容的数组值。
  2. 使用方式二进行创建对象时,如果入参容器保存的对象不是Object,则转换为Object

    DEFAULTCAPACITY_EMPTY_ELEMENTDATAEMPTY_ELEMENTDATA又是什么鬼?它其实是定义在成员变量的两个空数组,
private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};
private static final Object[] EMPTY_ELEMENTDATA = {};

很明显问题来了,既然都是空数组,为什么要声明两个?一个不行吗?读者请先思考一下,带着疑问往下看。

新增和扩容实现

通过构造方法可以很清楚的看到,ArrayList的确是基于数组的,但动态又从何说起?

新增时就是给数组中添加元素,主要分为两步走:

  1. 判断是否需要扩容,如果需要扩容执行扩容操作;
  2. 直接赋值。

    对应源码如下:
public boolean add(E e) {
//确保数组大小是否足够,不够执行扩容,size为当前数组元素个数,判断size+1是因为后面还要size++
ensureCapacityInternal(size + 1); //1
elementData[size++] = e;//2
return true;
}

我们先来看一下扩容部分的源码:

private void ensureCapacityInternal(int minCapacity) {
//先调用calculateCapacity计算容量
ensureExplicitCapacity(calculateCapacity(elementData, minCapacity));
}
private static int calculateCapacity(Object[] elementData, int minCapacity) {
//如果当前数组还是个空数组,也就是他用过无参构造去初始化的
//那么直接返回DEFAULT_CAPACITY,即10
if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
return Math.max(DEFAULT_CAPACITY, minCapacity);
}
return minCapacity;
} private void ensureExplicitCapacity(int minCapacity) {
modCount++; // 如果当前容量已经大于当前数组的长度了,说明需要去扩容了
if (minCapacity - elementData.length > 0)
//扩容
grow(minCapacity);
} private void grow(int minCapacity){
int oldCapacity = elementData.length;
//oldCapacity>>1是把oldCapacity除以2的意思
int newCapacity=oldCapacity+(oldCapacity>>1);
//如果扩容后的值<我们的期望值,扩容后的值就等于我们的期望值
if(newCapacity-minCapacity<0)
newCapacity = minCapacity;
//如果扩容后的值>jvm所能分配的数组的最大值,那么就用Integer的最大值
if(newCapacity-MAX_ARRAY_SIZE>0)
elementData=Arrays.copyOf(elementData,newCapacity);
}

注释相对来说已经比较详细了,这里需要注意以下几点:

  1. 上面有个问题是为什么需要声明两个空数组。我们在看到上面源码的时候有一个方法为calculateCapacity,这个方法内部逻辑只有在通过无参构造初始化ArrayList的时候才会改变将要返回的minCapacity。而返回的这个值将会决定下面的数组是否需要扩容。如果我们通过指定大小的方式初始化ArrayList并指定大小为0,这说明我们需要的就是一个空的ArrayList,不需要去扩容,你细品;
  2. 新增时,没有对值进行校验,所以新增值可以为null,且没有做重复值判断,所以元素可以重复
  3. ArrayList中的数组的最大值是Integer.MAX_VALUE,超过这个值,JVM就不会给数组分配

    内存空间了;
  4. 扩容是原来容量大小+容量大小的一半,简单说就是扩容后的大小是原来容量的1.5倍。

扩容完成之后,就是简单的赋值了,赋值时并没有加锁,所以是线程不安全的。

扩容的本质

grow方法的最后,扩容是通过Arrays.copyOf(elementData,newCapacity);这行代码实现的。这个方法实际上调用的方法是我们经常使用的System.arraycopy

/**
*@param src 被拷贝的数组
*@param srcPos 从数组那里开始
*@param dest 目标数组
*@param destPos从目标数组那个索引位置开始拷贝
*@param length 拷贝的长度
*此方法是没有返回值的,通过dest的引用进行传值
*/
public static native void arraycopy(Object src, int srcPos,Object dest, int destPos,int length);

这个方法是一个native方法,虽然不能看到方法内部的具体实现,但通过参数也可以管中窥豹。这个方法会移动元素。所以说数组如果要扩容,需要重新分配一块更大的空间,再把数据全部复制过去,时间复杂度 O(N);而且你如果想在数组中间进行插入和删除,每次必须搬移后面的所有数据以保持连续,时间复杂度 O(N)。由于数组又是一块连续的内存空间,能够根据索引快速访问元素。

上面也就解释了一开始那个问题:ArrayList为什么插入慢,查询快。

删除

ArrayList有多种删除方法,这里以根据值删除的方式进行说明(其他原理类似):

public boolean remove(Object o) {
//如果要删除的值是null,删除第一个是null的值
if(o==null){
for(int index=0;index<size;index++)
if(elementData[index]==null){
fastRemove(index)
return true;
}
}else{
//如果要删除的值不为null,找到第一个和要删除的值相等的删除
for(int index=0;index<size;index++)
//这里是根据 equals来判断值相等的,相等后再根据索引位置进行删除
//所以根据对象删除时,一般来说,如果你确定要删除的是某一类的业务对象,则需要重写equals
if(o.equals(elementData[index]){
fastRemove(index)
return true;
}
}
return false
}

核心其实是fastRemove方法:

private void fastRemove(int index){
//记录数组的结构要发生变动了
nodCount++;
//numMoved表示删除index位置的元素后,需要从index后移动多少个元素到前面去
//减1的原因,是因为size从1开始算起,index从0开始算起
int numMoved=size-index-1;
if(numMoved>0)
//从index+1位置开始被拷贝,拷贝的起始位置是index,长度是numMoved
System.arraycopy(elementData, index+1, elementData, index, numMoved);
//数组最后一个位置赋值null,帮助GC(没有引用则自动回收了)
elementData[--size] = null;
}

从源码中,我们可以看出,某一个元素被删除后,为了维护数组结构,我们都会把数组后面的元素往前移动,同时释放最后一个引用,便于回收。

总结

本文主要从ArrayList的源码入手,分别从初始化、新增、扩容、删除四个方面展开学习。我们发现ArrayList内部其实就是围绕了一个数组,在数组容量不足时将数组扩容至更大,所以也就自然被称作基于动态数组

微信搜索Java成神之路或扫描下方二维码,发现更多Java有趣知识,让我们一起成长!

ArrayList这篇就够了的更多相关文章

  1. 关于 Docker 镜像的操作,看完这篇就够啦 !(下)

    紧接着上篇<关于 Docker 镜像的操作,看完这篇就够啦 !(上)>,奉上下篇 !!! 镜像作为 Docker 三大核心概念中最重要的一个关键词,它有很多操作,是您想学习容器技术不得不掌 ...

  2. ASP.NET Core WebApi使用Swagger生成api说明文档看这篇就够了

    引言 在使用asp.net core 进行api开发完成后,书写api说明文档对于程序员来说想必是件很痛苦的事情吧,但文档又必须写,而且文档的格式如果没有具体要求的话,最终完成的文档则完全取决于开发者 ...

  3. Ajax原理一篇就够了

    Ajax原理一篇就够了 一.什么是Ajax Ajax(Asynchronous JavaScript and XML的缩写)是一种异步请求数据的web开发技术,对于改善用户的体验和页面性能很有帮助.简 ...

  4. .NET Core实战项目之CMS 第二章 入门篇-快速入门ASP.NET Core看这篇就够了

    作者:依乐祝 原文链接:https://www.cnblogs.com/yilezhu/p/9985451.html 本来这篇只是想简单介绍下ASP.NET Core MVC项目的(毕竟要照顾到很多新 ...

  5. 想了解SAW,BAW,FBAR滤波器的原理?看这篇就够了!

    想了解SAW,BAW,FBAR滤波器的原理?看这篇就够了!   很多通信系统发展到某种程度都会有小型化的趋势.一方面小型化可以让系统更加轻便和有效,另一方面,日益发展的IC**技术可以用更低的成本生产 ...

  6. 如果这样来理解HTTPS,一篇就够了!

    1.前言 可能有初学者会问,即时通讯应用的通信安全,不就是对Socket长连接进行SSL/TLS加密这些知识吗,干吗要理解HTTPS协议呢. 这其实是个误解:当今主流的移动端IM数据通信,总结下来无外 ...

  7. [译]ASP.NET Core Web API 中使用Oracle数据库和Dapper看这篇就够了

    [译]ASP.NET Core Web API 中使用Oracle数据库和Dapper看这篇就够了 本文首发自:博客园 文章地址: https://www.cnblogs.com/yilezhu/p/ ...

  8. JVM内存模型你只要看这一篇就够了

    JVM内存模型你只要看这一篇就够了 我是一只孤傲的鱼鹰 让我们不厌其烦的从内存模型开始说起:作为一般人需要了解到的,JVM的内存区域可以被分为:线程栈,堆,静态方法区(实际上还有更多功能的区域,并且这 ...

  9. 【java编程】ServiceLoader使用看这一篇就够了

    转载:https://www.jianshu.com/p/7601ba434ff4 想必大家多多少少听过spi,具体的解释我就不多说了.但是它具体是怎么实现的呢?它的原理是什么呢?下面我就围绕这两个问 ...

随机推荐

  1. holy shit CSDN

    holy shit CSDN 垃圾 CSDN 到处都是垃圾文章, 无人子弟 到处都是垃圾广告,看的恶心 毫无底线,窃取别人的知识成果,毫无版权意识 垃圾爬虫,垃圾小号 ...等等 Google Sea ...

  2. taro list render bug

    taro list render bug 列表渲染 https://taro-docs.jd.com/taro/docs/list.html not support jsx map 垃圾微信 cons ...

  3. TypeScript 3.7 RC & Optional Chaining

    TypeScript 3.7 RC & Optional Chaining https://devblogs.microsoft.com/typescript/announcing-types ...

  4. SVG to GeoJSON

    SVG to GeoJSON GEOJSON https://geojson.org/ http://geojson.io/ https://github.com/mapbox/geojson.io/ ...

  5. Flutter ColorFiltered 将ColorFilter应用于其子级。

    ColorFiltered ColorFilter BlendMode Example <summary>main.dart</summary> import 'package ...

  6. subline3 如何设置es6高亮

    步骤: 1.操作Ctrl+Shift+P , 然后在弹出的框内输入Package Control: in,2.选择Package Control: install package,3.等待再次弹出输入 ...

  7. 没想到即将上线的NGK生态应用这么厉害?!

    话说这即将上线的NGK公链可不是闹着玩的,这条公链的蛰伏时间长达两年,恐怕这个准备时间,连最初的区块链1.0时代的项目都无法比拟,现在的话那都差太远了. 编程一段代码并不难,难的是耐得住赚快钱的心.人 ...

  8. [JAVA学习笔记]JAVA基本程序设计结构

    一个简单的Java应用程序 public class FirstSample { public static void main(String[] args) { System.out.println ...

  9. Echars统计图的使用

    第一步去官网挑选自己需要的图形了. 官网地址:https://echarts.baidu.com/ 第二步按照官网的demo,下载需要的js组件并放到自己的项目中. 第三步仿照demo创建需要的div ...

  10. FTP返回值代表含义

    FTP:屏幕信息举例 1.用户要用FTP和远地主机(网络信息中心NIC上的主机)建立连接. 2.本地FTP发出的连接成功信息. 3.从远地服务器返回的信息,220表示"服务就绪". ...