首页 / 更多教程 / 源码解读：ArrayList源码解析（JDK8）

源码解读：ArrayList源码解析（JDK8）

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了源码解读：ArrayList源码解析（JDK8），小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含9243字，纯文字阅读大概需要14分钟。

内容图文

ArrayList源码解析（JDK8）

更详细的讲解可以参考这篇博文，本文只讲解在阅读源码中个人遇到的问题。

构造函数

    /**
     * ArrayList容器默认初始容量
     */
    private static final int DEFAULT_CAPACITY = 10;

    /**
     * 用于有参构造的空数组
     */
    private static final Object[] EMPTY_ELEMENTDATA = {};

    /**
     * 用于无参构造的空数组
     */
    private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};

    /**
     * 用于存储元素的数组
     */
    transient Object[] elementData; // non-private to simplify nested class access

    /**
     * 存储的元素数量
     * @serial
     */
    private int size;

    //无参构造
    public ArrayList() {
        //将空数组赋值给elementData
        this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
    }

    //指定初始化容量的构造
    public ArrayList(int initialCapacity) {
        //如果初始容量大于0，则新建一个长度为initialCapacity的Object数组.
        if (initialCapacity > 0) {
            this.elementData = new Object[initialCapacity];
        } else if (initialCapacity == 0) {
            //如果容量为0，直接将EMPTY_ELEMENTDATA赋值给elementData
            this.elementData = EMPTY_ELEMENTDATA;
        } else {
            //容量小于0，直接抛出异常
            throw new IllegalArgumentException("Illegal Capacity: "+
                                               initialCapacity);
        }
    }

    //利用别的集合类来构建ArrayList的构造函数
    public ArrayList(Collection<? extends E> c) {
        //直接利用Collection.toArray()方法得到一个对象数组，并赋值给elementData
        elementData = c.toArray();
        //因为size代表的是集合元素的数量，所以通过别的集合来构造ArrayList时，要给size赋值
        if ((size = elementData.length) != 0) {
            // 因爲不同的类型使用toArray方法返回的不一定是Object类型
            // c.toArray might (incorrectly) not return Object[] (see 6260652)
            // 这里是当c.toArray出错，没有返回Object[]时，
            if (elementData.getClass() != Object[].class)
                //利用Arrays.copyOf把集合c中的元素复制到elementData数组中
                elementData = Arrays.copyOf(elementData, size, Object[].class);
        } else {
            // replace with empty array.
            // 如果集合c元素数量为0，则将空数组EMPTY_ELEMENTDATA赋值给elementData
            this.elementData = EMPTY_ELEMENTDATA;
        }
    }

第三个构造函数有一行判断if (elementData.getClass() != Object[].class)，当toArray（）没有返回Object类型的数组时，数组elementData中的元素类型转换为Object类型。但是看ArrayList源码中的toArray（），明确表示返回Object类型数组，为什么会出错呢？

    /*
    集合转数组，Arrays.copyOf()
     */
    public Object[] toArray() {
        return Arrays.copyOf(elementData, size);
    }

因为由于继承的原因，我们父类实例的具体类型，实际上是取决于在 new 时，我们所使用的子类类型。也就是说假如我们有 1 个Object[]数组，并不代表着我们可以将Object对象存进去，这取决于数组中元素实际的类型。

具体可以参考这篇博文 Java笔记---c.toArray might (incorrectly) not return Object[] (see 6260652)官方Bug

常用API

增

    public boolean add(E e) {
        //因为要添加元素，所以添加之后可能导致容量不够，所以需要在添加之前进行判断（扩容）
        //其作用为保证数组的容量始终够用，其中size是elementData数组中元素的个数，第一次添加为0。
        ensureCapacityInternal(size + 1);  // Increments modCount!!
        elementData[size++] = e; //在数组末尾追加一个元素，并修改size
        return true;
    }

    /*
    * 扩容判断
    */
    private void ensureCapacityInternal(int minCapacity) {
        ensureExplicitCapacity(calculateCapacity(elementData, minCapacity));
    }
    /*
    * 计算最小所需容量
    */
    private static int calculateCapacity(Object[] elementData, int minCapacity) {
            //无参构造第一次添加返回10
            //那么比较size+1（集合元素的总数+1）和DEFAULT_CAPACITY(10)，返回大的值
            if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
                return Math.max(DEFAULT_CAPACITY, minCapacity);
            }
            //但当add()第2个元素时，数组非空，直接返回size+1，此时minCapacity为2。
            return minCapacity;
    }

这里的elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA判断用于无参构造，返回最小容量10

有参构造使用的空数组与构造使用的空数组不是一个对象，所以第一次添加直接返回minCapacity = 1

    /**
     * 判断需不需要扩容
     * @param minCapacity
     */
    private void ensureExplicitCapacity(int minCapacity) {
            modCount++ ;//用于存储修改次数

        // overflow-conscious code
        //如果数组的长度(elementData.length)小于需要的最小容量(minCapacity)，就扩容
        if (minCapacity - elementData.length > 0)
            grow(minCapacity);
    }

扩容函数（重点！！！！）

    private void grow(int minCapacity) {
        // overflow-conscious code
        int oldCapacity = elementData.length;
        //右移一位相当于原数除以2，位运算的计算方式更快
        //所以新容量扩大为原容量的1.5倍
        int newCapacity = oldCapacity + (oldCapacity >> 1);
        //从minCapacity和这个newCapacity中取较大值作为扩容后的新数组长度（新容量）。
        //这主要是针对添加第1个元素。1.5倍oldCapacity为0，所以newCapacity为最小容量10
        //扩容后还不够，那么就用 能容纳的最小的数量。（add后的容量）
        if (newCapacity - minCapacity < 0)
            newCapacity = minCapacity;
        //如果新的数组容量大于数组的最大size（Integer.MAX_VALUE - 8），进入hugeCapacity方法
        if (newCapacity - MAX_ARRAY_SIZE > 0)
            newCapacity = hugeCapacity(minCapacity);
        // minCapacity is usually close to size, so this is a win:
        // 最后，将原来数组的数据复制到新的数组中。
        elementData = Arrays.copyOf(elementData, newCapacity);
    }

    private static int hugeCapacity(int minCapacity) {
        //对最小所需容量和MAX_ARRAY_SIZE进行比较
        //若minCapacity大，将Integer.MAX_VALUE作为新数组的大小
        //若MAX_ARRAY_SIZE大，将MAX_ARRAY_SIZE作为新数组的大小
        if (minCapacity < 0) // overflow
            throw new OutOfMemoryError(); //minCapacity < 0 ,抛异常内存溢出
        return (minCapacity > MAX_ARRAY_SIZE) ?
            Integer.MAX_VALUE :
            MAX_ARRAY_SIZE;
    }

扩容函数就是确认新数组的容量，先将容量定为旧数组的1.5倍。不够的话就采用最小所需容量，超过允许的最大容量的话进入hugeCapacity（）。这里最大允许容量为什么是（Integer.MAX_VALUE - 8）呢？源码中这样解释

/**
 * The maximum size of array to allocate.
 * Some VMs reserve some header words in an array.
 * Attempts to allocate larger arrays may result in
 * OutOfMemoryError: Requested array size exceeds VM limit
 * 有些虚拟机在数组中保留了一些头信息。防止内存溢出
 */

所以说，只有当需要的容量大于MAX_ARRAY_SIZE才会将新数组容量设为Integer.MAX_VALUE - 8

删除

    /*
    根据索引删除
     */
    public E remove(int index) {
        //越界判断
        rangeCheck(index);

        modCount++;
        //读出要删除的值
        E oldValue = elementData(index);
        //确定需要移动的元素数量
        int numMoved = size - index - 1;
        //直接用复制覆盖数组数据
        if (numMoved > 0)
            System.arraycopy(elementData, index+1, elementData, index,
                             numMoved);
        //尾部数据置空，size-1，可以GC掉
        elementData[--size] = null; // clear to let GC do its work
        //返回删除掉的值
        return oldValue;
    }

删除就是直接将index的后序元素向前移动一个位置，最后再将尾部元素置空并且返回旧值

    /*
    根据传入的对象删除
    对象是否为空都使用fastRemove
     */
    public boolean remove(Object o) {
        //o == null
        if (o == null) {
            for (int index = 0; index < size; index++)
                if (elementData[index] == null) {
                    fastRemove(index);//根据index删除元素
                    return true;
                }
        } else {
            //o ！= null
            for (int index = 0; index < size; index++)
                if (o.equals(elementData[index])) {
                    fastRemove(index);
                    return true;
                }
        }
        return false;
    }
    /*
    根据索引移动数组
    */
    private void fastRemove(int index) {
        //不会越界，不用判断
        //modCount+1    
        modCount++;
        int numMoved = size - index - 1;//计算要移动的元素数量
        //复制覆盖元素
        if (numMoved > 0)
            System.arraycopy(elementData, index+1, elementData, index,
                             numMoved);
        //数组尾部置空，size-1，可GC
        elementData[--size] = null; // clear to let GC do its work
    }

当o == null时，o.equals()会抛空指针异常，所以这里要区分o的类型。

因为在数组范围内遍历查找，所以不会越界。

迭代器

    public Iterator<E> iterator() {
            return new Itr();
        }
    private class Itr implements Iterator<E> {
        int cursor;       // index of next element to return 下一个要返回的元素下标，默认是0
        int lastRet = -1; // index of last element returned; -1 if no such 上一个返回的元素下标
        int expectedModCount = modCount;

        Itr() {}

        public boolean hasNext() {
            return cursor != size; //游标是否移动到尾部
        }

        @SuppressWarnings("unchecked")
        public E next() {
            checkForComodification();
            int i = cursor; //i用于存储本次遍历的元素下标
            if (i >= size) //下标越界判断,抛元素找不到异常
                throw new NoSuchElementException();
            Object[] elementData = ArrayList.this.elementData;
            if (i >= elementData.length) //判断越界，可能有线程修改了List
                throw new ConcurrentModificationException();
            //更新cursor
            cursor = i + 1;
            //返回元素 ，并设置上一次返回的元素的下标
            return (E) elementData[lastRet = i];
        }
        //remove掉上一个遍历到的元素
        public void remove() {
            //越界判断
            if (lastRet < 0)
                throw new IllegalStateException();
            //List是是否被修改
            checkForComodification();

            try {
                //调用remove(index);
                ArrayList.this.remove(lastRet);
                cursor = lastRet; //更新游标cursor，目的就是不要发生自增。
                lastRet = -1;   //防止没有next()的情况下连续remove()，只有再次执行next()才会刷新lastRet
                expectedModCount = modCount; //更新expectedModCount
            } catch (IndexOutOfBoundsException ex) {
                throw new ConcurrentModificationException();
            }
        }

        @Override
        @SuppressWarnings("unchecked")
        public void forEachRemaining(Consumer<? super E> consumer) {
            Objects.requireNonNull(consumer);
            final int size = ArrayList.this.size;
            int i = cursor;
            if (i >= size) {
                return;
            }
            final Object[] elementData = ArrayList.this.elementData;
            if (i >= elementData.length) {
                throw new ConcurrentModificationException();
            }
            while (i != size && modCount == expectedModCount) {
                consumer.accept((E) elementData[i++]);
            }
            // update once at end of iteration to reduce heap write traffic
            cursor = i;
            lastRet = i - 1;
            checkForComodification();
        }

        //判断是否修改过了List的结构，如果有修改，抛出异常
        final void checkForComodification() {
            //expectedModCount表示对ArrayList修改次数的期望值，它的初始值为modCount。
            //迭代遍历过程中修改了集合会抛异常
            if (modCount != expectedModCount)
                throw new ConcurrentModificationException();
        }
    }

因为ArrayList没有同步手段，所以是线程不安全的，这里使用一个变量expectedModCount用来确保在迭代过程中集合元素没有改变。

总体而言，ArrayList的大部分源码还是比较好理解的，也没有什么太多的问题。

内容总结

以上是互联网集市为您收集整理的源码解读：ArrayList源码解析（JDK8）全部内容，希望文章能够帮你解决源码解读：ArrayList源码解析（JDK8）所遇到的程序开发问题。如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端

扫描二维码推送至手机访问。

本文链接：https://qyyshop.com/info/641506.html

来源：【匿名】

【上一篇】并发编程的一些基本概念【下一篇】关于IE的RegExp.exec的问题

更多 ►

【源码解读：ArrayList源码解析（JDK8）】教程文章相关的互联网学习教程文章

ArrayList概述??1. ArrayList是可以动态扩容和动态删除冗余容量的索引序列，基于数组实现的集合。??2. ArrayList支持随机访问、克隆、序列化，元素有序且可以重复。??3. ArrayList初始默认长度10，使用Object[]存储各种数据类型。ArrayList数据结构??数据结构是集合的精华所在，数据结构往往也限制了集合的作用和侧重点，了解各种数据结构是我们分析源码的必经之路。??ArrayList的数据结构如下：ArrayList源码分析 /** 用数组实现的...

剑指Offer_编程题-003 - 输入一个链表，按链表值从尾到头的顺序返回一个ArrayList

如题 (总结)首节点也存放了值,所以ListNode t = listNode; 直接从头开始遍历即可. 简单题目,但是构建的时候出了点问题,毕竟需要自己简单测测. 掌握链表的构建方法, 还要根据题目给的一段ListNode 代码来合理修改 . 注意, 面向题解答案编程后发现, 最后的链表末尾是不设置结点的!坑!https://www.nowcoder.com/practice/d0267f7f55b3412ba93bd35cfa8e8035?tpId=13&tqId=11156&rp=1&ru=%2Fta%2Fcoding-interviews&qru=%2Fta%2Fcoding-...

ArrayList源码解析(一)【代码】

欢迎转载，转载烦请注明出处，谢谢。 https://www.cnblogs.com/sx-wuyj/p/11177257.html 自己学习ArrayList源码的一些心得记录.. 1.1 ArrayList的体系Iterable : iterable接口里定义了返回iterator的方法，相当于对iterator的封装，同时实现了iterable接口的类可以支持for each循环; Collction : 集合框架中的根接口,下面有三大子接口.List Set Queue; AbstractCollection: 实现了Collection的一些接口,同时也定义了一些抽象方法交...

ArrayList源码分析---JDK1.8【代码】【图】

ArrayList源码分析---JDK1.8 一. ArrayList的数据结构二. ArrayList源码分析①. 继承关系②. 类中的属性③. 构造方法④. 核心方法1. add(E e)__有四个方法，我仔细分析一个2. ensureCapacityInternal(size + 1) 确定内部容量的方法3. calculateCapacity() 主要看list是不是初始的时候是空参构造函数4. 还是确保明确的容量 ensureExplicitCapacity(int minCapacity)5. grow(int minCapacity) 扩容机制——重点(看我的注释)6.hugeCap...

ArrayList(1.8)【代码】

publicclass ArrayList<E> extends AbstractList<E>implements List<E>, RandomAccess, Cloneable, java.io.SerializableRandomAccess: 实现该接口可以通过下标序号快速访问 Cloneable: 能够被克隆 Serializable：这一个则是支持序列化的View Code成员变量//这个是表示默认的容量大小是10privatestaticfinalint DEFAULT_CAPACITY = 10;//表示这是一个空的数组privatestaticfinal Object[] EMPTY_ELEMENTDATA = {};//这个是和上面的...

ArrayList 和 LinkedList 源码分析【代码】【图】

List 表示的就是线性表，是具有相同特性的数据元素的有限序列。它主要有两种存储结构，顺序存储和链式存储，分别对应着 ArrayList 和 LinkedList 的实现，接下来以 jdk7 代码为例，对这两种实现的核心源码进行分析。 1. ArrayList 源码分析 ArrayList 是基于数组实现的可变大小的集合，底层是一个 Object[] 数组，可存储包括 null 在内的所有元素，默认容量为 10。元素的新增和删除，本质就是数组元素的移动。 1.1 add 操作 ArrayL...

关于ArrayList源码【代码】

一、构造方法 1 private static final int DEFAULT_CAPACITY = 10;2 3 //空参的构造方法，初始化数组长度为默认值，默认值为104 public ArrayList() {5 this.elementData =DEFAULTCAPACITY_EMPTY_ELEMENTDATA;6 }1 //有参的构建函数2 public ArrayList(int initialCapacity) {3 if (initialCapacity > 0) {4 this.elementData = new Object[initialCapacity];5 } else {6 if (initialCapacity != 0) ...

ArrayList扩容机制【图】

List 集合和 ArrayList Vector ListIterator等相关【代码】

List一个ordered collection，也叫sequence（序列）。该界面的用户可以精确控制列表中每个元素的插入位置，用户可以通过其整数索引（列表中的位置）访问元素，并在列表中搜索元素。与Sets不同，List通常允许重复的元素（List判断两者相等的标准是equals()）。更正式地说，列表通常允许成对的元素e1和e2，使得e1.equals（e2），并且如果它们完全允许空元素，则它们通常允许多个空元素。新添方法（相对于Collection）List作为Collect...

源码分析（5）-ArrayList、Vector和LinkedList（JDK1.8）【代码】【图】

一、概述 1、线程安全：ArrayList和LinkedList非线程安全的、Vector线程安全的。 2、底层数据结构：ArrayList和Vector底层数据结构是数组；LinkedList双向链表。 3、时间复杂度是否受插入和删除元素位置影响：ArrayList和Vector受影响，add(E e)方法时间复杂度O（1）和add(int index, E element)方法时间复杂度O（n-index）；LinkedList受影响，add(E e)方法时间复杂度O（1）和add(int index, E element)方法时间复杂度O（n）。 4、...

ArrayList的源码分析【代码】

来源：https://www.cnblogs.com/beppezhang/p/6560710.html 在项目中经常会用到list集合来存储数据，而其中ArrayList是用的最多的的一个集合，这篇博文主要简单介绍ArrayList的源码分析，基于JDK1.7：这里主要介绍集合的属性，构造器，和方法：方法主要基于 add(E e),get(int index),remove(int index),set(int index,E e); 其中，E指的是泛型； 1：属性:1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24/** ??...

集合源码分析[3]-ArrayList 源码分析【代码】【图】

历史文章： Collection 源码分析 AbstractList 源码分析介绍 ArrayList是一个数组队列，相当于动态数组，与Java的数组对比，他的容量可以动态改变。继承关系ArrayList继承AbstractList 实现了List,RandomAccess,Cloneable,Serializable接口特点基于数组实现速度快实现了RandomAccess接口，提供了随机访问功能实现了Cloneable接口，能被克隆实现了Serializable接口，支持序列化传输非线程安全(ps:线程安全类：CopyOnWriteArray...

手撕ArrayList底层，透彻分析源码【代码】

ArrayList概述 Hello大家好，今天就来介绍一下ArrayList，说到ArrayList，很多人都知道它的底层是使用数组实现的，线程不安全的，说到它的特点，都会说查找快，增删慢，因为面试题大家都是这么背过来的。今天就来说说它的底层源码吧。ArrayList更准确的说是动态数组去实现的，这里使用动态两字，是为了能够充分体现它的特点。再者就是ArrayList不是线程安全的，所以效率比较高，但是否这个是绝对的呢？答案是否定的。ArrayList底层...