首页 > 编程语言 >Java容器之ArrayList源码分析

Java容器之ArrayList源码分析

时间:2022-11-14 03:44:05浏览次数:42  
标签:index 元素 Java int ArrayList elementData 源码 数组

ArrayList 概述

  • ArrayList 是一种变长的集合类,底层是基于数组来实现的,所以 ArrayList 查询效率高、增删效率低
  • ArrayList 集合中的元素是有序、可重复的,且可以存储 null 空值
  • 当每次向 ArrayList 容器中添加元素时,会进行容量检查:当往 ArrayList 中添加的元素数量大于其底层数组容量时,会通过扩容机制重新生成一个更大容量的数组,然后把旧数组上面的数据复制进新数组
  • ArrayList 是线程不安全的。在并发环境下,多个线程同时操作 ArrayList,会引发不可预知的错误。所以在多线程环境下可以使用 concurrent 并发包下的 CopyOnWriteArrayList 类来替代 ArrayList 类,或者使用 Collections.synchronizedList(List l) 返回一个线程安全的 ArrayList 类

属性

// 容器中真正存放元素的地方,使用 transient 是为了不序列化这个字段。elementData 数组的长度指的是容器的容量
transient Object[] elementData;

// 容器中真正存储的元素个数
private int size;

// 定义默认空容量的数组:当使用 new ArrayList() 创建容器时,会将这个空数组直接赋值给 elementData
private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};

// 默认的容量大小:使用 new ArrayList() 创建容器后,并往容器中添加第一个元素时才会使用这个默认容量进行初始化
private static final int DEFAULT_CAPACITY = 10;

// 定义空容量的数组:当使用 new ArrayList(0) 创建容器时,会使用这个空数组
private static final Object[] EMPTY_ELEMENTDATA = {};

构造方法

ArrayList()

// 无参的构造方法
public ArrayList() {
  // 当直接创建ArrayList时,elementData被赋予了默认空容量的数组,此时ArrayList容器的容量是0
  this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}

ArrayList(int)

// 传容量的构造方法:根据传入的数值大小,创建指定长度的数组
public ArrayList(int initialCapacity) {
  if (initialCapacity > 0) {
    this.elementData = new Object[initialCapacity];
  } else if (initialCapacity == 0) {
    this.elementData = EMPTY_ELEMENTDATA;
  } else {
    throw new IllegalArgumentException("Illegal Capacity: " + initialCapacity);
  }
}
  • 当 initialCapacity > 0 时,会在堆上 new 一个大小为 initialCapacity 的数组,然后将其引用赋给 elementData,此时 ArrayList 的容量为 initialCapacity,元素个数 size 为默认值 0
  • 当 initialCapacity = 0 时,elementData 被赋予了默认空数组,因为其被 final 修饰了,所以此时 ArrayList 的容量为 0,元素个数 size 为默认值 0
  • 当 initialCapacity < 0 时,会抛出异常

ArrayList(Collection)

// 传入Collection元素列表的构造方法
public ArrayList(Collection<? extends E> c) {
  Object[] a = c.toArray();
  if ((size = a.length) != 0) {
    if (c.getClass() == ArrayList.class) {
      elementData = a;
    } else {
      elementData = Arrays.copyOf(a, size, Object[].class);
    }
  } else {
    // replace with empty array.
    elementData = EMPTY_ELEMENTDATA;
  }
}

将参数集合转化为一个 Object 类型的数组:

  • 如果参数集合转换为数组后的数组长度为 0,会初始化 elementData 为空数组,此时 ArrayList 的容量是 0,元素个数 size 为 0
  • 如果参数集合转换为数组后的数组长度不等于 0
    • 如果参数集合的类型是 ArrayList,则直接将参数赋值给 elementData
    • 否则,将参数数组的数组类型转换为 Object 对象数组的数组类型,并赋值给 elementData

添加元素

当我们探讨扩容时,肯定要从ArrayList的add方法走起

add(E)

// 在容器尾部插入指定元素
public boolean add(E e) {
  // 添加元素之前,首先需要确定集合的容量(检测集合是否需要扩容)
  ensureCapacityInternal(size + 1);
  // 将指定元素插入容器尾部
  elementData[size++] = e;
  return true;
}

// 确保容器内部的容量:即容器扩容的入口方法
private void ensureCapacityInternal(int minCapacity) { // minCapacity是集合当前大小+1
  ensureExplicitCapacity(calculateCapacity(elementData, minCapacity));
}

// 计算并得到容器的最小容量
private static int calculateCapacity(Object[] elementData, int minCapacity) {
  // 如果elementData是空数组DEFAULTCAPACITY_EMPTY_ELEMENTDATA,则从size+1的值和默认值10中取最大值
  if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
    return Math.max(DEFAULT_CAPACITY, minCapacity);
  }
  // 如果elementData不为空数组DEFAULTCAPACITY_EMPTY_ELEMENTDATA,则返回size+1
  return minCapacity;
}

// 确保elementData数组的容量足够存放新加入的元素,若不够,要扩容
private void ensureExplicitCapacity(int minCapacity) {
  // moCount是记录ArrayList被修改次数的,该变量主要是用来实现fail-fast机制
  modCount++;
  // 如果添加元素后的集合最小容量大于当前ArrayList内部数组的长度,就需要对内部数组elementData扩容
  if (minCapacity - elementData.length > 0)
    grow(minCapacity);
}

// 扩容的实际方法:该方法是用来确保ArrayList至少能存储minCapacity个元素
private void grow(int minCapacity) {
  // 扩容前的elementData容量
  int oldCapacity = elementData.length;
  // 获取旧容量的1.5倍赋值给一个新容量变量(oldCapacity右移一位,等于除以二)
  int newCapacity = oldCapacity + (oldCapacity >> 1);
  if (newCapacity - minCapacity < 0) // 如果扩容后的新容量比实际需要的容量还小,则以实际需要的容量为准
    newCapacity = minCapacity;
  if (newCapacity - MAX_ARRAY_SIZE > 0) // 如果新容量超过容器支持的最大容量了,则使用最大容量
    newCapacity = hugeCapacity(minCapacity);
  // 使用 Arrays.copyOf() 方法将原数组的值拷贝到一个大小为newCapacity的新数组
  elementData = Arrays.copyOf(elementData, newCapacity);
}

// 计算最大的容量
private static int hugeCapacity(int minCapacity) {
  if (minCapacity < 0) // 大小溢出
    throw new OutOfMemoryError();
  // 如果所需最小容量minCapacity大于数组最大的长度,则取Integer的最大值,否则取数组最大长度
  return (minCapacity > MAX_ARRAY_SIZE) ? Integer.MAX_VALUE : MAX_ARRAY_SIZE;
}
// 允许分配的最大数组大小
private static final int MAX_ARRAY_SIZE = Integer.MAX_VALUE - 8;

add(int, E)

// 在集合指定索引 index 位置处插入指定元素 element
public void add(int index, E element) {
  // 检查是否越界
  rangeCheckForAdd(index);
  // 检测是否需要扩容
  ensureCapacityInternal(size + 1);
  // 将 index 及其之后的所有元素都向后移一位
  System.arraycopy(elementData, index, elementData, index + 1, size - index);
  // 将新元素插入至index的位置
  elementData[index] = element;
  size++;
}

private void rangeCheckForAdd(int index) {
  if (index > size || index < 0)
    throw new IndexOutOfBoundsException(outOfBoundsMsg(index));
}

ArrayList 的扩容机制

扩容可分为两种情况:

第一种情况:当 ArrayList 的容量为 0 时,此时添加元素的话,需要扩容,三种构造方法创建的 ArrayList 在扩容时略有不同

  • 无参构造,创建 ArrayList 后容量为 0,添加第一个元素后,容量变为 10,此后若需要扩容,则正常扩容
  • 传容量构造,当参数为 0 时,创建 ArrayList 后容量为 0,添加第一个元素后,容量为 1,此时 ArrayList 是满的,下次添加元素时需正常扩容
  • 传列表构造,当列表为空时,创建 ArrayList 后容量为 0,添加第一个元素后,容量为 1,此时 ArrayList 是满的,下次添加元素时需正常扩容

第二种情况:当 ArrayList 的容量大于 0,并且集合是满的时,此时添加元素的话,进行正常扩容,每次扩容到原来的 1.5 倍

删除元素

不同于插入操作,ArrayList 没有无参删除方法。所以其只能删除指定位置的元素或删除指定元素,这样就无法避免移动元素(除非从元素序列的尾部删除)

remove(int)

// 删除指定位置的元素
public E remove(int index) {
  // 检查是否数组越界
  rangeCheck(index);
  // moCount是记录ArrayList被修改次数的,该变量主要是用来实现fail-fast机制
  modCount++;
  // 获取index索引处的元素
  E oldValue = elementData(index);
  int numMoved = size - index - 1;
  if (numMoved > 0)
    // 如果 index 不是最后一位,则将 index + 1 及之后的元素向前移动一位,覆盖被删除值
    System.arraycopy(elementData, index + 1, elementData, index, numMoved);
  // 将最后一个元素置空,并将 size 值减 1
  elementData[--size] = null;
  // 返回旧值
  return oldValue;
}

private void rangeCheck(int index) {
  if (index >= size)
    throw new IndexOutOfBoundsException(outOfBoundsMsg(index));
}

E elementData(int index) {
  return (E) elementData[index];
}

remove(Object)

// 删除指定元素:若元素重复,则只删除下标最小的元素
public boolean remove(Object o) {
  if (o == null) {
    for (int index = 0; index < size; index++)
      if (elementData[index] == null) {
        fastRemove(index);
        return true;
      }
  } else {
    // 遍历数组,查找要删除元素的位置
    for (int index = 0; index < size; index++)
      if (o.equals(elementData[index])) {
        fastRemove(index);
        return true;
      }
  }
  return false;
}

private void fastRemove(int index) {
  // moCount是记录ArrayList被修改次数的,该变量主要是用来实现fail-fast机制
  modCount++;
  int numMoved = size - index - 1;
  if (numMoved > 0)
    // 如果 index 不是最后一位,则将 index + 1 及之后的元素向前移动一位,覆盖被删除值
    System.arraycopy(elementData, index + 1, elementData, index, numMoved);
  // 将最后一个元素置空,并将 size 值减 1
  elementData[--size] = null;
}

更新元素:set(int, E)

public E set(int index, E element) {
  rangeCheck(index); // 检查是否数组越界
  E oldValue = elementData(index); // 获取index索引处的旧值
  elementData[index] = element; // 将指定索引处的元素替换为 element
  return oldValue; // 返回旧值
}

查询元素:get()

// 获取指定索引处的元素
public E get(int index) {
  rangeCheck(index); // 检查是否越界
  return elementData(index); // 获取并返回index索引处的元素
}

private void rangeCheck(int index) {
  if (index >= size)
    throw new IndexOutOfBoundsException(outOfBoundsMsg(index));
}

E elementData(int index) {
  return (E) elementData[index];
}

标签:index,元素,Java,int,ArrayList,elementData,源码,数组
From: https://www.cnblogs.com/sbgong/p/16887763.html

相关文章

  • Java多线程中的ThreadLocal线程本地变量
    概论ThreadLocal指的是开辟一块统一初始化的空间,在这个区域块里每个线程使用的区域独立,互不干扰。一般创建为对象的静态属性。常用方法:set(value)get(value)子类的initia......
  • Java中DCL单例模式设计
    概述单例:某个类,对外永远只有一个对象。实现步骤:/***单例模式:懒汉式套路基础上加入并发控制(synchronized、volatile),保证多线程环境下,对外始终只有一个对象。*1、......
  • JavaWeb笔记(4)
    1.get请求请求方式  get请求的资源路径[+?+请求参数]请求协议版本号  THPP/1.12.请求头key:value组成  不同的键值,表示不同的涵义GET请求的HTTP协议内......
  • Java语法概述
    1.JDK,JRE,JVM三者之间的关系,以及JDK、JRE包含的主要结构有哪些JDK=JRE+Java的开发工具(javac.exe、java.exe、javadoc.exe)JRE=JVM+Java核心类库2.为什么要配......
  • Java中指令重排在多线程中出现数据错误的例子
    概述听说当两条指令互相不依赖的时候,在cpu或者jvm那儿可能会为了提高性能而进行指令重排。数据依赖比如下面两条代码就没有数据依赖:int a=5;int b=2;这两条指......
  • java时间工具类
    packagecom.example.httpdemo2.utils;importjava.text.DateFormat;importjava.text.ParseException;importjava.text.SimpleDateFormat;importjava.util.ArrayLi......
  • java——继承与多态——final关键字001
    final关键字概念与四种用法:          final关键字用于修饰类:             final关键字用于修饰成员方法:   ......
  • Java 序列化与反序列化
    (目录)一、说明序列化与反序列化是什么序列化:将Java对象表示为一个字节序列,存储对象数据到文件中,可用于网络传输反序列化:从文件中读取序列化对象,对它进行反序列化,恢......
  • Javascript的预解析
    浏览器不是直接运行JS的,是调用js引擎运行js.js引擎运行js分为两个步骤:1.预解析:js引擎会把js里面所有的var,以及所有的function提升到当前作用域的最前面2.代码执行......
  • 基于微信小程序的视力保养连锁预约系统设计与实现-计算机毕业设计源码+LW文档
    小程序开发说明开发语言:Java框架:ssmJDK版本:JDK1.8服务器:tomcat7数据库:mysql5.7(一定要5.7版本)数据库工具:Navicat11开发软件:eclipse/myeclipse/ideaMaven包:Maven3.3.9......