ArrayList扩容机制

简介: ArrayList添加元素时,先调用ensureCapacityInternal()确保容量,首次添加时默认扩容至10。每次扩容通过grow()实现,新容量为原容量的1.5倍(oldCapacity + (oldCapacity >> 1)),提升性能。当元素数超过当前容量时触发扩容,保证添加高效进行。length为数组属性,length()为字符串方法,size()用于集合元素计数。

● 先来看Add方法
/* 将指定的元素追加到此列表的末尾
*/
public boolean add(E e) {
//添加元素之前,先调用ensureCapacityInternal方法
ensureCapacityInternal(size + 1); // Increments modCount!!(增量modCount)
//这里看到ArrayList添加元素的实质就相当于为数组赋值
elementData[size++] = e;
return true;
}
● 再来看看ensureCapacityInternal()方法,可以看到add()方法首先调用了ensureCapacityInternal(size+1)
//得到最小扩容量
private void ensureCapacityInternal(int minCapacity) {
if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
//获取默认的容量和传入参数的较大值(第一次的较大值是DEFAULT_CAPACITY=10,minCapacity=1)
minCapacity = Math.max(DEFAULT_CAPACITY, minCapacity);
}
ensureExplicitCapacity(minCapacity);
}
当要add进第一个元素时,minCapacity为1,在Math.max()方法比较后,minCapacity为10
● ensureExplicitCapacity()方法
//判断是否需要扩容
private void ensureExplicitCapacity(int minCapacity) {
modCount++;
// overflow-conscious code
if (minCapacity - elementData.length > 0)
//调用grow()方法进行扩容,调用此方法代表已经开始扩容了
grow(minCapacity);
}
我们来仔细分析一下

  1. 当我们要add进第一个元素到ArrayList时,elementData.length为0(因为还是一个空的list,里面还没有数据,所以没有进行扩容,默认扩容10),因为执行了ensureCapacityInternal()方法,所以minCapacity此时为10。此时,minCapacity - elemetData.length > 0(minCapacity=10,elemetData.length=0)成立,所以会进入==grow(minCapacity)==方法。
  2. 当add第2个元素时,minCapacity为2,此时elementData.length(容量)在添加第一个元素后扩容成10了。此时,minCapacity - elementData.length > 0不成立,所以不会进入(执行)==grow(minCapacity)==方法。
  3. 添加第3、4…到第10个元素时,依然不会执行==grow()==方法,数组容量都为10。
    知道添加第11个元素,minCapacity(为11)比elementData.length(为10)要大。进行grow方法进行扩容
  4. grow方法
    private void grow(int minCapacity) {
    // oldCapacity为旧容量,newCapacity为新容量
    int oldCapacity = elementData.length;//(0,10,15)
    //将oldCapacity右移一位,其效果相当于oldCapacity/2;
    // 我们知道位运算的速度远远快于整除运算,整句运算式的结果就是将新容量更新为旧容量的1.5倍
    int newCapacity = oldCapacity + (oldCapacity >> 1);
    // 然后检查新容量是否大于最小需要容量,若还是小于最小需要容量,那么久把最小需要容量当作数组的新容量
    if (newCapacity - minCapacity < 0)
     newCapacity = minCapacity;
    
    //判断新容量是否大于集合的最大容量(一般大不了)
    if (newCapacity - MAX_ARRAY_SIZE > 0)
     newCapacity = hugeCapacity(minCapacity);
    
    // 给elementData从新赋值(10,15)
    elementData = Arrays.copyOf(elementData, newCapacity);
    }
    int newCapacity = oldCapacity + (oldCapacity >> 1),所以 ArrayList 每次扩容之后容量都会变为原来的 1.5 倍!
    “>>”(移位运算符):>>1 右移一位相当于除2,右移n位相当于除以 2 的 n 次方。这里 oldCapacity 明显右移了1位所以相当于oldCapacity /2。对于大数据的2进制运算,位移运算符比那些普通运算符的运算要快很多,因为程序仅仅移动一下而已,不去计算,这样提高了效率,节省了资源
    通过例子探究一下grow()方法
    ● 当add第一个元素时,oldCapacity为0,经比较后第一个if判断成立,newCapacity = minCapacity(为10)。但是第二个if判断不会成立,即newCapacity不比MAX_ARRAY_SIZE大,则不会进入hugeCapacity方法。数组容量为10,add方法中return true,size增为1。
    ● 当add第11个元素进入grow方法时,newCapacity为15,比minCapacity(为11)大,第一个if判断不成立。新容量没有大于数组最大size,不会进入hugeCapacity方法。数组容量扩为15,add方法中rerurn,true,size增为11。
    ● 以此类推…
    这里补充一点比较重要,但是容易被忽视掉的知识点:
    ● java中的length属性是针对数组说的,比如说你声明了一个数组,想知道这个数组的长度则用到了length这个属性。
    ● java中的length() 方法是针对字符串说的,如果想看这个字符串的长度则用到 length() 这个方法。
    ● java中的size() 方法是针对泛型集合说的,如果想看这个泛型有多少元素,就调用此方法类查看!
相关文章
|
20小时前
|
存储 关系型数据库 MySQL
业务应用场景
传统关系型数据库(如MySQL)难以应对“三高”挑战:高并发读写、海量数据存储访问,以及高可扩展性与高可用性需求,在Web2.0时代面临性能与扩展瓶颈。
|
21小时前
|
存储 Java 编译器
.泛型擦除引起的问题及解决方法
Java泛型类型检查在编译时针对引用而非对象本身。即使类型擦除后变为Object,编译器仍会根据引用的泛型声明(如ArrayList&lt;String&gt;)对add等方法调用进行类型检查。直接使用原始类型(如ArrayList)会失去泛型保护,仅产生警告。因此,类型安全由引用决定。
|
20小时前
|
JSON NoSQL 关系型数据库
MongoDB简介
MongoDB是一款开源、高性能、无模式的文档型数据库,采用类似JSON的BSON格式存储数据,结构灵活,支持复杂数据类型。文档以键值对形式组织,兼具灵活性与扩展性,是最接近关系型数据库的NoSQL产品,适用于快速开发与大规模扩展场景。
|
20小时前
|
存储 NoSQL 物联网
MongoDB应用场景
MongoDB适用于社交、游戏、物流、物联网及直播等场景,因其支持海量数据存储、高频读写操作。用户信息、动态、日志等低事务性、高并发数据可高效存取,尤其适合用嵌套结构与地理位置索引优化查询,是大规模非结构化数据存储的理想选择。(238字)
|
20小时前
|
监控 算法 Unix
Thread.sleep(0) 到底有什么用
Thread.Sleep用于暂停线程执行,Sleep(1000)不保证精确唤醒时间,因系统调度受优先级和竞争影响;Sleep(0)则触发立即重新分配CPU,让其他线程有机会执行,避免界面假死。两者作用显著不同。
|
20小时前
|
Java 调度
线程池
线程池通过池化技术管理多个线程,避免频繁创建和销毁的开销,提升多线程编程效率。它自动调度线程复用,减少资源消耗与上下文切换,适用于高并发场景。使用时只需提交任务,无需关注线程生命周期,极大简化了并发编程。
|
20小时前
泛型在静态方法和静态类中的问题
泛型类的静态成员不能使用类声明的泛型参数,因静态成员不依赖对象实例,而泛型类型在对象创建时才确定。如`public class Test2&lt;T&gt;`中,`static T one`会编译错误。但泛型方法可独立定义类型参数,如`public static &lt;T&gt; T show(T one)`正确,其T与类无关。
|
20小时前
|
Java 编译器
泛型擦除与多态的冲突与解决方法
泛型类 `Pair&lt;T&gt;` 在类型擦除后,其泛型变为 `Object`,子类 `DateInter` 重写 `setValue(Date)` 和 `getValue()` 时,实际覆盖的是原始方法。由于擦除后父类方法参数为 `Object`,子类 `Date` 方法看似重写,实为桥接方法实现的“伪重载”。编译器生成桥接方法以保证多态,虚拟机通过签名区分方法,实现泛型多态性。
|
20小时前
|
安全 编译器
自动类型转换
由于类型擦除,泛型在运行时会被替换为原始类型,但编译器会在获取泛型对象时自动插入强制类型转换。如ArrayList.get()方法中,return前会根据泛型类型(如Date)自动添加强转,无需手动转换。同理,访问泛型字段时也会自动插入类型转换,确保类型安全,简化代码。
|
21小时前
|
存储 Java
原始类型擦除后相等
该示例创建了泛型类型不同的两个ArrayList,分别存储字符串和整数。通过getClass()比较二者类类型,结果为true,说明在运行时泛型信息被擦除,仅保留原始类型,体现了Java泛型的类型擦除机制。